WilfredTA / symbolic-stack-machinesLinks
Library for building symbolically executable stack-based virtual machines
☆75Updated 2 years ago
Alternatives and similar repositories for symbolic-stack-machines
Users that are interested in symbolic-stack-machines are comparing it to the libraries listed below
Sorting:
- ☆37Updated 3 years ago
- proof first, evm specific smt solver☆69Updated 3 years ago
- Solidity 0.8.X AST parsing and analysis in Rust.☆78Updated last year
- ☆18Updated last year
- ☆81Updated 6 months ago
- A standalone consensus networking service for listening to events☆53Updated 2 years ago
- A client for the Ethereum beacon node APIs☆39Updated last year
- Rust bindings for Solidity's AST and visitors☆50Updated last year
- Symbolic EVM in Rust (WIP)☆86Updated last year
- ☆102Updated 2 years ago
- Validation code for the EOF specification☆57Updated 4 months ago
- Supporting code for relay.ultrasound.money☆26Updated last week
- Minimal Yul Transpilation to the Miden VM☆52Updated 2 years ago
- EOF (EVM Object Format) performance benchmarks for the EVM & SP1 🏎️☆35Updated 4 months ago
- ☆37Updated 3 years ago
- Yultsur is a Rust implementation of Yul.☆57Updated 3 years ago
- Eclectic notes on static analysis and compilers☆47Updated 3 years ago
- Implementation of ethereum's `ssz`☆106Updated 10 months ago
- Symbolic Execution Benchmarks for Ethereum Smart Contracts☆20Updated last year
- Macros + Primitives for PADE format☆29Updated last month
- Transaction fuzzer on steroids for the Ethereum Protocol☆14Updated 3 months ago
- A Symbolic Execution Tool for Cairo☆16Updated 3 years ago
- rust bindings for various defi projects☆66Updated 3 years ago
- ☆40Updated 3 years ago
- Symbolic execution engine written in Solidity, based on Difference Logic.☆111Updated 2 years ago
- An EVM decompiler written in Rust.☆45Updated 2 years ago
- Fully typed access to the Erigon db in rust☆104Updated 3 years ago
- Formal verification of WETH9.sol with Z3☆58Updated 2 years ago
- Helper functions enabling players to solve past curta puzzles on their own time.☆31Updated 2 years ago
- Hands on Blockchain☆43Updated last year