Alternatives and similar repositories for symbolic-stack-machines:

Users that are interested in symbolic-stack-machines are comparing it to the libraries listed below

• williamberman / evm-symbolic-execution
  ☆37Updated 3 years ago
• WilfredTA / ser
  Symbolic EVM in Rust (WIP)
  ☆86Updated last year
• Philogy / evm-glue
  ☆81Updated 2 months ago
• EVM-SMT / solver
  proof first, evm specific smt solver
  ☆69Updated 3 years ago
• dragonfly-xyz / nottingham-contracts
  ☆18Updated 9 months ago
• ultrasoundmoney / mev-analysis
  Supporting code for relay.ultrasound.money
  ☆24Updated last month
• 0xalpharush / fuzzing-like-a-degen
  Barebones Solidity smart contract fuzzer
  ☆94Updated 2 years ago
• meoawtistic / ruff
  ☆37Updated 2 years ago
• 0xMelkor / mev-price-prediction
  An MEV back-running template for ethers-rs
  ☆72Updated 2 years ago
• Jeiwan / uniswapv3-unrefunded-eth-poc
  ☆40Updated 2 years ago
• Lilyjjo / tldr-research
  Suave/TEE PoCs of MEV Resistant AMMs
  ☆39Updated 2 months ago
• meppent / pellucid
  An EVM decompiler written in Rust.
  ☆46Updated 2 years ago
• cairoeth / sp1-eof
  EOF (EVM Object Format) performance benchmarks for the EVM & SP1 🏎️
  ☆32Updated 6 months ago
• davebryson / revmup
  A smart-contract api and client for revm
  ☆18Updated last year
• chainbound / consentry
  A standalone consensus networking service for listening to events
  ☆54Updated last year
• franck44 / evm-dis
  An EVM bytecode disassembler/assembler
  ☆46Updated 3 months ago
• refcell / archon
  An efficient, robust, and generalized batch submission service for rollup stacks written in pure rust.
  ☆91Updated last year
• Veridise / Medjai
  A Symbolic Execution Tool for Cairo
  ☆51Updated 2 years ago
• alloy-rs / evm
  ☆53Updated last week
• leonardoalt / dl_symb_exec_sol
  Symbolic execution engine written in Solidity, based on Difference Logic.
  ☆111Updated 2 years ago
• gakonst / rust-ethereum-book
  Book showing how to interact with Ethereum from Rust
  ☆42Updated 3 years ago
• ControlCplusControlV / Scribe
  Minimal Yul Transpilation to the Miden VM
  ☆53Updated 2 years ago
• axic / yultsur
  Yultsur is a Rust implementation of Yul.
  ☆58Updated 2 years ago
• franz101 / mev-olympics
  MEV Olympics
  ☆45Updated 4 months ago
• ChainSecurity / TSTORE-Low-Gas-Reentrancy
  Novel reentrancy attack on Ethereum Smart Contracts using Transient Storage and little gas
  ☆14Updated last year
• jtriley2p / huff-style-guide
  A mostly mostly reasonable approach to Huff styling.
  ☆80Updated last year
• crytic / tayt
  StarkNet smart contract fuzzer
  ☆78Updated 2 years ago
• statechannels / bytecode-debugger
  A simple EVM bytecode debugger
  ☆19Updated 3 years ago
• gakonst / ethers-fireblocks
  ethers-rs middleware and signer for Fireblocks' APIs
  ☆49Updated last year
• SorellaLabs / poirot-rs
  A searcher of searchers
  ☆51Updated last year