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 4 months ago
• anoma / masp
  The multi-asset shielded pool (MASP) provides a unified privacy set for all assets on Namada.
  ☆88Updated 2 weeks ago
• AztecProtocol / barretenberg
  ☆151Updated this week
• EspressoSystems / HotShot
  ☆137Updated this week
• Sin7Y / olavm
  A STARK-based ZKVM which aims to Programmable Scalability, Programmable Privacy
  ☆163Updated 5 months ago
• anoma / ferveo
  An implementation of a DKG protocol for front-running protection on Anoma.
  ☆81Updated last year
• EspressoSystems / hyperplonk
  ☆217Updated this week
• privacy-scaling-explorations / halo2curves
  ☆190Updated last month
• anoma / whitepaper
  ☆63Updated 2 years ago
• lurk-lang / arecibo
  An advanced fork of Nova (contact:@huitseeker)
  ☆79Updated this week
• matter-labs / franklin-crypto
  ☆114Updated 5 months ago
• axiom-crypto / halo2-lib
  Monorepo of halo2 crates
  ☆260Updated this week
• scroll-tech / halo2-snark-aggregator
  halo2 ecc circuit
  ☆115Updated last year
• privacy-scaling-explorations / sonobe
  Experimental folding schemes library
  ☆222Updated last week
• snarkify / sirius
  A Plonkish folding framework for Incrementally Verifiable Computation (IVC).
  ☆156Updated 3 weeks ago
• polymerdao / plonky2-circom
  ☆158Updated last year
• scroll-tech / zk-mooc-halo2
  ☆74Updated last year
• 0xPolygonHermez / pil-stark
  Generates a stark from a pil
  ☆96Updated 5 months ago
• scroll-tech / poseidon-circuit
  Poseidon hash circuit
  ☆95Updated 3 months ago
• anoma / typhon
  Formalization of Typhon protocol
  ☆30Updated last month
• arkworks-rs / r1cs-std
  R1CS constraints for bits, fields, and elliptic curves
  ☆146Updated 3 months ago
• 0xPolygonMiden / crypto
  Cryptographic primitives used in Polygon Miden rollup
  ☆108Updated this week
• lambdaclass / mina_bridge
  Docs and utils for the Zero-knowledge state bridge from Mina to Ethereum
  ☆88Updated 3 months ago
• zkMIPS / zkm
  The universal zkvm empoering ethereum as the global settlement layer
  ☆120Updated last week
• polymerdao / plonky2-solidity-verifier
  ☆79Updated 2 years ago
• succinctlabs / sp1-reth
  A performant, type-1 zkEVM written in Rust & SP1.
  ☆128Updated 3 months ago
• arkworks-rs / crypto-primitives
  Interfaces and implementations of cryptographic primitives, along with R1CS constraints for them
  ☆192Updated 2 months ago
• ChainSafe / Spectre
  ZK coprocessor for verifying Beacon chain headers via Altair lightclient protocol
  ☆60Updated 4 months ago
• privacy-scaling-explorations / chiquito
  DSL for Halo2 circuits
  ☆188Updated 2 months ago
• Manta-Network / manta-rs
  Rust Crates for the Manta Network Ecosystem
  ☆82Updated last year