sbip-sg / CuEVMLinks
Cuda implementation of EVM bytecode executor
β111Updated 7 months ago
Alternatives and similar repositories for CuEVM
Users that are interested in CuEVM are comparing it to the libraries listed below
Sorting:
- ππͺ evm-bench is a suite of Ethereum Virtual Machine stress tests and benchmarks.β213Updated last week
- Benchmark Generator for Smart-Contract Fuzzersβ138Updated 7 months ago
- β116Updated 3 months ago
- JIT and AOT compiler for the Ethereum Virtual Machine, built on Revm.β239Updated 6 months ago
- β81Updated 6 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β¦β143Updated last year
- Verified Ethereum Smart Contract datasetβ29Updated last year
- A Symbolic Ethereum Virtual Machine (EVM) bytecode interpreter, parser and decompiler, along with several other utils for programmaticallβ¦β94Updated 4 months ago
- Symbolic stack CFG generator for EVMβ185Updated 5 months ago
- Barebones Solidity smart contract fuzzerβ96Updated 3 years ago
- A smart contract security search utilityβ74Updated 7 months ago
- β17Updated 10 months ago
- Symbolic execution engine written in Solidity, based on Difference Logic.β111Updated 2 years ago
- Girl Friend <- Generate Foundry Fork Test from Attack Transactionβ120Updated 11 months ago
- Generate invariants for Foundry projects with LLMβ100Updated 11 months ago
- Automated verification of uniqueness property for ZKP circuitsβ84Updated last year
- A tool that performs extraction of storage layouts based on EVM bytecode.β145Updated last year
- Zero-Knowledge Universityβ33Updated 11 months ago
- β81Updated last year
- Validation code for the EOF specificationβ57Updated 3 months ago
- Public infra related to hosting Paradigm CTFβ113Updated last year
- A curated list of awesome security resources for ZK.β88Updated 2 weeks ago
- PoC of KyberSwap double liquidity add exploitβ43Updated last year
- β89Updated 4 months ago
- β93Updated last year
- reproduce kyber-elastic exploitβ75Updated last year
- Implementation of zero knowledge proof protocol - Groth16, Plonk. For education purposes. Not a production ready code.β78Updated last year
- A curated list of awesome resources related to SP1 - Succinct's zkVM.β111Updated 4 months ago
- β46Updated last year
- CTF Writeupsβ36Updated last year