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
• nulltea / zk-timelock
  Arkworks circuits for verifiable time-lock encryption
  ☆91Updated 2 years ago
• toposware / cheetah
  A STARK-friendly elliptic curve defined over a sextic extension of a small prime field.
  ☆40Updated last year
• risc0 / risc0-rust-starter
  This repository has been deprecated in favor of the `cargo risczero` tool. (Previously: A template for starting projects with the RISC Ze…
  ☆85Updated 2 years ago
• noir-lang / acvm
  ☆49Updated 2 years ago
• BadBoiLabs / Cannon-rs
  Tooling to develop and emulate verifyable programs compatible with Optimism Cannon and the OP Stack 🦀🎆
  ☆56Updated last year
• privacy-ethereum / zk-eigentrust
  EigenTrust - A distributed reputation system
  ☆113Updated last year
• starkoracles / zkos
  Cross-zk-rollup aggregation
  ☆60Updated 2 years ago
• yetanotherco / zkRust
  ☆42Updated 11 months ago
• hashcloak / fhe_risc0_zkvm
  FHE in the Risc0 zkVM
  ☆25Updated last year
• bmorphism / risc0-cosmwasm-example
  CosmWasm + zkVM RISC-V EFI template
  ☆23Updated 2 years ago
• mattsse / cairo-lang-rs
  ☆40Updated 3 years ago
• astriaorg / sequencer-relayer
  relays blocks from the shared sequencer to the DA layer
  ☆27Updated 2 years ago
• succinctlabs / sp1-helios
  On-chain Ethereum light client built with SP1
  ☆71Updated 3 weeks ago
• ralexstokes / kzg
  KZG commitments over BLS12-381
  ☆36Updated 3 years ago
• kevinz917 / zksnarks-library
  Library of zkSNARKS circuits written in the Circom language.
  ☆50Updated 3 years ago
• noir-lang / acvm-backend-barretenberg
  ☆41Updated 2 years ago
• Sladuca / sha256-prover-comparison
  Some very rough benchmarks between sha256 circuits in different proving systems
  ☆52Updated 3 years ago
• zkemail / halo2-zk-email
  Email verification circuit in halo2
  ☆68Updated last year
• leonardoalt / tinyzkevm
  ☆46Updated 4 years ago
• protolambda / dv5das
  Data Availability Sampling (DAS) on a Discovery-v5 DHT overlay
  ☆35Updated 3 years ago
• dappnetbby / eth-verifiable-rpc
  Verifiable RPC for Ethereum state, in-browser, no node
  ☆44Updated 2 years ago
• asn-d6 / curdleproofs
  Curdleproofs is a zero-knowledge shuffle argument
  ☆69Updated last year
• ralexstokes / ssz-rs
  Implementation of ethereum's `ssz`
  ☆106Updated last year
• Sovereign-Labs / nmt-rs
  An implementation of a namespaced merkle tree in Rust.
  ☆31Updated 3 months ago
• geometryxyz / proof-toolbox
  Cryptographic protocols
  ☆39Updated 2 years ago
• paradigmxyz / stress4844
  Tiny CLI for submitting large calldata transactions to EVM networks to stress test the networking layer. Main motivation: EIP4844blobs.
  ☆56Updated 2 years ago
• clabby / brisc
  A simple RISC-V runtime.
  ☆32Updated 3 weeks ago
• penumbra-zone / poseidon377
  An instantiation of the Poseidon hash for use with decaf377
  ☆29Updated 7 months ago