On soundness notions for interactive oracle proofs

Cites Work

Title not available (Why is that?)
Title not available (Why is that?)
Title not available (Why is that?)
Parallel coin-tossing and constant-round secure two-party computation
Fiat-Shamir and correlation intractability from strong KDM-secure encryption
From obfuscation to the security of Fiat-Shamir for proofs
\textsc{Fractal}: post-quantum and transparent recursive proofs from holography
The measure-and-reprogram technique 2.0: multi-round Fiat-Shamir and more
Spartan: efficient and general-purpose zkSNARKs without trusted setup
A compressed \(\varSigma \)-protocol theory for lattices
Tight state-restoration soundness in the algebraic group model
Compressing proofs of \(k\)-out-of-\(n\) partial knowledge
Succinct arguments in the quantum random oracle model
Revisiting post-quantum Fiat-Shamir
Security of the Fiat-Shamir transformation in the quantum random-oracle model
Practical verified computation with streaming interactive proofs
Time-Optimal Interactive Proofs for Circuit Evaluation
Fast reductions from RAMs to delegatable succinct constraint satisfaction problems
Interactive Oracle Proofs
How To Prove Yourself: Practical Solutions to Identification and Signature Problems
The Knowledge Complexity of Interactive Proof Systems
A Statistically-Hiding Integer Commitment Scheme Based on Groups with Hidden Order
Why “Fiat-Shamir for Proofs” Lacks a Proof
Fast Reed-Solomon Interactive Oracle Proofs of Proximity
Fiat-Shamir: from practice to theory
Fiat-Shamir transformation of multi-round interactive proofs

This page was built for publication: On soundness notions for interactive oracle proofs

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