noir-lang / acvm
☆46Updated last year
Alternatives and similar repositories for acvm:
Users that are interested in acvm are comparing it to the libraries listed below
- A STARK-friendly elliptic curve defined over a sextic extension of a small prime field.☆38Updated last year
- KZG commitments over BLS12-381☆34Updated 2 years ago
- ☆23Updated 3 weeks ago
- ☆39Updated last year
- ☆17Updated this week
- Noir implementation of RSA-verify☆42Updated last year
- Nova: Recursive SNARKs without trusted setup☆42Updated last year
- ☆24Updated last year
- Some very rough benchmarks between sha256 circuits in different proving systems☆49Updated 2 years ago
- Implementation of the Grumpkin curve in Rust.☆29Updated last year
- Circuits for Pluto's `web-prover`☆13Updated this week
- Client side zero-knowledge proving.☆32Updated last month
- Rust implementation of KZG point evaluation☆29Updated this week
- ☆36Updated last year
- Arkworks made simple for us: the non cryptographer software plumbers☆21Updated last year
- A collection of ZK light client libraries for various blockchains☆46Updated last month
- FHE in the Risc0 zkVM☆25Updated last year
- Rescue and Poseidon hash function implementations☆42Updated 5 months ago
- ☆48Updated 10 months ago
- A Solidity implementation of Halo2's Pasta curves☆48Updated last year
- An ABI compatible for KZG EIP-4844 in Rust☆23Updated last year
- Implementation of Nova using arkworks for learning purposes. https://eprint.iacr.org/2021/370.pdf☆43Updated last year
- The entry point for Rust projects to be run on Valida☆10Updated last month
- Extractable Witness Encryption for KZG Commitments☆28Updated last month
- RLN on KZG☆17Updated last year
- Proving shortest paths with recursive SNARKs☆12Updated last year
- Minimal Merkle Tree implementations☆28Updated 3 weeks ago
- Cryptographic protocols☆37Updated last year
- zkSNARK circuits for the Telepathy protocol☆51Updated last year
- Installation tooling for Noir☆24Updated 6 months ago