Cited in
(30)- Libra: succinct zero-knowledge proofs with optimal prover computation
- Aurora: transparent succinct arguments for R1CS
- Sumcheck arguments and their applications
- Pinocchio
- SNARKs for C
- zk-SNARK
- Arya
- Ligero
- vRAM
- ZKBoo
- Geppetto
- libiop
- libsnark
- Gemini: elastic SNARKs for diverse environments
- Spartan: efficient and general-purpose zkSNARKs without trusted setup
- zkCNN
- Updateable Inner Product Argument with Logarithmic Verifier and Applications
- Libra
- CPSNARKs-Set
- Halo2
- jsnark
- Marlin
- Succinct functional commitment for a large class of arithmetic circuits
- Arya: nearly linear-time zero-knowledge proofs for correct program execution
- LegoSNARK
- Zero-knowledge proofs for set membership: efficient, succinct, modular
- dalek
- Spartan
- EDRAX
- DIZK
This page was built for software: vSQL