Alternatives and similar repositories for vamp-ir

Users that are interested in vamp-ir are comparing it to the libraries listed below

• anoma / taiga
  A framework for generalized shielded state transitions
  ☆149Updated last year
• namada-net / masp
  The multi-asset shielded pool (MASP) provides a unified privacy set for all assets on Namada.
  ☆92Updated 3 months ago
• EspressoSystems / HotShot
  ☆161Updated 11 months ago
• lurk-lang / arecibo
  An advanced fork of Nova (contact:@huitseeker)
  ☆88Updated 10 months ago
• Sin7Y / olavm
  A STARK-based ZKVM which aims to Programmable Scalability, Programmable Privacy
  ☆163Updated 11 months ago
• matter-labs / franklin-crypto
  ☆115Updated last year
• 0xMiden / miden-node
  Reference implementation of the node for the Miden blockchain
  ☆86Updated this week
• 0xMiden / crypto
  Cryptographic primitives used in Polygon Miden rollup
  ☆131Updated this week
• privacy-ethereum / halo2curves
  ☆221Updated 5 months ago
• snarkify / sirius
  A Plonkish folding framework for Incrementally Verifiable Computation (IVC).
  ☆177Updated 10 months ago
• 0xMiden / compiler
  Compiler from Rust to Miden Assembly
  ☆95Updated this week
• 0xPolygonZero / zk_evm
  ☆100Updated 8 months ago
• privacy-ethereum / chiquito
  DSL for Halo2 circuits
  ☆188Updated last year
• anoma / whitepaper
  ☆90Updated 4 months ago
• EspressoSystems / hyperplonk
  ☆330Updated last month
• 0xMiden / miden-base
  Core components of the Miden protocol
  ☆104Updated this week
• lambdaclass / mina_bridge
  Docs and utils for the Zero-knowledge state bridge from Mina to Ethereum
  ☆97Updated 2 months ago
• anoma / typhon
  Formalization of Typhon protocol
  ☆30Updated last year
• axiom-crypto / halo2-lib
  Monorepo of halo2 crates
  ☆305Updated 5 months ago
• axiom-crypto / snark-verifier
  ☆105Updated 5 months ago
• AztecProtocol / barretenberg
  ☆194Updated last month
• eigerco / lumina
  Wasm friendly Celestia light node implementation in Rust
  ☆171Updated this week
• ProjectZKM / zkm
  zkMIPS 0.3: an open-source, simple, stable, and universal zero-knowledge virtual machine on MIPS32r2 ISA
  ☆134Updated 9 months ago
• 0xMiden / air-script
  A domain-specific language for writing AIR constraints for STARKs
  ☆93Updated this week
• privacy-ethereum / sonobe
  Experimental folding schemes library
  ☆259Updated last month
• arkworks-rs / r1cs-std
  R1CS constraints for bits, fields, and elliptic curves
  ☆186Updated 4 months ago
• succinctlabs / vectorx
  Implementation of zero-knowledge proof circuits for Vector, Avail's Data Attestation Bridge.
  ☆46Updated last year
• privacy-ethereum / snark-verifier
  ☆155Updated last year
• 0xPolygon / pil-stark
  Generates a stark from a pil
  ☆98Updated last year
• succinctlabs / succinctx
  The schelling point for ZK applications.
  ☆144Updated last year