Libra zero knowledge proof system
☆56Mar 16, 2023Updated 3 years ago
Alternatives and similar repositories for Libra
Users that are interested in Libra are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A zk-SNARK for randomized algorithms + linear-size universal circuits (https://eprint.iacr.org/2020/278)☆19Jan 24, 2021Updated 5 years ago
- An efficient interactive zero-knowledge proof scheme based on GKR in terms of unlayered circuit.☆17May 23, 2023Updated 3 years ago
- ☆60Dec 27, 2021Updated 4 years ago
- C++ library for IOP-based zkSNARKs☆184Jan 12, 2024Updated 2 years ago
- Argument systems for inner pairing products☆46Jul 31, 2024Updated 2 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- An O(N\log{N}) time algorithm for computing all N proofs fast in the Pointproofs VC. Also, the O(N\log{N}) time Feist-Khovratovich algori…☆13Dec 3, 2020Updated 5 years ago
- Hyrax reference implementation: meta-repo with top-level makefile, etc☆37Feb 9, 2018Updated 8 years ago
- A Rust library for the preprocessing zkSNARK of Groth and Maller☆13Oct 29, 2024Updated 2 years ago
- A Zero-Knowledge Toolkit☆15Oct 15, 2020Updated 6 years ago
- zkInterface is a protocol for the interoperability of zero-knowledge frameworks.☆128Jun 13, 2023Updated 3 years ago
- Generator and supporting evidence for security of the Tweedledum/Tweedledee pair of elliptic curves suitable for Halo☆20Oct 25, 2022Updated 4 years ago
- Testudo: Spartan + Groth16☆54Feb 21, 2024Updated 2 years ago
- ☆14Sep 28, 2020Updated 6 years ago
- ☆33Sep 19, 2022Updated 4 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- ☆11Jul 21, 2023Updated 3 years ago
- This library is archived; see crypto-primities for the latest version of this code☆21Feb 15, 2023Updated 3 years ago
- To bring zero knowledge privacy primitives to all web3 developers.☆13Oct 20, 2023Updated 3 years ago
- ZKProofs website☆91Oct 25, 2023Updated 3 years ago
- Spartan: High-speed zkSNARKs without trusted setup☆876Sep 22, 2026Updated last month
- ☆22Oct 10, 2015Updated 11 years ago
- Zero Knowledge Proofs Toolkit for CKB☆70Nov 2, 2022Updated 4 years ago
- Arithmatic circuits convertible to R1CS based on Bulletproofs☆92Dec 31, 2022Updated 3 years ago
- ☆40Jul 30, 2025Updated last year
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- a lattice lib for building snarks☆21May 20, 2024Updated 2 years ago
- A Rust library for polynomial commitments☆444Sep 28, 2026Updated last month
- Proof-of-concept implementation of the papers on scalable collaborative zk-SNARKs (coZK) with applications to private proof delegation.☆59Aug 2, 2025Updated last year
- Prototype of fraud proofs.☆12Feb 13, 2022Updated 4 years ago
- ☆345Oct 12, 2026Updated 3 weeks ago
- A GKR-based zero-knowledge proof protocol for CNN model inference.☆88Feb 26, 2023Updated 3 years ago
- ☆10Oct 22, 2019Updated 7 years ago
- Frobenius sumcheck for vectorized boolean ops☆56Jul 1, 2026Updated 4 months ago
- The official repository hosting the ZKProof Community Reference & Proposals documents.☆114Jul 28, 2022Updated 4 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- Python3 implementation of the Pippenger algorithm for fast multi-exponentiation☆20Dec 8, 2022Updated 3 years ago
- polynomial commitments from linear codes☆51Dec 13, 2024Updated last year
- EN.601.741: Advanced Topics in Secure and Censorship-Resistant Communications☆15Jan 25, 2021Updated 5 years ago
- SageMath library for constructing elliptic curves☆76Jul 14, 2023Updated 3 years ago
- A curated list of zero-knowledge folding schemes☆312Aug 6, 2024Updated 2 years ago
- The simplest and most extensible zkVM. Fast and fully open source from a16z crypto and friends. ⚡☆1,059Updated this week
- Efficient zero-knowledge arguments in the discrete log setting, revisited☆16Mar 4, 2020Updated 6 years ago