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
  ☆75Updated last year
• sbip-sg / CuEVM
  Cuda implementation of EVM bytecode executor
  ☆105Updated 3 months ago
• nulltea / zk-SQL
  ZK-based engine for self-sovereign SQL queries
  ☆89Updated 2 years ago
• ChainSafe / nodewatch-api
  A devp2p crawler targeted at Eth2 nodes
  ☆59Updated last year
• paradigmxyz / jitevm
  convert evm bytecode to native machine code and go vroom - just an experiment, probably broken, reach out to georgios@paradigm.xyz to con…
  ☆143Updated 9 months ago
• brockelmore / solvm
  evm inception: the evm inside the evm via yul and solidity
  ☆227Updated last year
• barryWhiteHat / roll_up_token
  yellow paper for roll_up token
  ☆67Updated 5 years ago
• ChihChengLiang / poseidon-tornado
  ☆89Updated 3 years ago
• aragon / evm-storage-proofs
  Trustlessly prove a past storage value in a contract to other contracts
  ☆146Updated 2 years ago
• daejunpark / evm-disassembler
  EVM ByteCode To Opcode Disassembler
  ☆61Updated 4 months ago
• leonardoalt / yools
  Tools for Yul.
  ☆138Updated 2 years ago
• 0xPARC / zk-group-sigs
  group signatures implemented with zkSNARKs
  ☆86Updated 3 years ago
• banteg / storage-layout
  readable evm state diffs, enumerate full contract storage
  ☆135Updated last year
• ethdebug / solidity-data-representation
  Paper: Data Representation in Solidity
  ☆60Updated last year
• MariusVanDerWijden / tx-fuzz
  ☆107Updated 2 months ago
• costa-group / gasol-optimizer
  ☆108Updated last week
• leonardoalt / dl_symb_exec_sol
  Symbolic execution engine written in Solidity, based on Difference Logic.
  ☆111Updated 2 years ago
• summa-tx / memview-sol
  Memory access with runtime typechecking in Solidity
  ☆73Updated last year
• iden3 / circuits
  Circom circuits used by the iden3 core protocol.
  ☆89Updated 2 weeks ago
• gio256 / erigon-db
  Fully typed access to the Erigon db in rust
  ☆103Updated 2 years ago
• ziyadedher / evm-bench
  🚀🪑 evm-bench is a suite of Ethereum Virtual Machine stress tests and benchmarks.
  ☆212Updated last month
• leonardoalt / tinyzkevm
  ☆46Updated 3 years ago
• flashbots / mev-flood
  simulates MEV activity from an array of unique searchers; used for testing infra
  ☆122Updated 7 months ago
• Mikerah / solidity-bugs-and-vulns-in-yul
  ☆90Updated 4 years ago
• hashcloak / flashbots-privacy
  Practical Experiments on how to add complete privacy to flashbots
  ☆48Updated 5 months ago
• hananbeer / evm2
  e=vm² (pronounced evm-squared; the = is silent) is an evm that runs inside evm.
  ☆91Updated 2 years ago
• flashbots / suapp-examples
  SUAVE Application Examples
  ☆57Updated 4 months ago
• jefflau / zk-identity
  ☆20Updated 3 years ago
• Veridise / Medjai
  A Symbolic Execution Tool for Cairo
  ☆51Updated 2 years ago
• ipsilon / eof
  Validation code for the EOF specification
  ☆54Updated last week