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