swMATH28502MaRDI QIDQ40216FDOQ40216
Author name not available (Why is that?)
Official website: https://acmccs.github.io/papers/p2087-amesA.pdf
Cited In (64)
- Title not available (Why is that?)
- Prio+
- zkCNN
- CSI-FiSh
- MiMC
- TurboIKOS: improved non-interactive zero knowledge and post-quantum signatures
- Zero-knowledge proofs for committed symmetric Boolean functions
- Recursive proof composition from accumulation schemes
- An algebraic framework for universal and updatable SNARKs
- Efficient non-interactive zero-knowledge proofs in cross-domains without trusted setup
- Concretely-efficient zero-knowledge arguments for arithmetic circuits and their application to lattice-based cryptography
- A compressed \(\varSigma \)-protocol theory for lattices
- DIZK
- DVNIZK
- LegoSNARK
- \textsf{Mac'n'Cheese}: zero-knowledge proofs for Boolean and arithmetic circuits with nested disjunctions
- On the round complexity of black-box secure MPC
- Polynomial IOPs for linear algebra relations
- BooLigero: improved sublinear zero knowledge proofs for Boolean circuits
- MPC-in-multi-heads: a multi-prover zero-knowledge proof system (or: how to jointly prove any NP statements in ZK)
- More efficient amortization of exact zero-knowledge proofs for LWE
- A simple post-quantum non-interactive zero-knowledge proof from garbled circuits
- Libra
- A non-PCP approach to succinct quantum-safe zero-knowledge
- Pinocchio
- NFLlib
- SNARKs for C
- Traceable ring signatures: general framework and post-quantum security
- ADSNARK
- zk-SNARK
- SPHINCS
- Arya
- EMP-toolkit
- vSQL
- vRAM
- ZKBoo
- ANONIZE
- Ed25519
- Geppetto
- libiop
- libsnark
- Picnic
- Asymptotically quasi-optimal cryptography
- Stacking sigmas: a framework to compose \(\varSigma\)-protocols for disjunctions
- Helios
- Spartan: efficient and general-purpose zkSNARKs without trusted setup
- The price of active security in cryptographic protocols
- Updateable Inner Product Argument with Logarithmic Verifier and Applications
- Dory: efficient, transparent arguments for generalised inner products and polynomial commitments
- CPSNARKs-Set
- Halo2
- jsnark
- Marlin
- MP-SPDZ
- dalek
- MuSig2
- xJsnark
- On the power of secure two-party computation
- Acyclicity programming for sigma-protocols
- Practical exact proofs from lattices: new techniques to exploit fully-splitting rings
- Efficient multivariate low-degree tests via interactive oracle proofs of proximity for polynomial codes
- Spartan
- Arya: nearly linear-time zero-knowledge proofs for correct program execution
- Libra: succinct zero-knowledge proofs with optimal prover computation
This page was built for software: Ligero
