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/nft-empirical-study
jeffchen006/Trace2Inv-Invariant-Study-FSE24
jeffchen006/Academic_Smart_Contract_Papers
Academic Smart Contract Papers. Welcome developers or researchers to add more published papers to this list.
jeffchen006/arbiter
Code that runs code that runs code to study how code runs code.
jeffchen006/blockchain_conference_paper
The existing blockchain-related academic papers. All papers are sorted according to the conference and published year. Welcome developers or researchers to add more published papers to this list.
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/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/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/ntptutorial
Tutorial on neural theorem proving
jeffchen006/reth
Modular, contributor-friendly and blazing-fast implementation of the Ethereum protocol, in Rust
jeffchen006/russol-alpha
A tool for synthesis of Rust code, very early prototype
jeffchen006/securify2
Securify v2.0
jeffchen006/slither
Static Analyzer for Solidity and Vyper
jeffchen006/smart-contract-clone-detection
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/temp
jeffchen006/TxSpector
jeffchen006/TxSpectorHelper
jeffchen006/zk-bug-tracker
A community-maintained collection of bugs, vulnerabilities, and exploits in apps using ZK crypto.
jeffchen006/ZKAP
jeffchen006/zkevm-specs
jeffchen006/zkvm-benchmarks
Benchmarks of popular zkVMs including Jolt