Alternatives and similar repositories for powdr-brainfuck

Users that are interested in powdr-brainfuck are comparing it to the libraries listed below

• ZeroSync / giza
  A Cairo VM prover implemented using Winterfell
  ☆16Updated 2 years ago
• lita-xyz / reva
  A minimal implementation of ZKPs of Ethereum block execution using Reth. Supports both Ethereum and OP Stack.
  ☆14Updated last week
• Gaon3 / ethers-literal
  ☆14Updated last year
• rkrasiuk / op-reth
  ☆23Updated 2 years ago
• powdr-labs / powdr-revme
  powdr application running Ethereum tests via revm
  ☆18Updated last year
• nerolation / eth-gas-limit-analysis
  This repo hosts the code for an analysis on Ethereum gas limit.
  ☆18Updated last year
• proxima-one / kzg
  a simple implementation of the KZG polynomial commitment scheme
  ☆25Updated 3 years ago
• quilt / etk-foundry-template
  etk-Foundry project template
  ☆21Updated 2 years ago
• perama-v / archors
  A tool for single Ethereum archival block state proofs.
  ☆35Updated last year
• astriaorg / sequencer-relayer
  relays blocks from the shared sequencer to the DA layer
  ☆27Updated 2 years ago
• rkrasiuk / reth-light
  ☆23Updated 2 years ago
• nikkolasg / halo2-circuits
  ☆28Updated 3 years ago
• rkdud007 / alloy-merkle-tree
  Minimal Merkle Tree implementations
  ☆30Updated 2 weeks ago
• refcell / varro
  A persistent, robust, and composable proposal service for rollup stacks written in pure rust.
  ☆18Updated 2 years ago
• oana-barbu / mev-bootee
  Partial Block Building with TEEs
  ☆17Updated last year
• lyronctk / kzg-blob
  Prove multi-opens of EIP-4844 KZG blobs
  ☆14Updated 2 years ago
• fluidex / solidity_recursive_plonk_verifier
  Solidity verifier for Recursive Proof Composition using Plonk
  ☆12Updated 3 years ago
• willemolding / eth-lightclient-rs
  A crate for working with Ethereum beacon chain light client protocol messages. `no_std` friendly!
  ☆13Updated 2 years ago
• clabby / op-reth
  ☆17Updated 2 years ago
• lightclient / 4788asm
  Assembly implementation of EIP-4788 system contract.
  ☆23Updated 10 months ago
• noir-lang / acvm-backend-barretenberg
  ☆39Updated last year
• odradev / evm-at-risc0
  ☆17Updated 2 years ago
• S1nus / blevm
  celestia blobs, evm execution
  ☆20Updated 4 months ago
• ChainSafe / das-prototype
  Research prototypes of Data Availability Sampling for Ethereum (WIP)
  ☆16Updated 2 years ago
• Maddiaa0 / solidity-circuits
  Write Zero Knowledge Circuits in Solidity
  ☆13Updated last year
• hrkrshnn / ethccgame
  ☆13Updated 2 years ago
• Rjected / erc3770
  ERC-3770
  ☆18Updated 11 months ago
• horsefacts / huff-test
  Better assertion macros for pure Huff tests.
  ☆19Updated last year
• nomad-xyz / safe-sdk
  Gnosis Safe Tx Service API client & associated tooling
  ☆20Updated 2 years ago
• vorot93 / otterscan-rs
  Rust wrapper for Otterscan, fast, local and privacy-friendly block explorer.
  ☆24Updated 2 years ago