Cited in
(33)- TurboIKOS: improved non-interactive zero knowledge and post-quantum signatures
- Zero-knowledge proofs for committed symmetric Boolean functions
- An algebraic framework for universal and updatable SNARKs
- Sumcheck arguments and their applications
- 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)
- Pinocchio
- SNARKs for C
- zk-SNARK
- Arya
- Ligero
- vSQL
- vRAM
- ZKBoo
- Geppetto
- libiop
- libsnark
- Picnic
- A simple post-quantum non-interactive zero-knowledge proof from garbled circuits
- Asymptotically quasi-optimal cryptography
- Gemini: elastic SNARKs for diverse environments
- Zero-knowledge IOPs with linear-time prover and polylogarithmic-time verifier
- zkCNN
- CPSNARKs-Set
- Halo2
- jsnark
- Marlin
- LegoSNARK
- dalek
- MuSig2
- Spartan
- EDRAX
- DIZK
This page was built for software: Libra
