Cited in
(28)- \textsf{ECLIPSE}: enhanced compiling method for Pedersen-committed zkSNARK engines
- On QA-NIZK in the BPK model
- Pinocchio
- SNARKs for C
- Arya
- CryptHOL
- Ligero
- vSQL
- vRAM
- ZKBoo
- Geppetto
- libiop
- libsnark
- Subversion-resistant quasi-adaptive NIZK and applications to modular zk-SNARKs
- zkledger
- Pribank: confidential blockchain scaling using short commit-and-proof NIZK argument
- Boosting verifiable computation on encrypted data
- Spartan: efficient and general-purpose zkSNARKs without trusted setup
- A PCP theorem for interactive proofs and applications
- Libra
- CPSNARKs-Set
- Marlin
- Zero-knowledge proofs for set membership: efficient, succinct, modular
- dalek
- xJsnark
- Spartan
- EDRAX
- DIZK
This page was built for software: LegoSNARK
