anoma / vamp-ir
Vamp-IR is a proof-system-agnostic language for writing arithmetic circuits
☆156Updated last year
Related projects ⓘ
Alternatives and complementary repositories for vamp-ir
- A framework for generalized shielded state transitions☆144Updated 2 months ago
- The multi-asset shielded pool (MASP) provides a unified privacy set for all assets on Namada.☆88Updated last month
- A STARK-based ZKVM which aims to Programmable Scalability, Programmable Privacy☆165Updated 3 months ago
- R1CS constraints for bits, fields, and elliptic curves☆140Updated 3 weeks ago
- ☆144Updated this week
- An advanced fork of Nova (contact:@huitseeker)☆80Updated last week
- Docs and utils for the Zero-knowledge state bridge from Mina to Ethereum☆86Updated last month
- ☆124Updated this week
- ☆115Updated 3 months ago
- Generates a stark from a pil☆95Updated 3 months ago
- ☆191Updated last week
- An implementation of a DKG protocol for front-running protection on Anoma.☆78Updated last year
- ☆60Updated 2 years ago
- Monorepo of halo2 crates☆238Updated 3 months ago
- halo2 ecc circuit☆114Updated last year
- Cryptographic primitives used in Polygon Miden rollup☆104Updated this week
- ☆158Updated last year
- ☆78Updated 2 years ago
- Formalization of Typhon protocol☆28Updated this week
- A monorepo containing all the custom components of the Astria network, a decentralized system that replaces traditional sequencers, offer…☆116Updated this week
- ☆173Updated 3 weeks ago
- Compiler from MidenIR to Miden Assembly☆65Updated this week
- ☆106Updated this week
- A trustless, cross-chain bridging protocol.☆76Updated this week
- ☆51Updated last year
- ☆147Updated 8 months ago
- Core components of the Polygon Miden rollup☆73Updated this week
- Rust Crates for the Manta Network Ecosystem☆80Updated last year
- Evaluating & benchmarking ZKP compilation strategies.☆120Updated 11 months ago
- ☆85Updated this week