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/OpenTracer
An Ethereum Dynamic Analyzer, a.k.a, open-sourced transaction explorer similar to Phalcon/EthTx/TxTracer
jeffchen006/nft-empirical-study
jeffchen006/Trace2Inv-Artifact-FSE24
jeffchen006/Forking-Exploit-Transaction-between-Blockchains
A demo showing how we can replicate exploit transactions from one EVM-compatible blockchain to another EVM-compatible blockchain
jeffchen006/jeffchen006.github.io
This is my personal website
jeffchen006/awesome-zkvm
A curated list of zkVM, zero-knowledge virtual machine
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/circom
zkSnark circuit compiler
jeffchen006/collatz
jeffchen006/course-assignment
jeffchen006/CSC2231-Project-Proposal
jeffchen006/DeepSeek-Prover-V1.5
jeffchen006/eldarica
The Eldarica model checker
jeffchen006/execution-specs
Specification for the Execution Layer. Tracking network upgrades.
jeffchen006/Follow
🧡 Follow your favorites in one inbox
jeffchen006/foundry
Foundry is a blazing fast, portable and modular toolkit for Ethereum application development written in Rust.
jeffchen006/group-website
jeffchen006/heimdall-rs
Heimdall is an advanced Ethereum smart contract toolkit for forensic and heuristic analysis.
jeffchen006/jellyfish
A Rust Implementation of the PLONK ZKP System and Extensions
jeffchen006/jolt
The simplest and most extensible zkVM. Fast and fully open source from a16z crypto and friends. ⚡
jeffchen006/kona
A suite of `no_std` components for the OP Stack state transition function and L2 chain derivation.
jeffchen006/LLM-PLSE-paper
jeffchen006/lz4
Extremely Fast Compression algorithm
jeffchen006/magi
A blazing fast OP Stack rollup client written in Rust
jeffchen006/Nova
Nova: High-speed recursive arguments from folding schemes
jeffchen006/risc0-benches
jeffchen006/ZKAP
jeffchen006/zkevm-specs
jeffchen006/zkp-academy
A month-long zkp study group, one topic at a time.
jeffchen006/ZPrize-23-Prize1