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