Alternatives and similar repositories for learning:

Users that are interested in learning are comparing it to the libraries listed below

• leonardoalt / powdr-brainfuck
  ZK proofs for Brainfuck execution using powdr
  ☆15Updated 4 months ago
• lambdaclass / starknet_rollup_on_bitcoin
  Soverign rollup based on Rollkit, Cairo VM for the application layer and Bitcoin as a DA layer
  ☆13Updated last year
• mattsse / cairo-lang-rs
  ☆39Updated 2 years ago
• tse-group / goldfish-experiments
  Experiments for "Goldfish: No More Attacks on Proof-of-Stake Ethereum"
  ☆13Updated last year
• realbigsean / mock-relay
  ☆21Updated last year
• perama-v / archors
  A tool for single Ethereum archival block state proofs.
  ☆33Updated last year
• RagePit / micro-rust-evm
  ☆21Updated 2 years ago
• asm-nop / lemma
  ZK Theorem Proving
  ☆10Updated 5 months ago
• zksecurity / pumice
  An API compatible port of the Stone prover.
  ☆19Updated 2 months ago
• ncitron / op-e2e
  An end to end test suite for the OP Stack
  ☆17Updated last year
• Gaon3 / ethers-literal
  ☆14Updated last year
• refcell / varro
  A persistent, robust, and composable proposal service for rollup stacks written in pure rust.
  ☆18Updated last year
• ZeroSync / giza
  A Cairo VM prover implemented using Winterfell
  ☆16Updated last year
• noir-lang / book
  ☆15Updated last year
• lambdaclass / lambdaworks_kzg
  An ABI compatible for KZG EIP-4844 in Rust
  ☆23Updated last year
• transmissions11 / reth-exex-walltime
  wall time exex for reth
  ☆10Updated 5 months ago
• paradigmxyz / state_growth
  ☆15Updated 9 months ago
• rkrasiuk / op-reth
  ☆23Updated last year
• z80dev / puff
  A Huff compiler implemented in Racket
  ☆22Updated 3 weeks ago
• alloy-rs / nybbles
  Efficient nibble-sized (4-bit) byte sequence data structure
  ☆25Updated last week
• NethermindEth / optimized_ecc_cairo
  Cairo implementation of operations over the elliptic curve BLS12-381
  ☆14Updated last year
• noir-lang / acvm-backend-barretenberg
  ☆39Updated last year
• fluidex / solidity_recursive_plonk_verifier
  Solidity verifier for Recursive Proof Composition using Plonk
  ☆12Updated 3 years ago
• primitivefinance / Topological-Data-Analysis
  This repository is for topologic and geometric data analysis.
  ☆13Updated 2 years ago
• kariy / starkmint
  ☆13Updated last year
• PraneshASP / yul2huff
  A simple tool to convert Yul arithmetic expressions to Huff
  ☆14Updated last year
• rkdud007 / alloy-merkle-tree
  Minimal Merkle Tree implementations
  ☆28Updated 3 weeks ago
• Philogy / create3crunch
  A Rust program for finding (salt, nonce)-pairs that create gas-efficient Ethereum addresses via CREATE3.
  ☆18Updated last month
• lita-xyz / valida-rs
  The entry point for Rust projects to be run on Valida
  ☆10Updated last month