Geppetto
From MaRDI portal
Cited in
(40)- jsnark
- Libra
- EFD
- Scalable zero knowledge via cycles of elliptic curves
- The hunting of the SNARK
- Barreto-Naehrig
- Verification protocols with sub-linear communication for polynomial matrix operations
- Spartan: efficient and general-purpose zkSNARKs without trusted setup
- TurboIKOS: improved non-interactive zero knowledge and post-quantum signatures
- BooLigero: improved sublinear zero knowledge proofs for Boolean circuits
- A PCP theorem for interactive proofs and applications
- RELIC
- Pinocchio
- Aurora: transparent succinct arguments for R1CS
- Libra: succinct zero-knowledge proofs with optimal prover computation
- SWIFFT
- SNARKs for C
- Verifiable multi-party computation with perfectly private audit trail
- MiMC: efficient encryption and cryptographic hashing with minimal multiplicative complexity
- zk-SNARK
- ADSNARK
- Plutus
- SiRiUS
- Ligero
- ZKBoo
- vSQL
- libsnark
- libiop
- Pinocchio-based adaptive zk-SNARKs and secure/correct adaptive function evaluation
- \textsf{ECLIPSE}: enhanced compiling method for Pedersen-committed zkSNARK engines
- Sublinear zero-knowledge arguments for RAM programs
- libff
- LegoSNARK
- SWIFFTX
- SwiftEC
- DIZK
- constantine
- wasmcurves
- dalek
- xJsnark
This page was built for software: Geppetto
