Pinned Repositories
FlashSyn-Artifact-ICSE24
awesome-solidity-gas-optimization
Best resources for Solidity gas optimizations ⛽
Forking-Exploit-Transaction-between-Blockchains
A demo showing how we can replicate exploit transactions from one EVM-compatible blockchain to another EVM-compatible blockchain
Innocuous-Prompts-Elicit-Malicious-Code
This repo collects a list of developer-style prompts which will trigger LLMs to produce malicious responses
jeffchen006.github.io
This is my personal website
nft-empirical-study
OpenTracer
An Ethereum Dynamic Analyzer, a.k.a, open-sourced transaction explorer similar to Phalcon/EthTx/TxTracer
Trace2Inv-Artifact-FSE24
Trace2Inv-Invariant-Study-FSE24
vyper-select
A tool to quickly switch between Vyper compiler versions. Same usage as solc-select
jeffchen006's Repositories
jeffchen006/vyper-select
A tool to quickly switch between Vyper compiler versions. Same usage as solc-select
jeffchen006/SmartEmbed
A Tool for clone detection and bug detection in smart contracts
jeffchen006/arbiter
Code that runs code that runs code to study how code runs code.
jeffchen006/artemis
A simple, modular, and fast framework for writing MEV bots in Rust.
jeffchen006/audits
jeffchen006/besu
An enterprise-grade Java-based, Apache 2.0 licensed Ethereum client https://wiki.hyperledger.org/display/besu
jeffchen006/cryo
cryo is the easiest way to extract blockchain data to parquet, csv, json, or python dataframes
jeffchen006/etherscan-labels
Full label data dump of top EVM chains in JSON/CSV.
jeffchen006/EtherSolve
Source code of EtherSolve: static analysis of Ethereum bytecode
jeffchen006/ethersplay
EVM dissassembler
jeffchen006/gpt-engineer
Specify what you want it to build, the AI asks for clarification, and then builds it.
jeffchen006/hevm
symbolic EVM evaluator
jeffchen006/ityfuzz
Blazing Fast Hybrid Fuzzer for Smart Contracts
jeffchen006/jeffchen006
jeffchen006/l2-block-explorer-api
The standard for an L2 block explorer API
jeffchen006/learn-evm-attacks
Learn & Contribute on previously exploited vulnerabilities across several EVM projects.
jeffchen006/LibAFL
Advanced Fuzzing Library - Slot your Fuzzer together in Rust! Scales across cores and machines. For Windows, Android, MacOS, Linux, no_std, ...
jeffchen006/mythril
Security analysis tool for EVM bytecode. Supports smart contracts built for Ethereum, Hedera, Quorum, Vechain, Roostock, Tron and other EVM-compatible blockchains.
jeffchen006/ntptutorial
Tutorial on neural theorem proving
jeffchen006/reth
Modular, contributor-friendly and blazing-fast implementation of the Ethereum protocol, in Rust
jeffchen006/revm
Revolutionary Machine (revm) is a fast Ethereum virtual machine written in rust.
jeffchen006/russol-alpha
A tool for synthesis of Rust code, very early prototype
jeffchen006/securify2
Securify v2.0
jeffchen006/smart-contract-clone-detection
jeffchen006/smart-contract-sanctuary-bsc
🐦🌴🌴🌴🦕 A home for ethereum smart contracts. 🏠
jeffchen006/souffle
Soufflé is a variant of Datalog for tool designers crafting analyses in Horn clauses. Soufflé synthesizes a native parallel C++ program from a logic specification.
jeffchen006/storage-layout-extractor
A tool that performs extraction of storage layouts based on EVM bytecode.
jeffchen006/surya
A set of utilities for exploring Solidity contracts
jeffchen006/TxSpector
jeffchen006/zkp-course-lecture3-code