Geppetto

swMATH31791MaRDI QIDQ43502FDOQ43502

Author name not available (Why is that?)

Cited In (14)

• 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
• Pinocchio-based adaptive zk-SNARKs and secure/correct adaptive function evaluation
• 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
• Libra: succinct zero-knowledge proofs with optimal prover computation

This page was built for software: Geppetto