Libra

MaRDI QIDQ1353385swMATHFDO

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)

• CPSNARKs-Set
• jsnark
• Marlin
• Halo2
• TurboIKOS: improved non-interactive zero knowledge and post-quantum signatures
• Zero-knowledge proofs for committed symmetric Boolean functions
• Sumcheck arguments and their applications
• An algebraic framework for universal and updatable SNARKs
• 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
• Asymptotically quasi-optimal cryptography
• Zero-knowledge IOPs with linear-time prover and polylogarithmic-time verifier
• Gemini: elastic SNARKs for diverse environments
• Pinocchio
• SNARKs for C
• zk-SNARK
• Arya
• Ligero
• ZKBoo
• vSQL
• vRAM
• Geppetto
• libsnark
• libiop
• Picnic
• EDRAX
• LegoSNARK
• DIZK
• dalek
• zkCNN
• MuSig2
• Spartan

This page was built for software: Libra