noir-lang / acvm

Related projects ⓘ

Alternatives and complementary repositories for acvm

• noir-lang / noirup
  Installation tooling for Noir
  ☆23Updated 4 months ago
• Ethan-000 / halo2_backend
  ☆37Updated 10 months ago
• succinctlabs / plonky3
  ☆24Updated 7 months ago
• iosis-tech / swiftness
  Cairo-VM STARK Verifier Rust implementation
  ☆37Updated last month
• hashcloak / fhe_risc0_zkvm
  FHE in the Risc0 zkVM
  ☆25Updated last year
• Rate-Limiting-Nullifier / kzg-rln
  RLN on KZG
  ☆17Updated last year
• lambdaclass / simpleworks
  Arkworks made simple for us: the non cryptographer software plumbers
  ☆21Updated last year
• toposware / cheetah
  A STARK-friendly elliptic curve defined over a sextic extension of a small prime field.
  ☆38Updated 11 months ago
• Maddiaa0 / honk-verifier
  Honk Verifier in Solidity
  ☆49Updated last month
• scroll-tech / ceno
  Accelerate Zero-knowledge Virtual Machine by Non-uniform Prover Based on GKR Protocol
  ☆49Updated this week
• argumentcomputer / zk-light-clients
  A collection of ZK light client libraries for various blockchains. (contact: @tchataigner)
  ☆36Updated this week
• xJonathanLEI / oriac
  A toy Cairo VM implementation in Rust™
  ☆71Updated 2 years ago
• succinctlabs / telepathy-circuits
  zkSNARK circuits for the Telepathy protocol
  ☆51Updated last year
• asn-d6 / curdleproofs
  Curdleproofs is a zero-knowledge shuffle argument
  ☆69Updated last year
• Sladuca / sha256-prover-comparison
  Some very rough benchmarks between sha256 circuits in different proving systems
  ☆49Updated 2 years ago
• zkemail / halo2-regex
  Library and gadget to do regex string matches in halo2
  ☆35Updated 3 months ago
• richardliang / noir-rsa
  Noir implementation of RSA-verify
  ☆41Updated 11 months ago
• lambdaclass / noir_backend_using_gnark
  A Noir's backend implementation using Gnark
  ☆32Updated 8 months ago
• noir-lang / acvm-backend-barretenberg
  ☆39Updated last year
• clvv / rcc
  ☆24Updated last year
• lyronctk / zijkstra
  Proving shortest paths with recursive SNARKs
  ☆12Updated last year
• ralexstokes / kzg
  KZG commitments over BLS12-381
  ☆32Updated 2 years ago
• jules / grumpkin
  Implementation of the Grumpkin curve in Rust.
  ☆29Updated last year
• lambdaclass / lambdaworks_kzg
  An ABI compatible for KZG EIP-4844 in Rust
  ☆23Updated last year
• privacy-scaling-explorations / Nova
  Nova: Recursive SNARKs without trusted setup
  ☆43Updated last year
• BadBoiLabs / Cannon-rs
  Tooling to develop and emulate verifyable programs compatible with Optimism Cannon and the OP Stack 🦀🎆
  ☆50Updated 11 months ago
• privacy-scaling-explorations / nova-bench
  A collection of comparison-benchmarks for Nova & related Proving systems
  ☆42Updated last year
• cairoeth / sp1-eof
  EOF (EVM Object Format) performance benchmarks for the EVM & SP1 🏎️
  ☆30Updated last month
• pluto / web-prover-circuits
  Circuits for Pluto's `web-prover`
  ☆12Updated this week
• thor314 / ccs-hack
  a hack implementation of CCS generic arithmetization, won a prize at Zuzalu hackathon 2023 despite incompleteness
  ☆47Updated last year