How to prove post-quantum security for succinct non-interactive reductions
From MaRDI portal
Cites work
- \textsc{Arc}: accumulation for Reed-Solomon codes
- \textsf{LatticeFold+}: faster, simpler, shorter lattice-based folding for succinct proof systems
- \textsf{LatticeFold}: a lattice-based folding scheme and its applications to succinct proof systems
- Accumulation without homomorphism
- How to record quantum queries, and applications to quantum indifferentiability
- scientific article; zbMATH DE number 7650353 (Why is no real title available?)
- HyperNova: recursive arguments for customizable constraint systems
- Incrementally Verifiable Computation or Proofs of Knowledge Imply Time/Space Efficiency
- Interactive oracle proofs
- Linear-size constant-query IOPs for delegating computation
- Linear-time accumulation schemes
- Lova: lattice-based folding scheme from unstructured lattices
- Nova: recursive zero-knowledge arguments from folding schemes
- On the compressed-oracle technique, and post-quantum security of proofs of sequential work
- Online-extractability in the quantum random-oracle model
- Post-quantum zero knowledge, revisited or: how to do quantum rewinding undetectably
- Proof-carrying data without succinct arguments
- Protostar: generic efficient accumulation/folding for special-sound protocols
- Quantum rewinding for IOP-based succinct arguments
- Query-optimal IOPPs for linear-time encodable codes
- Recursive composition and bootstrapping for SNARKs and proof-carrying data
- Recursive proof composition from accumulation schemes
- Scalable zero knowledge via cycles of elliptic curves
- STIR: Reed-Solomon proximity testing with fewer queries
- Straight-line knowledge extraction for multi-round protocols
- Strengths and Weaknesses of Quantum Computing
- Succinct arguments in the quantum random oracle model
- WHIR: Reed-Solomon proximity testing with super-fast verification
This page was built for publication: How to prove post-quantum security for succinct non-interactive reductions
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q7305302)
