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
• 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 11 months ago
• leonardoalt / dl_symb_exec_sol
  Symbolic execution engine written in Solidity, based on Difference Logic.
  ☆111Updated 2 years ago
• 0xPARC / zk-group-sigs
  group signatures implemented with zkSNARKs
  ☆86Updated 3 years ago
• ziyadedher / evm-bench
  🚀🪑 evm-bench is a suite of Ethereum Virtual Machine stress tests and benchmarks.
  ☆212Updated this week
• daejunpark / evm-disassembler
  EVM ByteCode To Opcode Disassembler
  ☆61Updated 6 months ago
• leonardoalt / yools
  Tools for Yul.
  ☆138Updated 2 years ago
• brockelmore / solvm
  evm inception: the evm inside the evm via yul and solidity
  ☆228Updated 2 years ago
• aragon / evm-storage-proofs
  Trustlessly prove a past storage value in a contract to other contracts
  ☆146Updated 2 years ago
• ethdebug / solidity-data-representation
  Paper: Data Representation in Solidity
  ☆60Updated last year
• summa-tx / memview-sol
  Memory access with runtime typechecking in Solidity
  ☆74Updated 2 years ago
• ChainSafe / nodewatch-api
  A devp2p crawler targeted at Eth2 nodes
  ☆59Updated last year
• banteg / storage-layout
  readable evm state diffs, enumerate full contract storage
  ☆136Updated last year
• 0xPARC / zkrepl
  An online playground for zero knowledge circuits
  ☆150Updated 11 months ago
• dialecticch / sibyl
  An easy tool to apply transactions to the current EVM state. Optimized for MEV.
  ☆78Updated 3 years ago
• spalladino / zkp-tests
  Playing with zero-knowledge proof languages
  ☆105Updated 2 years ago
• OpenZeppelin / solidity-ast
  TypeScript types and a JSON Schema for the Solidity AST
  ☆95Updated last month
• jefflau / zk-identity
  ☆20Updated 3 years ago
• nulltea / zk-SQL
  ZK-based engine for self-sovereign SQL queries
  ☆90Updated 2 years ago
• AztecProtocol / weierstrudel
  Huff implementation of the bn254 curve, for Ethereum smart contracts
  ☆112Updated 5 years ago
• vocdoni / keccak256-circom
  keccak256 hash implementation in Circom
  ☆79Updated 3 years ago
• Mikerah / solidity-bugs-and-vulns-in-yul
  ☆90Updated 4 years ago
• MariusVanDerWijden / tx-fuzz
  ☆113Updated last month
• Philogy / sstore3
  ☆101Updated last year
• costa-group / gasol-optimizer
  ☆108Updated last week
• iden3 / circuits
  Circom circuits used by the iden3 core protocol.
  ☆89Updated 2 months ago
• flashbots / suapp-examples
  SUAVE Application Examples
  ☆57Updated 6 months ago
• imapp-pl / gas-cost-estimator
  ☆58Updated last week
• hananbeer / evm2
  e=vm² (pronounced evm-squared; the = is silent) is an evm that runs inside evm.
  ☆91Updated 2 years ago
• netbound / p2pflow
  Ethereum p2p traffic analysis with eBPF
  ☆56Updated 3 years ago