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
• thor314 / pebble-stark
  A community-developed re-implementation of the Starkware Stone Prover
  ☆69Updated 8 months ago
• succinctlabs / sp1-helios
  On-chain Ethereum light client built with SP1
  ☆60Updated 2 weeks ago
• zkemail / halo2-zk-email
  Email verification circuit in halo2
  ☆67Updated last year
• xJonathanLEI / oriac
  A toy Cairo VM implementation in Rust™
  ☆73Updated 3 years ago
• risc0 / risc0-rust-examples
  These RISC Zero examples have been moved to the main risc0/risc0 repository
  ☆55Updated 2 years ago
• succinctlabs / blobstreamx
  Implementation of zero-knowledge proof circuits for Blobstream, Celestia's data availability solution for Ethereum.
  ☆61Updated 11 months ago
• argumentcomputer / zk-light-clients
  A collection of ZK light client libraries for various blockchains
  ☆53Updated 7 months ago
• gakonst / awesome-sp1
  A curated list of awesome resources related to SP1 - Succinct's zkVM.
  ☆110Updated 3 months ago
• nulltea / zk-timelock
  Arkworks circuits for verifiable time-lock encryption
  ☆89Updated 2 years ago
• yetanotherco / zkRust
  ☆40Updated 8 months ago
• JumpCrypto / plonky2-crypto
  Crypto Gadgets for Plonky2
  ☆72Updated last year
• gakonst / sgx-revm
  PoC of Revm execution in SGX
  ☆80Updated last year
• laudiacay / barustenberg
  barretenburg in rust (here we go)
  ☆98Updated last year
• lambdaclass / starknet_tendermint_sequencer
  Starknet sequencer built with Tendermint Core
  ☆53Updated 2 years ago
• ralexstokes / ssz-rs
  Implementation of ethereum's `ssz`
  ☆106Updated 9 months ago
• leonardoalt / fusion
  An experimental progressive and fast zkRollup written in Rust, focused on performance, modularity, and applying cutting-edge Verifiable C…
  ☆119Updated last year
• ControlCplusControlV / Scribe
  Minimal Yul Transpilation to the Miden VM
  ☆53Updated 2 years ago
• summa-dev / summa-solvency
  Monorepo for Summa Proof of Solvency Protocol
  ☆98Updated 10 months ago
• richardliang / noir-rsa
  Noir implementation of RSA-verify
  ☆43Updated last year
• MatteoMer / any-zkvm
  A rust template that allows any rust dev to easily develop an app made for a zkVM, but abstracting which one to use
  ☆53Updated 3 months ago
• succinctlabs / tendermintx
  Implementation of zero-knowledge proof circuits for Tendermint.
  ☆81Updated last year
• renegade-fi / renegade-contracts
  Smart contracts for on-chain anonymous settlement.
  ☆115Updated 2 weeks ago
• BadBoiLabs / Cannon-rs
  Tooling to develop and emulate verifyable programs compatible with Optimism Cannon and the OP Stack 🦀🎆
  ☆55Updated last year
• leonardoalt / tinyzkevm
  ☆46Updated 3 years ago
• commonwarexyz / alto
  A minimal (and wicked fast) blockchain built with the Commonware Library.
  ☆58Updated this week
• toposware / cheetah
  A STARK-friendly elliptic curve defined over a sextic extension of a small prime field.
  ☆40Updated last year
• privacy-scaling-explorations / zk-eigentrust
  EigenTrust - A distributed reputation system
  ☆113Updated last year
• erhant / zkbrainfuck
  A Brainfuck zkVM with Circom.
  ☆59Updated last year
• maxgillett / halo2-fri-gadget
  A FRI verifier circuit for the Halo2 proof system
  ☆76Updated 2 years ago