Libra

swMATH41699MaRDI QIDQ1353385FDOQ1353385

Author name not available (Why is that?)

Official website: https://eprint.iacr.org/2019/317.pdf

Source code repository: https://github.com/sunblaze-ucb/Libra

Described by source

• Libra: succinct zero-knowledge proofs with optimal prover computation

Cited In (33)

• zkCNN
• EDRAX
• TurboIKOS: improved non-interactive zero knowledge and post-quantum signatures
• Zero-knowledge proofs for committed symmetric Boolean functions
• An algebraic framework for universal and updatable SNARKs
• DIZK
• LegoSNARK
• Sumcheck arguments and their applications
• BooLigero: improved sublinear zero knowledge proofs for Boolean circuits
• MPC-in-multi-heads: a multi-prover zero-knowledge proof system (or: how to jointly prove any NP statements in ZK)
• A simple post-quantum non-interactive zero-knowledge proof from garbled circuits
• Pinocchio
• SNARKs for C
• zk-SNARK
• Arya
• Ligero
• vSQL
• vRAM
• ZKBoo
• Geppetto
• libiop
• libsnark
• Picnic
• Asymptotically quasi-optimal cryptography
• Gemini: elastic SNARKs for diverse environments
• Zero-knowledge IOPs with linear-time prover and polylogarithmic-time verifier
• CPSNARKs-Set
• Halo2
• jsnark
• Marlin
• dalek
• MuSig2
• Spartan

This page was built for software: Libra