Alternatives and similar repositories for risc0-rust-starter

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

• starkoracles / zkos
  Cross-zk-rollup aggregation
  ☆60Updated 2 years ago
• xJonathanLEI / oriac
  A toy Cairo VM implementation in Rust™
  ☆73Updated 3 years ago
• vezenovm / simple_shield
  Basic Noir private proof of membership
  ☆90Updated 7 months ago
• laudiacay / barustenberg
  barretenburg in rust (here we go)
  ☆99Updated last year
• summa-dev / summa-solvency
  Monorepo for Summa Proof of Solvency Protocol
  ☆98Updated last year
• zkemail / halo2-zk-email
  Email verification circuit in halo2
  ☆68Updated last year
• risc0 / risc0-rust-examples
  These RISC Zero examples have been moved to the main risc0/risc0 repository
  ☆56Updated 2 years ago
• privacy-ethereum / zk-eigentrust
  EigenTrust - A distributed reputation system
  ☆113Updated last year
• anoma / zkp-compiler-shootout
  Evaluating & benchmarking ZKP compilation strategies.
  ☆121Updated last year
• commonwarexyz / alto
  A minimal (and wicked fast) blockchain built with the Commonware Library.
  ☆72Updated last week
• thor314 / pebble-stark
  A community-developed re-implementation of the Starkware Stone Prover
  ☆69Updated last year
• renegade-fi / renegade-stylus-contracts
  Smart contracts for on-chain anonymous settlement.
  ☆122Updated last month
• lambdaclass / starknet_tendermint_sequencer
  Starknet sequencer built with Tendermint Core
  ☆53Updated 2 years ago
• gakonst / sgx-revm
  PoC of Revm execution in SGX
  ☆79Updated 2 years ago
• argumentcomputer / zk-light-clients
  A collection of ZK light client libraries for various blockchains
  ☆62Updated 10 months ago
• lambdaclass / starknet_stack
  Starknet Stack let's you easily create new Cairo Starknet chains with their own sequencers, provers and verifiers
  ☆43Updated 2 years ago
• yetanotherco / zkRust
  ☆42Updated last year
• succinctlabs / sp1-helios
  On-chain Ethereum light client built with SP1
  ☆74Updated last week
• BadBoiLabs / Cannon-rs
  Tooling to develop and emulate verifyable programs compatible with Optimism Cannon and the OP Stack 🦀🎆
  ☆56Updated last year
• JumpCrypto / plonky2-crypto
  Crypto Gadgets for Plonky2
  ☆73Updated 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
• bellissimogiorno / cairo-integer-types
  A library for bitwise integer types (e.g. int64 or uint32) in Cairo, with a test suite
  ☆29Updated 3 years ago
• succinctlabs / blobstreamx
  Implementation of zero-knowledge proof circuits for Blobstream, Celestia's data availability solution for Ethereum.
  ☆61Updated last year
• grandinetech / rust-kzg
  Parallelized multi-backend KZG library for Ethereum Data Sharding (aka Proto-Danksharding, EIP-4844)
  ☆131Updated this week
• leonardoalt / tinyzkevm
  ☆46Updated 4 years ago
• ralexstokes / ssz-rs
  Implementation of ethereum's `ssz`
  ☆106Updated last year
• nulltea / zk-timelock
  Arkworks circuits for verifiable time-lock encryption
  ☆91Updated 3 years ago
• thor314 / circuit-examples
  Circuit examples for ZK Hack Lisbon 2023 in Circom, Noir, Risc-0
  ☆78Updated last year
• ControlCplusControlV / Scribe
  Minimal Yul Transpilation to the Miden VM
  ☆52Updated 2 years ago
• matter-labs / zk_os
  OS for next iteration of the world computer
  ☆43Updated 2 years ago