sbip-sg / CuEVMLinks
Cuda implementation of EVM bytecode executor
β115Updated 9 months ago
Alternatives and similar repositories for CuEVM
Users that are interested in CuEVM are comparing it to the libraries listed below
Sorting:
- β117Updated 5 months ago
- ππͺ evm-bench is a suite of Ethereum Virtual Machine stress tests and benchmarks.β216Updated last week
- β82Updated 8 months ago
- A Symbolic Ethereum Virtual Machine (EVM) bytecode interpreter, parser and decompiler, along with several other utils for programmaticallβ¦β98Updated 6 months ago
- Symbolic execution engine written in Solidity, based on Difference Logic.β111Updated 3 years ago
- Benchmark Generator for Smart-Contract Fuzzersβ138Updated last week
- JIT and AOT compiler for the Ethereum Virtual Machine, built on Revm.β242Updated 8 months ago
- A mutation testing tool for Solidity Smart Contractsβ82Updated 5 months ago
- Automated verification of uniqueness property for ZKP circuitsβ88Updated last year
- β16Updated last year
- Symbolic stack CFG generator for EVMβ187Updated 8 months ago
- Generate invariants for Foundry projects with LLMβ101Updated last year
- EVM ByteCode To Opcode Disassemblerβ62Updated 10 months ago
- A smart contract security search utilityβ74Updated 9 months ago
- Zero-Knowledge Universityβ33Updated last year
- A curated list of awesome security resources for ZK.β90Updated last month
- EDB: The Ethereum Project Debuggerβ244Updated last week
- A tool that performs extraction of storage layouts based on EVM bytecode.β145Updated last year
- Barebones Solidity smart contract fuzzerβ96Updated 3 years ago
- Girl Friend <- Generate Foundry Fork Test from Attack Transactionβ123Updated last year
- Public infra related to hosting Paradigm CTFβ114Updated last year
- Playing with zero-knowledge proof languagesβ106Updated 2 years ago
- β84Updated last year
- A Solidity interpreterβ70Updated last month
- Using mutations to improve specs and test suitesβ192Updated 4 months ago
- VSCode extension for debugging Solidity using Simbolik API serverβ46Updated 2 weeks ago
- β83Updated this week
- Tool and testing methodology for subjecting blockchain devnets to simulated network and side channel attacksβ75Updated 3 months ago
- β46Updated 2 years ago
- PoC of KyberSwap double liquidity add exploitβ43Updated 2 years ago