noir-lang / acvm

Related projects: ⓘ

• succinctlabs / plonky3
  ☆23Updated 5 months ago
• richardliang / noir-rsa
  Noir implementation of RSA-verify
  ☆41Updated 9 months ago
• lambdaclass / simpleworks
  Arkworks made simple for us: the non cryptographer software plumbers
  ☆21Updated last year
• Sladuca / sha256-prover-comparison
  Some very rough benchmarks between sha256 circuits in different proving systems
  ☆49Updated 2 years ago
• recmo / pc-bench
  Benchmarking Polynomial Commitments
  ☆47Updated last year
• Ethan-000 / halo2_backend
  ☆38Updated 8 months ago
• asn-d6 / curdleproofs
  Curdleproofs is a zero-knowledge shuffle argument
  ☆68Updated 11 months ago
• jules / grumpkin
  Implementation of the Grumpkin curve in Rust.
  ☆28Updated last year
• toposware / cheetah
  A STARK-friendly elliptic curve defined over a sextic extension of a small prime field.
  ☆38Updated 9 months ago
• privacy-scaling-explorations / nova-bench
  A collection of comparison-benchmarks for Nova & related Proving systems
  ☆42Updated last year
• hashcloak / fhe_risc0_zkvm
  FHE in the Risc0 zkVM
  ☆23Updated 10 months ago
• 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
• succinctlabs / rsp
  A minimal implementation of ZKPs of Ethereum block execution using Reth. Supports both Ethereum and OP Stack.
  ☆40Updated last week
• onurinanc / noir-bn254
  BN254 Pairing Implementation in Noir
  ☆20Updated last year
• ControlCplusControlV / Scribe
  Minimal Yul Transpilation to the Miden VM
  ☆51Updated last year
• noir-lang / noirup
  Installation tooling for Noir
  ☆22Updated 2 months ago
• geometryxyz / proof-toolbox
  Cryptographic protocols
  ☆36Updated last year
• lambdaclass / starknet_tendermint_sequencer
  Starknet sequencer built with Tendermint Core
  ☆53Updated last year
• argumentcomputer / solidity-verifier
  Solidity implementation of Nova proving system verifier
  ☆56Updated 6 months ago
• lambdaclass / noir_backend_using_gnark
  A Noir's backend implementation using Gnark
  ☆32Updated 6 months ago
• succinctlabs / plonky2x-example
  An example of how to build an end-to-end dApp with plonky2x
  ☆22Updated last year
• xJonathanLEI / oriac
  A toy Cairo VM implementation in Rust™
  ☆71Updated 2 years ago
• yetanotherco / zkRust
  ☆15Updated last week
• Rate-Limiting-Nullifier / kzg-rln
  RLN on KZG
  ☆16Updated last year
• privacy-scaling-explorations / nova-by-hand
  A collection of the Notes on the Nova folding scheme explained from scratch
  ☆21Updated 3 months ago
• Maddiaa0 / honk-verifier
  Honk Verifier in Solidity
  ☆48Updated this week
• 0xPolygonZero / plonky2-semaphore
  Plonky2 Semaphore example for ZKHack
  ☆25Updated 2 years ago
• BadBoiLabs / Cannon-rs
  Tooling to develop and emulate verifyable programs compatible with Optimism Cannon and the OP Stack 🦀🎆
  ☆49Updated 9 months ago
• lyronctk / zijkstra
  Proving shortest paths with recursive SNARKs
  ☆12Updated last year