Alternatives and similar repositories for risc0-rust-starter

Users that are interested in risc0-rust-starter are comparing it to the libraries listed below

• xJonathanLEI / oriac
  A toy Cairo VM implementation in Rust™
  ☆72Updated 3 years ago
• starkoracles / zkos
  Cross-zk-rollup aggregation
  ☆61Updated 2 years ago
• gakonst / sgx-revm
  PoC of Revm execution in SGX
  ☆79Updated 2 years ago
• BadBoiLabs / Cannon-rs
  Tooling to develop and emulate verifyable programs compatible with Optimism Cannon and the OP Stack 🦀🎆
  ☆56Updated 2 years ago
• risc0 / risc0-rust-examples
  These RISC Zero examples have been moved to the main risc0/risc0 repository
  ☆56Updated 2 years ago
• leonardoalt / tinyzkevm
  ☆46Updated 4 years ago
• renegade-fi / renegade-stylus-contracts
  Smart contracts for on-chain anonymous settlement.
  ☆123Updated 4 months ago
• vezenovm / simple_shield
  Basic Noir private proof of membership
  ☆90Updated 10 months ago
• privacy-ethereum / zk-eigentrust
  EigenTrust - A distributed reputation system
  ☆115Updated 2 years ago
• grandinetech / rust-kzg
  Parallelized multi-backend KZG library for Ethereum Data Sharding (aka Proto-Danksharding, EIP-4844)
  ☆132Updated last month
• argumentcomputer / zk-light-clients
  A collection of ZK light client libraries for various blockchains
  ☆66Updated last year
• leonardoalt / fusion
  An experimental progressive and fast zkRollup written in Rust, focused on performance, modularity, and applying cutting-edge Verifiable C…
  ☆117Updated last year
• asn-d6 / curdleproofs
  Curdleproofs is a zero-knowledge shuffle argument
  ☆70Updated 2 years ago
• zkemail / halo2-zk-email
  Email verification circuit in halo2
  ☆68Updated last year
• crate-crypto / rust-verkle
  ☆134Updated last year
• laudiacay / barustenberg
  barretenburg in rust (here we go)
  ☆99Updated 2 years ago
• yetanotherco / zkRust
  ☆43Updated last year
• thor314 / pebble-stark
  A community-developed re-implementation of the Starkware Stone Prover
  ☆69Updated last year
• lambdaclass / starknet_tendermint_sequencer
  Starknet sequencer built with Tendermint Core
  ☆52Updated 2 years ago
• geometryxyz / zkhack-groth-puzzle
  https://geometryresearch.xyz/notebook/zkhack-groth-challenge
  ☆48Updated 3 years ago
• succinctlabs / tendermintx
  Implementation of zero-knowledge proof circuits for Tendermint.
  ☆82Updated last year
• maxgillett / halo2-fri-gadget
  A FRI verifier circuit for the Halo2 proof system
  ☆77Updated 2 years ago
• nulltea / zk-timelock
  Arkworks circuits for verifiable time-lock encryption
  ☆91Updated 3 years ago
• ControlCplusControlV / Scribe
  Minimal Yul Transpilation to the Miden VM
  ☆52Updated 2 years ago
• ralexstokes / ssz-rs
  Implementation of ethereum's `ssz`
  ☆109Updated last year
• summa-dev / summa-solvency
  Monorepo for Summa Proof of Solvency Protocol
  ☆98Updated last year
• thor314 / circuit-examples
  Circuit examples for ZK Hack Lisbon 2023 in Circom, Noir, Risc-0
  ☆78Updated last year
• gakonst / awesome-sp1
  A curated list of awesome resources related to SP1 - Succinct's zkVM.
  ☆111Updated 10 months ago
• op-rs / cannon-rs
  An alternative implementation of the OP Stack's Cannon, a MIPS emulator for the EVM.
  ☆65Updated last year
• succinctlabs / blobstreamx
  Implementation of zero-knowledge proof circuits for Blobstream, Celestia's data availability solution for Ethereum.
  ☆61Updated last year