Sub-linear lattice-based zero-knowledge arguments for arithmetic circuits
From MaRDI portal
Recommendations
- Linear Algebra with Sub-linear Zero-Knowledge Arguments
- Concretely-efficient zero-knowledge arguments for arithmetic circuits and their application to lattice-based cryptography
- Efficient zero-knowledge arguments for arithmetic circuits in the discrete log setting
- Linear-time zero-knowledge proofs for arithmetic circuit satisfiability
- scientific article; zbMATH DE number 1302863
Cited in
(56)- Linear-time zero-knowledge proofs for arithmetic circuit satisfiability
- Lattice-based zero-knowledge arguments for integer relations
- Sigma protocols for MQ, PKP and SIS, and fishy signature schemes
- Boosting verifiable computation on encrypted data
- A non-PCP approach to succinct quantum-safe zero-knowledge
- Compressed \(\varSigma\)-protocol theory and practical application to plug \& play secure algorithmics
- Zero-knowledge proofs for committed symmetric Boolean functions
- \textsf{Halo Infinite}: proof-carrying data from additive polynomial commitments
- Subquadratic SNARGs in the random oracle model
- Subtractive sets over cyclotomic rings. Limits of Schnorr-like arguments over lattices
- A compressed \(\varSigma \)-protocol theory for lattices
- A new simple technique to bootstrap various lattice zero-knowledge proofs to QROM secure NIZKs
- SMILE: set membership from ideal lattices with applications to ring signatures and confidential transactions
- More efficient amortization of exact zero-knowledge proofs for LWE
- Asymptotically quasi-optimal cryptography
- Succinct arguments in the quantum random oracle model
- Efficient, actively secure MPC with a dishonest majority: a survey
- Shorter lattice-based zero-knowledge proofs for the correctness of a shuffle
- Laconic private set intersection and applications
- Progression-free sets and sublinear pairing-based non-interactive zero-knowledge arguments
- Round-efficient sub-linear zero-knowledge arguments for linear algebra
- Linear Algebra with Sub-linear Zero-Knowledge Arguments
- Concretely-efficient zero-knowledge arguments for arithmetic circuits and their application to lattice-based cryptography
- Efficient post-quantum SNARKs for RSIS and RLWE and their applications to privacy
- Efficient Verifiable Partially-Decryptable Commitments from Lattices and Applications
- Efficient zero-knowledge arguments for arithmetic circuits in the discrete log setting
- Ligero: lightweight sublinear arguments without a trusted setup
- Functional commitments for all functions, with transparent setup and from SIS
- Practical sublinear proofs for R1CS from lattices
- Verifiable decryption in the head
- Efficient zero-knowledge arguments in discrete logarithm setting: sublogarithmic proof or sublinear verifier
- Lattice-based succinct arguments for NP with polylogarithmic-time verification
- Lower bound on SNARGs in the random oracle model
- Orion: zero knowledge proof with linear prover time
- On black-box constructions of time and space efficient sublinear arguments from symmetric-key primitives
- \textsf{Orbweaver}: succinct linear functional commitments from lattices
- LaBRADOR: compact proofs for R1CS from Module-SIS
- Lattice-based polynomial commitments: towards asymptotic and concrete efficiency
- SLAP: succinct lattice-based polynomial commitments from standard assumptions
- Lattice-based zero-knowledge proofs in action: applications to electronic voting
- An efficient ZK compiler from SIMD circuits to general circuits
- Polynomial commitments from lattices: post-quantum security, fast verification and transparent setup
- Field-agnostic SNARKs from expand-accumulate codes
- Concretely efficient lattice-based polynomial commitment from standard assumptions
- Attribute-based keyed fully homomorphic encryption
- \textsf{LatticeFold+}: faster, simpler, shorter lattice-based folding for succinct proof systems
- Post-quantum lattice-based e-voting for multiple candidates
- Generic construction of threshold ring signatures and lattice-based instantiations
- Lattice-based zero-knowledge proofs for blockchain confidential transactions
- Efficient verifiable mixnets from lattices, revisited
- Lova: lattice-based folding scheme from unstructured lattices
- The Fiat-Shamir transformation of (_1,,_ )-special-sound interactive proofs
- RoK and Roll -- verifier-efficient random projection for \(\tilde{O}(\lambda )\)-size lattice arguments (extended abstract)
- A note on short invertible ring elements and applications to cyclotomic and trinomials number fields
- More efficient lattice-based electronic voting from NTRU
- Lattice-based zero-knowledge arguments for additive and multiplicative relations
This page was built for publication: Sub-linear lattice-based zero-knowledge arguments for arithmetic circuits
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1784111)
