anoma / vamp-ir
Vamp-IR is a proof-system-agnostic language for writing arithmetic circuits
☆161Updated 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☆150Updated 7 months ago
- The multi-asset shielded pool (MASP) provides a unified privacy set for all assets on Namada.☆89Updated last month
- ☆141Updated 2 months ago
- A STARK-based ZKVM which aims to Programmable Scalability, Programmable Privacy☆165Updated 2 months ago
- ☆168Updated this week
- ☆115Updated 8 months ago
- ☆256Updated last week
- ☆65Updated 2 years ago
- Generates a stark from a pil☆95Updated 9 months ago
- An implementation of a DKG protocol for front-running protection on Anoma.☆82Updated 2 years ago
- ☆205Updated last month
- Monorepo of halo2 crates☆269Updated last week
- Docs and utils for the Zero-knowledge state bridge from Mina to Ethereum☆91Updated last month
- Developing zkMIPS: an open-source, simple, stable, and universal zero-knowledge virtual machine on MIPS32r2 ISA☆126Updated last month
- An advanced fork of Nova (contact:@huitseeker)☆83Updated 2 months ago
- Compiler from MidenIR to Miden Assembly☆73Updated last week
- A monorepo containing all the custom components of the Astria network, a decentralized system that replaces traditional sequencers, offer…☆130Updated this week
- A Plonkish folding framework for Incrementally Verifiable Computation (IVC).☆169Updated last month
- Reference implementation of the node for the Miden blockchain☆63Updated this week
- halo2 ecc circuit☆116Updated 2 years ago
- ☆128Updated this week
- A STARK-based VM focused on code reuse, performance, and modularity☆321Updated 5 months ago
- Cryptographic primitives used in Polygon Miden rollup☆112Updated this week
- Experimental folding schemes library☆236Updated 3 weeks ago
- ☆158Updated 2 months ago
- R1CS constraints for bits, fields, and elliptic curves☆157Updated 3 weeks ago
- Core components of the Miden protocol☆77Updated this week
- ☆52Updated 2 months ago
- The schelling point for ZK applications.☆138Updated last year
- Formalization of Typhon protocol☆31Updated 4 months ago