anoma / vamp-ir
Vamp-IR is a proof-system-agnostic language for writing arithmetic circuits
☆160Updated last year
Alternatives and similar repositories for vamp-ir:
Users that are interested in vamp-ir are comparing it to the libraries listed below
- A framework for generalized shielded state transitions☆149Updated 5 months ago
- The multi-asset shielded pool (MASP) provides a unified privacy set for all assets on Namada.☆88Updated this week
- A STARK-based ZKVM which aims to Programmable Scalability, Programmable Privacy☆164Updated 3 weeks ago
- ☆156Updated this week
- ☆139Updated this week
- halo2 ecc circuit☆116Updated 2 years ago
- Experimental folding schemes library☆226Updated last week
- Monorepo of halo2 crates☆269Updated last week
- ☆233Updated this week
- ☆114Updated 6 months ago
- A STARK-based VM focused on code reuse, performance, and modularity☆314Updated 3 months ago
- R1CS constraints for bits, fields, and elliptic curves☆148Updated 3 weeks ago
- Generates a stark from a pil☆96Updated 6 months ago
- An advanced fork of Nova (contact:@huitseeker)☆83Updated this week
- An implementation of a DKG protocol for front-running protection on Anoma.☆81Updated 2 years ago
- ☆191Updated 2 months ago
- Cryptographic primitives used in Polygon Miden rollup☆111Updated last week
- ☆64Updated 2 years ago
- A Plonkish folding framework for Incrementally Verifiable Computation (IVC).☆161Updated this week
- DSL for Halo2 circuits☆187Updated 4 months ago
- Wasm friendly Celestia light node implementation in Rust☆134Updated last week
- ☆158Updated 2 weeks ago
- Poseidon hash circuit☆97Updated 4 months ago
- ☆150Updated last year
- Docs and utils for the Zero-knowledge state bridge from Mina to Ethereum☆88Updated this week
- ☆304Updated this week
- ☆74Updated last year
- The schelling point for ZK applications.☆136Updated 10 months ago
- Core components of the Polygon Miden rollup☆76Updated this week
- Compiler from MidenIR to Miden Assembly☆69Updated this week