sbip-sg / CuEVM
Cuda implementation of EVM bytecode executor
☆86Updated 3 weeks ago
Related projects: ⓘ
- A Symbolic Ethereum Virtual Machine (EVM) bytecode interpreter, parser and decompiler, along with several other utils for programmaticall…☆60Updated this week
- Automated verification of uniqueness property for ZKP circuits☆65Updated 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…☆142Updated 3 months ago
- JIT and AOT compiler for the Ethereum Virtual Machine, built on Revm.☆195Updated last week
- ☆68Updated 2 weeks ago
- Benchmark Generator for Smart-Contract Fuzzers☆121Updated 2 months ago
- Symbolic execution engine written in Solidity, based on Difference Logic.☆108Updated last year
- A Symbolic Execution Tool for Cairo☆48Updated 2 years ago
- 🚀🪑 evm-bench is a suite of Ethereum Virtual Machine stress tests and benchmarks.☆201Updated last week
- A curated list of awesome security resources for ZK.☆58Updated last month
- Ecne: An engine for verifying the soundness of R1CS constraints☆101Updated 2 years ago
- An EVM written with MLIR☆71Updated this week
- Playing with zero-knowledge proof languages☆105Updated last year
- Library for building symbolically executable stack-based virtual machines☆71Updated last year
- PoC Exploit of a soundness bug exploit in the zkSync Era ZK-circuits☆35Updated 10 months ago
- Using mutations to improve specs and test suites☆164Updated 2 weeks ago
- Forerunner: Constraint-based Speculative Transaction Execution for Ethereum☆97Updated 10 months ago
- Zero-Knowledge University☆28Updated last month
- Girl Friend <- Generate Foundry Fork Test from Attack Transaction☆104Updated last month
- Fast paced learning group for ZK enthusiasts focused on circuit development & Security☆34Updated last year
- A tool that performs extraction of storage layouts based on EVM bytecode.☆125Updated 8 months ago
- A curated list of awesome resources related to SP1 - Succinct's zkVM.☆89Updated last month
- ☆60Updated 8 months ago
- Practical examples of the Rust Ethereum Virtual Machine☆49Updated 2 months ago
- ☆21Updated 4 months ago
- PoC of Revm execution in SGX☆78Updated 10 months ago
- An experimental progressive and fast zkRollup written in Rust, focused on performance, modularity, and applying cutting-edge Verifiable C…☆117Updated 4 months ago
- ☆137Updated last month
- StarkNet smart contract fuzzer☆75Updated 2 years ago
- Implementation of zero knowledge proof protocol - Groth16, Plonk. For education purposes. Not a production ready code.☆68Updated 8 months ago