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