Orion: zero knowledge proof with linear prover time
From MaRDI portal
Publication:6166953
Recommendations
- Libra: succinct zero-knowledge proofs with optimal prover computation
- Zero-knowledge IOPs with linear-time prover and polylogarithmic-time verifier
- Scalable zero knowledge via cycles of elliptic curves
- Scalable zero knowledge via cycles of elliptic curves
- Linear-time zero-knowledge proofs for arithmetic circuit satisfiability
Cites work
- scientific article; zbMATH DE number 3133919 (Why is no real title available?)
- scientific article; zbMATH DE number 5485522 (Why is no real title available?)
- A non-PCP approach to succinct quantum-safe zero-knowledge
- Aurora: transparent succinct arguments for R1CS
- Computationally Sound Proofs
- Expander graphs and their applications
- Hardness of bipartite expansion
- How To Prove Yourself: Practical Solutions to Identification and Signature Problems
- Lattice-based zero-knowledge proofs: new techniques for shorter and faster constructions and applications
- Libra: succinct zero-knowledge proofs with optimal prover computation
- Linear-time arguments with sublinear verification from tensor codes
- Linear-time encodable and decodable error-correcting codes
- Linear-time encodable codes meeting the gilbert-varshamov bound and their cryptographic applications
- Linear-time zero-knowledge proofs for arithmetic circuit satisfiability
- Marlin: preprocessing zkSNARKs with universal and updatable SRS
- On testable properties in bounded degree graphs
- On testing expansion in bounded-degree graphs
- Randomness conductors and constant-degree lossless expanders
- Scalable zero knowledge via cycles of elliptic curves
- Scalable zero knowledge with no trusted setup
- Short PCPPs verifiable in polylogarithmic time with \(O(1)\) queries
- Snarks for C: verifying program executions succinctly and in zero knowledge
- Spartan: efficient and general-purpose zkSNARKs without trusted setup
- Sub-linear lattice-based zero-knowledge arguments for arithmetic circuits
- Testing the expansion of a graph
- The Knowledge Complexity of Interactive Proof Systems
- Transparent SNARKs from DARK compilers
- Updatable and universal common reference strings with applications to zk-SNARKs
- Zero-knowledge IOPs with linear-time prover and polylogarithmic-time verifier
- \textsc{Fractal}: post-quantum and transparent recursive proofs from holography
- \textsf{Mac'n'Cheese}: zero-knowledge proofs for Boolean and arithmetic circuits with nested disjunctions
Cited in
(16)- Libra: succinct zero-knowledge proofs with optimal prover computation
- Brakedown: linear-time and field-agnostic SNARKs for R1CS
- Lattice-based succinct arguments for NP with polylogarithmic-time verification
- Succinct arguments for RAM programs via projection codes
- HyperPlonk: Plonk with linear-time prover and high-degree custom gates
- Spartan and bulletproofs are simulation-extractable (for free!)
- \textsf{Orbweaver}: succinct linear functional commitments from lattices
- Publicly verifiable zero-knowledge and post-quantum signatures from VOLE-in-the-head
- Efficient isogeny proofs using generic techniques
- Unlocking the lookup singularity with \textsf{Lasso}
- More efficient zero-knowledge protocols over \(\mathbb{Z}_{2^k}\) via Galois rings
- BaseFold: efficient field-agnostic polynomial commitment schemes from foldable codes
- Field-agnostic SNARKs from expand-accumulate codes
- How to prove statements obliviously?
- Zero-knowledge IOPs approaching witness length
- Speed-stacking: fast sublinear zero-knowledge proofs for disjunctions
This page was built for publication: Orion: zero knowledge proof with linear prover time
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6166953)
