Interactive line-point zero-knowledge with sublinear communication and linear computation
From MaRDI portal
Cites work
- scientific article; zbMATH DE number 5485522 (Why is no real title available?)
- scientific article; zbMATH DE number 176545 (Why is no real title available?)
- scientific article; zbMATH DE number 1302863 (Why is no real title available?)
- scientific article; zbMATH DE number 1024063 (Why is no real title available?)
- scientific article; zbMATH DE number 7706037 (Why is no real title available?)
- Algebraic methods for interactive proof systems
- Brakedown: linear-time and field-agnostic SNARKs for R1CS
- Efficient pseudorandom correlation generators: silent OT extension and more
- Fast Reed-Solomon interactive oracle proofs of proximity
- Libra: succinct zero-knowledge proofs with optimal prover computation
- Linear-time encodable codes meeting the gilbert-varshamov bound and their cryptographic applications
- Linear-time zero-knowledge proofs for arithmetic circuit satisfiability
- More efficient zero-knowledge protocols over \(\mathbb{Z}_{2^k}\) via Galois rings
- Moz\(\mathbb{Z}_{2^k}\)arella: efficient vector-OLE and zero-knowledge proofs over \(\mathbb{Z}_{2^k}\)
- Orion: zero knowledge proof with linear prover time
- Practical verified computation with streaming interactive proofs
- Publicly verifiable zero-knowledge and post-quantum signatures from VOLE-in-the-head
- SoftSpokenOT: quieter OT extension from small-field silent VOLE in the Minicrypt model
- Sok: vector OLE-based zero-knowledge protocols
- Spartan: efficient and general-purpose zkSNARKs without trusted setup
- The Knowledge Complexity of Interactive Proof Systems
- Time-optimal interactive proofs for circuit evaluation
- Zero-knowledge IOPs with linear-time prover and polylogarithmic-time verifier
- \textsf{Mac'n'Cheese}: zero-knowledge proofs for Boolean and arithmetic circuits with nested disjunctions
Cited in
(3)
This page was built for publication: Interactive line-point zero-knowledge with sublinear communication and linear computation
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6965213)
