jf-li00 Goto Github PK

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.

erigon

Ethereum implementation on the efficiency frontier

ethereum_formal_verification_overview

Overview of the formal verification projects in the Ethereum ecosystem.

ethernaut-foundry

Ethernaut puzzles tested in foundry without testenet environment

evm-glue

github-stats

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

huff-stacker

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

ityfuzz

Blazing Fast Bytecode-Level Hybrid Fuzzer for Smart Contracts

ityfuzz-docs

jf-li00

letsmove

ltl2ba-json

mcltl-rs

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

move

move-unscrambler

revmup

A smart-contract api and client for revm

rumcake

A rust-based mechanical keyboard firmware

semi-utils

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

simple-dao

simple dao implementation in sui move

slither

Static Analyzer for Solidity and Vyper

smartpulsetool

solidity

Solidity, the Smart Contract Programming Language

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

yul-parser

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