Geppetto
From MaRDI portal
Software:43502
swMATH31791MaRDI QIDQ43502FDOQ43502
Author name not available (Why is that?)
Cited In (14)
- ECLIPSE: Enhanced Compiling Method for Pedersen-Committed zkSNARK Engines
- Verification protocols with sub-linear communication for polynomial matrix operations
- Pinocchio-Based Adaptive zk-SNARKs and Secure/Correct Adaptive Function Evaluation
- TurboIKOS: improved non-interactive zero knowledge and post-quantum signatures
- Aurora: transparent succinct arguments for R1CS
- BooLigero: improved sublinear zero knowledge proofs for Boolean circuits
- MiMC: Efficient Encryption and Cryptographic Hashing with Minimal Multiplicative Complexity
- Verifiable Multi-party Computation with Perfectly Private Audit Trail
- Spartan: efficient and general-purpose zkSNARKs without trusted setup
- A PCP theorem for interactive proofs and applications
- Scalable zero knowledge via cycles of elliptic curves
- The hunting of the SNARK
- Sublinear Zero-Knowledge Arguments for RAM Programs
- Libra: succinct zero-knowledge proofs with optimal prover computation
This page was built for software: Geppetto
