(Inefficient Prover) ZAPs from Hard-to-Invert Functions

Ask about this paper

Ask your agent about it.

Lune has read the top-tier papers around this one, so every answer names the papers it rests on.

Related papers

• New Techniques for Zero-Knowledge: Leveraging Inefficient Provers to Reduce Assumptions, Interaction, and TrustMarshall Ball, Dana Dachman-Soled, Mukul KulkarniCRYPTO 2020 · 11 citations
• Accelerating and verifying constant-time modular inversionDaniel J. Bernstein, Han-Ting Chen, John R. Harrison, Cesare Huang et al.EUROCRYPT 2026 · 1 citation
• SNARGs for NP from Unprovability of Mathematical Theorems (Or: How to Use the Simplicity of Cryptographic Reasoning)Yao-Ching Hsieh, Abhishek Jain, Jiatu Li, Surya MathialaganSTOC 2026
• Query-Reusable Proof SystemsYuval Ishai, Eyal Kushilevitz, Varun Narayanan, Rafail Ostrovsky et al.EUROCRYPT 2025
• Statistical ZAPR Arguments from Bilinear MapsAlex Lombardi, Vinod Vaikuntanathan, Daniel WichsEUROCRYPT 2020 · 11 citations