Alternatives and similar repositories for Forerunner

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

• flashbots / geth-sgx-gramine
  Geth-in-SGX provides an example of running go-ethereum in SGX
  ☆76Updated last year
• sbip-sg / CuEVM
  Cuda implementation of EVM bytecode executor
  ☆116Updated last year
• ziyadedher / evm-bench
  🚀🪑 evm-bench is a suite of Ethereum Virtual Machine stress tests and benchmarks.
  ☆218Updated this week
• brockelmore / solvm
  evm inception: the evm inside the evm via yul and solidity
  ☆227Updated 2 years ago
• AztecProtocol / weierstrudel
  Huff implementation of the bn254 curve, for Ethereum smart contracts
  ☆115Updated 6 years ago
• ethdebug / solidity-data-representation
  Paper: Data Representation in Solidity
  ☆62Updated 2 years ago
• daejunpark / evm-disassembler
  EVM ByteCode To Opcode Disassembler
  ☆62Updated last year
• costa-group / gasol-optimizer
  ☆110Updated 2 months ago
• leonardoalt / dl_symb_exec_sol
  Symbolic execution engine written in Solidity, based on Difference Logic.
  ☆111Updated 3 years ago
• 0xPARC / zk-group-sigs
  group signatures implemented with zkSNARKs
  ☆85Updated 4 years ago
• leonardoalt / tinyzkevm
  ☆46Updated 4 years ago
• banteg / storage-layout
  readable evm state diffs, enumerate full contract storage
  ☆137Updated 2 years ago
• ethpandaops / assertoor
  Ethereum Testnet Testing Tool
  ☆66Updated this week
• ethereum / evmdasm
  A lightweight ethereum evm bytecode instruction registry, disassembler and evmcode manipulation library
  ☆59Updated 2 years ago
• dialecticch / sibyl
  An easy tool to apply transactions to the current EVM state. Optimized for MEV.
  ☆78Updated 4 years ago
• hashcloak / flashbots-privacy
  Practical Experiments on how to add complete privacy to flashbots
  ☆48Updated last year
• imapp-pl / gas-cost-estimator
  ☆61Updated 4 months ago
• summa-tx / memview-sol
  Memory access with runtime typechecking in Solidity
  ☆76Updated 2 years ago
• flashbots / block-validation-geth
  To be deprecated in favor of https://github.com/flashbots/builder
  ☆45Updated 2 years ago
• OpenZeppelin / solidity-ast
  TypeScript types and a JSON Schema for the Solidity AST
  ☆97Updated last month
• runtimeverification / publications
  Publications of Runtime Verification, Inc.
  ☆93Updated 4 months ago
• Mikerah / solidity-bugs-and-vulns-in-yul
  ☆91Updated 4 years ago
• aragon / evm-storage-proofs
  Trustlessly prove a past storage value in a contract to other contracts
  ☆145Updated 2 years ago
• flashbots / mev-flood
  simulates MEV activity from an array of unique searchers; used for testing infra
  ☆123Updated last year
• sigp / blockprint
  DEPRECATED block fingerprinting
  ☆95Updated 5 months ago
• spalladino / zkp-tests
  Playing with zero-knowledge proof languages
  ☆107Updated 3 years ago
• ethereum / distributed-validator-specs
  Ethereum Distributed Validator Specifications
  ☆87Updated 3 years ago
• nulltea / zk-SQL
  ZK-based engine for self-sovereign SQL queries
  ☆90Updated 3 years ago
• leonardoalt / yools
  Tools for Yul.
  ☆138Updated 2 years ago
• darkforest-eth / circuits
  Dark Forest zkSNARK circuits
  ☆122Updated 2 years ago