Efficient zero-knowledge arguments in discrete logarithm setting: sublogarithmic proof or sublinear verifier
From MaRDI portal
Publication:6132419
DOI10.1007/978-3-031-22966-4_14zbMATH Open1519.94144MaRDI QIDQ6132419FDOQ6132419
Authors: Sungwook Kim, Hyeonbum Lee, Jae Hong Seo 
Publication date: 16 August 2023
Published in: Advances in Cryptology – ASIACRYPT 2022 (Search for Journal in Brave)
Recommendations
- Efficient zero-knowledge arguments for arithmetic circuits in the discrete log setting
- scientific article; zbMATH DE number 1031001
- Round-efficient sub-linear zero-knowledge arguments for linear algebra
- Sub-linear lattice-based zero-knowledge arguments for arithmetic circuits
- Efficient batch zero-knowledge arguments for low degree polynomials
Cryptography (94A60) Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.) (68Q17)
Cites Work
- Snarks for C: verifying program executions succinctly and in zero knowledge
- Short signatures from the Weil pairing
- How To Prove Yourself: Practical Solutions to Identification and Signature Problems
- Structure-preserving signatures and commitments to group elements
- Efficient zero-knowledge arguments from two-tiered homomorphic commitments
- Linear Algebra with Sub-linear Zero-Knowledge Arguments
- Reducing elliptic curve logarithms to logarithms in a finite field
- Converting pairing-based cryptosystems from composite-order groups to prime-order groups
- From extractable collision resistance to succinct non-interactive arguments of knowledge, and back again
- Short pairing-based non-interactive zero-knowledge arguments
- Discrete logarithm problems with auxiliary inputs
- Progression-free sets and sublinear pairing-based non-interactive zero-knowledge arguments
- Quadratic span programs and succinct NIZKs without PCPs
- Efficient zero-knowledge arguments for arithmetic circuits in the discrete log setting
- Aurora: transparent succinct arguments for R1CS
- One-out-of-many proofs: or how to leak a secret and spend a coin
- Zero-knowledge argument for polynomial evaluation with application to blacklists
- Marlin: preprocessing zkSNARKs with universal and updatable SRS
- Libra: succinct zero-knowledge proofs with optimal prover computation
- On the size of pairing-based non-interactive arguments
- Interactive oracle proofs
- Scalable zero knowledge via cycles of elliptic curves
- Recursive composition and bootstrapping for SNARKs and proof-carrying data
- Linear-time zero-knowledge proofs for arithmetic circuit satisfiability
- Complete systems of two addition laws for elliptic curves
- Complete addition formulas for prime order elliptic curves
- Transparent SNARKs from DARK compilers
- \textsc{Fractal}: post-quantum and transparent recursive proofs from holography
- Spartan: efficient and general-purpose zkSNARKs without trusted setup
- Updateable Inner Product Argument with Logarithmic Verifier and Applications
- Zero-knowledge IOPs with linear-time prover and polylogarithmic-time verifier
- Proofs for inner pairing products and applications
- Title not available (Why is that?)
- Round-efficient sub-linear zero-knowledge arguments for linear algebra
Cited In (7)
- Time- and space-efficient arguments from groups of unknown order
- BooLigero: improved sublinear zero knowledge proofs for Boolean circuits
- Precise zero-knowledge arguments with poly-logarithmic efficiency
- Short paper: The proof is in the pudding. Proofs of work for solving discrete logarithms
- Efficient zero-knowledge arguments from two-tiered homomorphic commitments
- Efficient zero-knowledge arguments for arithmetic circuits in the discrete log setting
- Round-efficient sub-linear zero-knowledge arguments for linear algebra
This page was built for publication: Efficient zero-knowledge arguments in discrete logarithm setting: sublogarithmic proof or sublinear verifier
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6132419)
