Alternatives and similar repositories for risc0-rust-examples:

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

• xJonathanLEI / oriac
  A toy Cairo VM implementation in Rust™
  ☆72Updated 2 years ago
• lambdaclass / starknet_tendermint_sequencer
  Starknet sequencer built with Tendermint Core
  ☆53Updated last year
• toposware / cheetah
  A STARK-friendly elliptic curve defined over a sextic extension of a small prime field.
  ☆38Updated last year
• BadBoiLabs / Cannon-rs
  Tooling to develop and emulate verifyable programs compatible with Optimism Cannon and the OP Stack 🦀🎆
  ☆54Updated last year
• mattsse / cairo-lang-rs
  ☆40Updated 3 years ago
• hashcloak / fhe_risc0_zkvm
  FHE in the Risc0 zkVM
  ☆25Updated last year
• starkoracles / zkos
  Cross-zk-rollup aggregation
  ☆60Updated 2 years ago
• alloy-rs / eips
  Rust implementations of Ethereum Improvement Proposals (EIPs)
  ☆32Updated this week
• noir-lang / noirup
  Installation tooling for Noir
  ☆25Updated this week
• ControlCplusControlV / Scribe
  Minimal Yul Transpilation to the Miden VM
  ☆53Updated 2 years ago
• penumbra-zone / jmt
  An async-friendly sparse merkle tree implementation based on Diem's Jellyfish Merkle Tree
  ☆48Updated 2 months ago
• personaelabs / merkle-tree
  ☆31Updated 11 months ago
• emmaguo13 / zk-blind
  JWT verification with zero knowledge proofs
  ☆48Updated last year
• ralexstokes / kzg
  KZG commitments over BLS12-381
  ☆34Updated 2 years ago
• rkdud007 / xxfunc
  Serverless function on Reth
  ☆69Updated 6 months ago
• 0xprames / nitro-revm
  PoC of Revm execution in a Nitro Enclave
  ☆29Updated last year
• propeller-heads / tycho-simulation
  ☆33Updated this week
• succinctlabs / sp1-helios
  On-chain Ethereum light client built with SP1
  ☆39Updated 2 weeks ago
• meoawtistic / ruff
  ☆37Updated 2 years ago
• alloy-rs / trie
  Fast Merkle-Patricia Trie (MPT) state root calculator and proof generator for prefix-sorted nibbles
  ☆116Updated last week
• astriaorg / sequencer-relayer
  relays blocks from the shared sequencer to the DA layer
  ☆27Updated last year
• nulltea / zk-timelock
  Arkworks circuits for verifiable time-lock encryption
  ☆89Updated 2 years ago
• op-rs / cannon-rs
  An alternative implementation of the OP Stack's Cannon, a MIPS emulator for the EVM.
  ☆63Updated 7 months ago
• Sladuca / sha256-prover-comparison
  Some very rough benchmarks between sha256 circuits in different proving systems
  ☆49Updated 2 years ago
• sambarnes / noir-by-example
  an introduction to noir, with simple examples
  ☆43Updated last year
• zhenfeizhang / pasta-solidity
  A Solidity implementation of Halo2's Pasta curves
  ☆49Updated last year
• leonardoalt / tinyzkevm
  ☆46Updated 3 years ago
• succinctlabs / kzg-rs
  Rust implementation of KZG point evaluation
  ☆30Updated last month
• alloy-rs / rlp
  Fast implementation of Ethereum RLP serialization
  ☆91Updated last month