Query-reusable proof systems

DOI10.1007/978-3-031-91134-7_12MaRDI QIDQ6891315zbMATH OpenFDO

Authors Yuval Ishai, Eyal Kushilevitz, Varun Narayanan, Rafail Ostrovsky, Akash Shah

Publication date 2 December 2025

zbMATH Keywords

probabilistic proof systems

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Cryptography (94A60)

This page was built for publication: Query-reusable proof systems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6891315)