Jiefeng Li's Projects
Academic Smart Contract Papers. Welcome developers or researchers to add more published papers to this list.
Aderyn π¦ Rust-based Solidity AST analyzer.
Workshop about the different types of reentrancy attacks
Solutions for all things reentrancy
Aptos is a layer 1 blockchain built to support the widespread use of blockchain through better technology and user experience.
Build Abstract Syntax Trees and tree-walking models quickly in Rust.
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.
Ethereum implementation on the efficiency frontier
Overview of the formal verification projects in the Ethereum ecosystem.
Ethernaut puzzles tested in foundry without testenet environment
Better GitHub statistics images for your profile, with stats from private repos too
The goal of this project is to automatically generate stack comments for huff macros
Blazing Fast Bytecode-Level Hybrid Fuzzer for Smart Contracts
[beta] An experimental model checker for LTL written in Rust
A smart-contract api and client for revm
A rust-based mechanical keyboard firmware
δΈδΈͺζΉιζ·»ε ηΈζΊζΊεεζζεζ°ηε·₯ε
·οΌεη»γε―θ½γζ·»ε ε
Άδ»εθ½γ
simple dao implementation in sui move
Static Analyzer for Solidity and Vyper
Solidity, the Smart Contract Programming Language
Sui, a next-generation smart contract platform with high throughput, low latency, and an asset-oriented programming model powered by the Move programming language
simple parser for Yul(Solidity IR), based on lalrpop