Proofs for inner pairing products and applications
From MaRDI portal
Publication:6157545
Recommendations
- Dory: efficient, transparent arguments for generalised inner products and polynomial commitments
- On the size of pairing-based non-interactive arguments
- SnarkPack: practical SNARK aggregation
- Updateable Inner Product Argument with Logarithmic Verifier and Applications
- Prover-efficient commit-and-prove zero-knowledge SNARKs
Cites work
- scientific article; zbMATH DE number 176545 (Why is no real title available?)
- Asynchronous computational VSS with reduced communication complexity
- Checking the correctness of memories
- Composable and modular anonymous credentials: definitions and practical constructions
- Compressed \(\varSigma\)-protocol theory and practical application to plug \& play secure algorithmics
- Concise mercurial vector commitments and independent zero-knowledge sets with short proofs
- Constant-Size Commitments to Polynomials and Their Applications
- Efficient Non-interactive Proof Systems for Bilinear Groups
- Efficient zero-knowledge arguments for arithmetic circuits in the discrete log setting
- Efficient zero-knowledge arguments from two-tiered homomorphic commitments
- Fast reductions from RAMs to delegatable succinct constraint satisfaction problems
- Libra: succinct zero-knowledge proofs with optimal prover computation
- Lightweight delegatable proofs of storage
- Marlin: preprocessing zkSNARKs with universal and updatable SRS
- On the size of pairing-based non-interactive arguments
- Recursive composition and bootstrapping for SNARKs and proof-carrying data
- Recursive proof composition from accumulation schemes
- Scalable zero knowledge via cycles of elliptic curves
- Snarks for C: verifying program executions succinctly and in zero knowledge
- Snarky signatures: minimal signatures of knowledge from simulation-extractable snarks
- Spartan: efficient and general-purpose zkSNARKs without trusted setup
- Structure-preserving signatures and commitments to group elements
- Structure-preserving signatures on equivalence classes and constant-size anonymous credentials
- The algebraic group model and its applications
- Tight proofs of space and replication
- Transparent SNARKs from DARK compilers
- Updatable and universal common reference strings with applications to zk-SNARKs
- Zero-knowledge argument for polynomial evaluation with application to blacklists
- \textsc{Fractal}: post-quantum and transparent recursive proofs from holography
Cited in
(22)- Efficient transparent polynomial commitments for zk-SNARKs
- SnarkPack: practical SNARK aggregation
- Private polynomial commitments and applications to MPC
- Optimized and Secure Pairing-Friendly Elliptic Curves Suitable for One Layer Proof Composition
- Nova: recursive zero-knowledge arguments from folding schemes
- Linear-map vector commitments and their practical applications
- Lattice-based succinct arguments from vanishing polynomials (extended abstract)
- Lattice-based SNARKs: publicly verifiable, preprocessing, and recursively composable (extended abstract)
- \textsf{Testudo}: linear time prover SNARKs with constant size proofs and square root size universal setup
- MyOPE: malicious security for oblivious polynomial evaluation
- Algebraic reductions of knowledge
- Efficient zero-knowledge arguments in discrete logarithm setting: sublogarithmic proof or sublinear verifier
- Gemini: elastic SNARKs for diverse environments
- A holistic security analysis of Monero transactions
- Constant-size zk-SNARKs in ROM from falsifiable assumptions
- SLAP: succinct lattice-based polynomial commitments from standard assumptions
- An optimized inner product argument with more application scenarios
- Dory: efficient, transparent arguments for generalised inner products and polynomial commitments
- How to prove statements obliviously?
- Mangrove: a scalable framework for folding-based SNARKs
- Polymath: Groth16 is not the limit
- Pairings in rank-1 constraint systems
This page was built for publication: Proofs for inner pairing products and applications
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6157545)
