Alternatives and similar repositories for ream-study-group

Users that are interested in ream-study-group are comparing it to the libraries listed below

• blockblaz / zeam
  Ethereum Lean client in Zig (wip)
  ☆77Updated this week
• ReamLabs / ream
  ream: an Ethereum Lean client written in Rust
  ☆120Updated this week
• eth-act / ere
  Unified zkVM Interface & Toolkit
  ☆56Updated this week
• laudiacay / barustenberg
  barretenburg in rust (here we go)
  ☆99Updated last year
• erhant / moonmath
  Solutions to exercises from MoonMath Manual to zkSNARKs.
  ☆87Updated 11 months ago
• thor314 / circuit-examples
  Circuit examples for ZK Hack Lisbon 2023 in Circom, Noir, Risc-0
  ☆78Updated last year
• lambdaclass / ethlambda
  Minimalist, fast and modular implementation of the Lean Ethereum client written in Rust
  ☆34Updated last week
• gakonst / awesome-sp1
  A curated list of awesome resources related to SP1 - Succinct's zkVM.
  ☆110Updated 8 months ago
• arnaucube / awesome-circom
  A curated list of repos related to Circom
  ☆103Updated 2 years ago
• microbecode / zk-languages
  Introduction to various ZK languages
  ☆87Updated 3 months ago
• brevis-network / pico
  ☆91Updated this week
• getZeFi / circomjs
  CircomJS is a javascript framework that allows you to automate your Circom workflow in pure javascript.
  ☆49Updated 2 years ago
• erhant / circomkit
  A testing & development environment for Circom.
  ☆117Updated 4 months ago
• boundless-xyz / kailua
  The Ultimate ZK Proving Software Suite for Securing OP Rollups
  ☆63Updated this week
• 0xPolygonHermez / zisk
  ☆159Updated this week
• eth-act / zkevm-book
  Ethereum zkEVM book
  ☆78Updated 2 months ago
• Maddiaa0 / honk-verifier
  Honk Verifier in Solidity
  ☆50Updated last year
• aragonzkresearch / noir-trie-proofs
  ☆70Updated last year
• grandinetech / rust-kzg
  Parallelized multi-backend KZG library for Ethereum Data Sharding (aka Proto-Danksharding, EIP-4844)
  ☆131Updated last week
• plume-sig / zk-nullifier-sig
  Implementation of ERC 7524 - PLUME for ECDSA Nullifiers
  ☆139Updated 6 months ago
• valida-xyz / valida-compiler
  Old, obsolete version of the Valida compiler; its replacement will become public later
  ☆51Updated 2 years ago
• zkCollective / zk-Harness
  Benchmarking framework for general purpose zero-knowledge proofs languages and libraries
  ☆102Updated last year
• axiom-crypto / axiom-eth
  ☆94Updated last year
• geometryxyz / semacaulk
  Gas-efficient and blazing fast proving for private signaling
  ☆81Updated last year
• a16z / zkvm-benchmarks
  Benchmarks of popular zkVMs including Jolt
  ☆63Updated last year
• summa-dev / summa-solvency
  Monorepo for Summa Proof of Solvency Protocol
  ☆98Updated last year
• MatteoMer / any-zkvm
  A rust template that allows any rust dev to easily develop an app made for a zkVM, but abstracting which one to use
  ☆54Updated 8 months ago
• stateless-consensus / phant
  A stateless Ethereum execution client
  ☆33Updated 10 months ago
• thor314 / pebble-stark
  A community-developed re-implementation of the Starkware Stone Prover
  ☆69Updated last year
• erhant / crypto-notes
  My notes related to Cryptography & Zero-Knowledge.
  ☆48Updated 8 months ago