Alternatives and similar repositories for risc0-rust-examples

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

• toposware / cheetah
  A STARK-friendly elliptic curve defined over a sextic extension of a small prime field.
  ☆39Updated last year
• 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
• BadBoiLabs / Cannon-rs
  Tooling to develop and emulate verifyable programs compatible with Optimism Cannon and the OP Stack 🦀🎆
  ☆55Updated last year
• recmo / pc-bench
  Benchmarking Polynomial Commitments
  ☆49Updated last year
• succinctlabs / sp1-helios
  On-chain Ethereum light client built with SP1
  ☆53Updated last week
• hashcloak / fhe_risc0_zkvm
  FHE in the Risc0 zkVM
  ☆25Updated last year
• ControlCplusControlV / Scribe
  Minimal Yul Transpilation to the Miden VM
  ☆53Updated 2 years ago
• alloy-rs / eips
  Rust implementations of Ethereum Improvement Proposals (EIPs)
  ☆35Updated 3 weeks ago
• ralexstokes / kzg
  KZG commitments over BLS12-381
  ☆34Updated 2 years ago
• meoawtistic / ruff
  ☆37Updated 2 years ago
• Sovereign-Labs / nmt-rs
  An implementation of a namespaced merkle tree in Rust.
  ☆31Updated last month
• succinctlabs / btc-warp
  Proof-of-concept on how to solve Bitcoin's light node sync problem with zkSNARKs
  ☆59Updated 2 years ago
• 0xprames / nitro-revm
  PoC of Revm execution in a Nitro Enclave
  ☆29Updated last year
• noir-lang / noirup
  Installation tooling for Noir
  ☆25Updated this week
• personaelabs / merkle-tree
  ☆31Updated last year
• hashcloak / stoffelMPC
  ☆45Updated last month
• mattsse / cairo-lang-rs
  ☆40Updated 3 years ago
• succinctlabs / plonky3
  ☆23Updated 5 months ago
• asn-d6 / curdleproofs
  Curdleproofs is a zero-knowledge shuffle argument
  ☆69Updated last year
• astriaorg / sequencer-relayer
  relays blocks from the shared sequencer to the DA layer
  ☆27Updated 2 years ago
• argumentcomputer / zk-light-clients
  A collection of ZK light client libraries for various blockchains
  ☆51Updated 6 months ago
• zkemail / halo2-zk-email
  Email verification circuit in halo2
  ☆68Updated 11 months ago
• starkoracles / zkos
  Cross-zk-rollup aggregation
  ☆60Updated 2 years ago
• zhenfeizhang / pasta-solidity
  A Solidity implementation of Halo2's Pasta curves
  ☆49Updated 2 years ago
• DoHoonKim8 / stark-verifier
  ☆50Updated last year
• l2iterative / ll0
  Delve into low-level RISC Zero machine
  ☆27Updated last year
• adria0 / plonk-by-fingers
  Implementation of Plonk by Hand in rust
  ☆61Updated last year
• smsunarto / daedalus
  Deadalus is a modular toolkit for zkSNARKs development and deployment written in Go using Gnark.
  ☆33Updated 2 years ago
• penumbra-zone / jmt
  An async-friendly sparse merkle tree implementation based on Diem's Jellyfish Merkle Tree
  ☆56Updated last month