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
- Symbolic EVM in Rust (WIP)☆86Updated last year
- ☆37Updated 3 years ago
- ☆18Updated last year
- ☆81Updated 6 months ago
- A standalone consensus networking service for listening to events☆53Updated 2 years ago
- Minimal Yul Transpilation to the Miden VM☆53Updated 2 years ago
- A smart-contract api and client for revm☆17Updated 2 years ago