jf-li00

Academic_Smart_Contract_Papers

Academic Smart Contract Papers. Welcome developers or researchers to add more published papers to this list.

aderyn

Aderyn 🦜 Rust-based Solidity AST analyzer.

all-things-reentrancy

Workshop about the different types of reentrancy attacks

all-things-reentrancy-solution

Solutions for all things reentrancy

aptos-core

Aptos is a layer 1 blockchain built to support the widespread use of blockchain through better technology and user experience.

astmaker

Build Abstract Syntax Trees and tree-walking models quickly in Rust.

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.

ethernaut-foundry

Ethernaut puzzles tested in foundry without testenet environment

jf-li00

yul-revert-reason-extractor

Extract yul revert reason from the solidity repo

jf-li00/all-things-reentrancy-solution

Solutions for all things reentrancy

jf-li00/ethernaut-foundry

Ethernaut puzzles tested in foundry without testenet environment

jf-li00/yul-revert-reason-extractor

Extract yul revert reason from the solidity repo

jf-li00/Academic_Smart_Contract_Papers

Academic Smart Contract Papers. Welcome developers or researchers to add more published papers to this list.

jf-li00/aderyn

Aderyn 🦜 Rust-based Solidity AST analyzer.

jf-li00/all-things-reentrancy

Workshop about the different types of reentrancy attacks

jf-li00/aptos-core

Aptos is a layer 1 blockchain built to support the widespread use of blockchain through better technology and user experience.

jf-li00/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.

jf-li00/ethereum_formal_verification_overview

Overview of the formal verification projects in the Ethereum ecosystem.

jf-li00/jf-li00

jf-li00/ChainWalker

Rapid Smart Contract Crawler

jf-li00/ethereum-etl-accelerator

Using output sharding to accelerate ethereum etl

jf-li00/evm-glue

jf-li00/github-stats

Better GitHub statistics images for your profile, with stats from private repos too

jf-li00/go-ethereum

Go implementation of the Ethereum protocol

jf-li00/huff-stacker

The goal of this project is to automatically generate stack comments for huff macros

jf-li00/ityfuzz

Blazing Fast Bytecode-Level Hybrid Fuzzer for Smart Contracts

jf-li00/ityfuzz-docs

jf-li00/letsmove

jf-li00/ltl2ba-json

jf-li00/mcltl-rs

[beta] An experimental model checker for LTL written in Rust

jf-li00/move

jf-li00/revmup

A smart-contract api and client for revm

jf-li00/rumcake

A rust-based mechanical keyboard firmware

jf-li00/semi-utils

一个批量添加相机机型和拍摄参数的工具，后续「可能」添加其他功能。

jf-li00/slither

Static Analyzer for Solidity and Vyper

jf-li00/solidity

Solidity, the Smart Contract Programming Language

jf-li00/sui

Sui, a next-generation smart contract platform with high throughput, low latency, and an asset-oriented programming model powered by the Move programming language

jf-li00/wasai-sample

jf-li00/yul-parser

simple parser for Yul(Solidity IR), based on lalrpop