sbip-sg / CuEVM
Cuda implementation of EVM bytecode executor
☆107Updated 4 months ago
Alternatives and similar repositories for CuEVM
Users that are interested in CuEVM are comparing it to the libraries listed below
Sorting:
- A Symbolic Ethereum Virtual Machine (EVM) bytecode interpreter, parser and decompiler, along with several other utils for programmaticall…☆91Updated 2 months ago
- convert evm bytecode to native machine code and go vroom - just an experiment, probably broken, reach out to georgios@paradigm.xyz to con…☆142Updated 10 months ago
- 🚀🪑 evm-bench is a suite of Ethereum Virtual Machine stress tests and benchmarks.☆212Updated this week
- JIT and AOT compiler for the Ethereum Virtual Machine, built on Revm.☆233Updated 3 months ago
- Generate invariants for Foundry projects with LLM☆98Updated 8 months ago
- Girl Friend <- Generate Foundry Fork Test from Attack Transaction☆120Updated 8 months ago
- Symbolic execution engine written in Solidity, based on Difference Logic.☆111Updated 2 years ago
- Symbolic stack CFG generator for EVM☆184Updated 3 months ago
- A smart contract security search utility☆74Updated 4 months ago
- Benchmark Generator for Smart-Contract Fuzzers☆137Updated 5 months ago
- Verified Ethereum Smart Contract dataset☆30Updated last year
- ☆111Updated last month
- A tool that performs extraction of storage layouts based on EVM bytecode.☆140Updated last year
- Challenges and Solutions of Blaz CTF 2023☆44Updated last year
- 🔆🔎👀 Smart Contract Storage Viewer, DataType Guesser, Toolbox & Transaction Decoder☆118Updated last year
- List of Halmos resources.☆54Updated 3 months ago
- Using mutations to improve specs and test suites☆186Updated this week
- 🦠🔬 Forta bot that detects deployment of smart contracts containing exploits☆50Updated last year
- ☆81Updated 3 months ago
- Automated verification of uniqueness property for ZKP circuits☆76Updated last year
- Public infra related to hosting Paradigm CTF☆111Updated last year
- Reveal unused code of a live smart contract by collecting coverage from historical transactions.☆71Updated last year
- Numen Cyber Smart Contract CTF☆46Updated 2 years ago
- ☆76Updated last year
- A modular tool to track anything on the EVM chain, including real-time tracking and alerts.☆142Updated 4 months ago
- Database of public audits made by ABDK Consulting☆78Updated 2 weeks ago
- A curated list of awesome ton security resources☆34Updated this week
- Pre-built security properties for commonly forked DeFi protocols☆195Updated last year
- ☆87Updated 2 months ago
- PoC of KyberSwap double liquidity add exploit☆43Updated last year