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
- FHE in the Risc0 zkVM☆25Updated last year
- KZG commitments over BLS12-381☆34Updated 2 years ago
- ☆23Updated 3 months ago
- Curdleproofs is a zero-knowledge shuffle argument☆69Updated last year
- Some very rough benchmarks between sha256 circuits in different proving systems☆49Updated 2 years ago
- ☆39Updated last year
- ☆18Updated this week
- Cairo-VM STONE STARK Verifier Rust implementation☆40Updated last month
- RLN on KZG☆20Updated last year
- ☆37Updated last year
- A collection of comparison-benchmarks for Nova & related Proving systems☆43Updated last year
- Implementation of Nova using arkworks for learning purposes. https://eprint.iacr.org/2021/370.pdf☆44Updated last year
- Starknet sequencer built with Tendermint Core☆53Updated last year
- Noir implementation of RSA-verify☆42Updated last year
- Arkworks made simple for us: the non cryptographer software plumbers☆21Updated 2 years ago
- Implementation of the Grumpkin curve in Rust.☆29Updated last year
- Circom AES-GCM circuits☆29Updated this week
- ☆27Updated 2 years ago
- Tooling to develop and emulate verifyable programs compatible with Optimism Cannon and the OP Stack 🦀🎆☆55Updated last year
- Cryptographic protocols☆38Updated last year
- A collection of ZK light client libraries for various blockchains☆49Updated 3 months ago
- A toy Cairo VM implementation in Rust™☆73Updated 2 years ago
- A cutting-edge zkWASM implementation leveraging Nova-NIVC-based folding techniques.☆33Updated this week
- Installation tooling for Noir☆25Updated 3 weeks ago
- An ABI compatible for KZG EIP-4844 in Rust☆23Updated last year
- Mozak RISC-V Virtual Machine☆24Updated last week
- Bringing divine order to remote task execution.☆23Updated 3 months ago