anoma / vamp-ir
Vamp-IR is a proof-system-agnostic language for writing arithmetic circuits
☆154Updated last year
Related projects: ⓘ
- A framework for generalized shielded state transitions☆138Updated this week
- The multi-asset shielded pool (MASP) provides a unified privacy set for all assets on Namada.☆88Updated last week
- A STARK-based ZKVM which aims to Programmable Scalability, Programmable Privacy☆163Updated last month
- An implementation of a DKG protocol for front-running protection on Anoma.☆78Updated last year
- ☆115Updated last month
- ☆119Updated this week
- ☆182Updated this week
- ☆133Updated this week
- Monorepo of halo2 crates☆236Updated last month
- Compiler from MidenIR to Miden Assembly☆62Updated this week
- A monorepo containing all the custom components of the Astria network, a decentralized system that replaces traditional sequencers, offer…☆111Updated this week
- halo2 ecc circuit☆110Updated last year
- Blockifier is a Rust implementation for the transaction-executing component in the StarkNet sequencer, in charge of creating state diffs …☆170Updated 3 weeks ago
- ☆170Updated last week
- Bridge from Mina to Ethereum☆77Updated this week
- ☆93Updated this week
- A STARK-based VM focused on code reuse, performance, and modularity☆273Updated 2 months ago
- Generates a stark from a pil☆94Updated last month
- Cryptographic primitives used in Polygon Miden rollup☆97Updated this week
- ☆154Updated last year
- DSL for Halo2 circuits☆185Updated 3 weeks ago
- The schelling point for ZK applications.☆135Updated 4 months ago
- Core components of the Polygon Miden rollup☆67Updated this week
- ☆66Updated last year
- R1CS constraints for bits, fields, and elliptic curves☆133Updated last week
- ☆94Updated last month
- State-of-the-art Elliptic Curve operations and SNARKS verification for Cairo & Starknet 🐺.☆183Updated this week
- ☆226Updated this week
- An advanced fork of Nova (contact:@huitseeker)☆74Updated last week
- ☆59Updated 2 years ago