Experimental zero-knowledge proof compiler in Rust macros
☆166Oct 23, 2023Updated 2 years ago
Alternatives and similar repositories for zkp
Users that are interested in zkp are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Composable proof transcripts for public-coin arguments of knowledge☆131Mar 9, 2023Updated 3 years ago
- A pure-Rust implementation of Bulletproofs using Ristretto.☆1,123Jul 23, 2024Updated last year
- Deterministic And Verifiable Randomness On Schnorr signatures☆12Nov 18, 2017Updated 8 years ago
- Materials for Edcon 2019 webcast☆11Mar 31, 2019Updated 6 years ago
- Arithmatic circuits convertible to R1CS based on Bulletproofs☆92Dec 31, 2022Updated 3 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click and start building anything your business needs.
- A design for doing more private Signal groups using anonymous credentials based on algebraic MACs.☆13Dec 20, 2019Updated 6 years ago
- Generator and supporting evidence for security of the Tweedledum/Tweedledee pair of elliptic curves suitable for Halo☆20Oct 25, 2022Updated 3 years ago
- OpenZKP - pure Rust implementations of Zero-Knowledge Proof systems.☆663Apr 23, 2024Updated last year
- A Rust library for polynomial commitments☆424Dec 2, 2024Updated last year
- Communal zk-SNARK MPC for Public Parameters☆145Jun 1, 2021Updated 4 years ago
- A Rust library for building R1CS gadgets☆92Oct 14, 2021Updated 4 years ago
- Implementation of additive homomorphic ElGamal using the Ristretto group over Curve25519☆21Sep 5, 2022Updated 3 years ago
- Generator and supporting evidence for security of the Pallas/Vesta pair of elliptic curves suitable for Halo☆60May 19, 2023Updated 2 years ago
- Interfaces for Relations and SNARKs for these relations☆899Sep 12, 2025Updated 6 months ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Pure-Rust traits and utilities for constant-time cryptographic implementations.☆294Aug 3, 2024Updated last year
- A pure-Rust implementation of group operations on Ristretto and Curve25519☆29Aug 14, 2024Updated last year
- X25519 elliptic curve Diffie-Hellman key exchange in pure-Rust, using curve25519-dalek.☆351Sep 1, 2023Updated 2 years ago
- Diffie-Hellman key exchange using the Ristretto255 group, in Rust.☆22Jan 6, 2023Updated 3 years ago
- Infinitely presentable (aeon) rerandomisable (flux) anonymous credentials.☆30Nov 24, 2020Updated 5 years ago
- A pure-Rust implementation of group operations on Ristretto and Curve25519☆1,135Feb 26, 2026Updated 3 weeks ago
- Pairing-friendly elliptic curve library.☆353Apr 17, 2025Updated 11 months ago
- Around applying the VDF construcrtion based on isogenies between super-signular elliptic curves☆14Oct 19, 2021Updated 4 years ago
- Schnorr signatures over big curves for Ledger devices. group arithmetic & key derivation for unusual elliptic curves.☆13Apr 9, 2020Updated 5 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- An example of how to build an end-to-end dApp with plonky2x☆22Aug 30, 2023Updated 2 years ago
- Implementation of the blindbid logic within Zero Knowledge Proofs☆20Sep 15, 2021Updated 4 years ago
- Zero-knowledge virtual machine written in Rust☆246Mar 17, 2023Updated 3 years ago
- A Rust library for the Marlin preprocessing zkSNARK☆324Jan 18, 2024Updated 2 years ago
- ☆117Aug 6, 2021Updated 4 years ago
- ZkVM — a blockchain virtual machine with cloaked assets and ZK smart contracts☆42Apr 4, 2019Updated 6 years ago
- Identity Based Encryption schemes on the BLS12-381 pairing-friendly elliptic curve☆20Aug 31, 2021Updated 4 years ago
- A library for decentralized private computation☆19Jul 21, 2021Updated 4 years ago
- ☆15Jan 23, 2019Updated 7 years ago
- DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Implements ERC-5564 for multiple elliptic curves using arkworks-rs☆37Updated this week
- a CCA-secure module-lattice-based KEM☆17Dec 21, 2018Updated 7 years ago
- Rust implementation of Zcash multi-signautres☆13Jun 23, 2019Updated 6 years ago
- An elastic proof system based on arkworks☆85Dec 21, 2023Updated 2 years ago
- ARCHIVED/MOVED: please visit the new location☆704Dec 6, 2025Updated 3 months ago
- Benchmarking Polynomial Commitments☆51Jul 3, 2023Updated 2 years ago
- Groth16 zkSNARK bellman proof verifier using cloudflare/bn256 Pairing☆13Apr 22, 2020Updated 5 years ago