Alternatives and similar repositories for risc0-rust-examples

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

• lambdaclass / starknet_tendermint_sequencer
  Starknet sequencer built with Tendermint Core
  ☆53Updated 2 years ago
• xJonathanLEI / oriac
  A toy Cairo VM implementation in Rust™
  ☆73Updated 3 years ago
• hashcloak / fhe_risc0_zkvm
  FHE in the Risc0 zkVM
  ☆25Updated last year
• succinctlabs / sp1-helios
  On-chain Ethereum light client built with SP1
  ☆57Updated this week
• BadBoiLabs / Cannon-rs
  Tooling to develop and emulate verifyable programs compatible with Optimism Cannon and the OP Stack 🦀🎆
  ☆55Updated last year
• toposware / cheetah
  A STARK-friendly elliptic curve defined over a sextic extension of a small prime field.
  ☆40Updated last year
• Sovereign-Labs / nmt-rs
  An implementation of a namespaced merkle tree in Rust.
  ☆31Updated 2 weeks ago
• astriaorg / sequencer-relayer
  relays blocks from the shared sequencer to the DA layer
  ☆27Updated 2 years ago
• ControlCplusControlV / Scribe
  Minimal Yul Transpilation to the Miden VM
  ☆53Updated 2 years ago
• recmo / pc-bench
  Benchmarking Polynomial Commitments
  ☆49Updated last year
• alloy-rs / eips
  Rust implementations of Ethereum Improvement Proposals (EIPs)
  ☆35Updated last month
• mattsse / cairo-lang-rs
  ☆40Updated 3 years ago
• puma314 / batch-ecdsa
  Batch ECDSA in circom
  ☆33Updated 2 years ago
• arkworks-rs / spartan
  Spartan on Arkworks
  ☆42Updated 6 months ago
• hashcloak / stoffelMPC
  ☆45Updated last month
• ethereum-optimism / asterisc
  RISC-V interactive fault proof tech
  ☆103Updated last month
• ralexstokes / kzg
  KZG commitments over BLS12-381
  ☆34Updated 2 years ago
• asn-d6 / curdleproofs
  Curdleproofs is a zero-knowledge shuffle argument
  ☆69Updated last year
• zkemail / halo2-zk-email
  Email verification circuit in halo2
  ☆68Updated 11 months ago
• noir-lang / noirup
  Installation tooling for Noir
  ☆27Updated 3 weeks ago
• nulltea / zk-timelock
  Arkworks circuits for verifiable time-lock encryption
  ☆89Updated 2 years ago
• penumbra-zone / jmt
  An async-friendly sparse merkle tree implementation based on Diem's Jellyfish Merkle Tree
  ☆56Updated last month
• argumentcomputer / zk-light-clients
  A collection of ZK light client libraries for various blockchains
  ☆53Updated 6 months ago
• starkoracles / zkos
  Cross-zk-rollup aggregation
  ☆60Updated 2 years ago
• meoawtistic / ruff
  ☆37Updated 3 years ago
• init4tech / ajj
  A simple, modern, ergonomic JSON-RPC router, using tower and axum
  ☆58Updated last month
• rkdud007 / xxfunc
  Serverless function on Reth
  ☆74Updated 10 months ago
• PetraProver / PetraVM
  A verifiable supercomputer
  ☆69Updated last week
• succinctlabs / plonky3
  ☆23Updated 6 months ago
• zhenfeizhang / pasta-solidity
  A Solidity implementation of Halo2's Pasta curves
  ☆49Updated 2 years ago