AChecker (Access Control Checker) is an automated static analysis tool for detecting access control vulnerabilities in smart contracts.

🚀AI拟声: 5秒内克隆您的声音并生成任意语音内容 Clone a voice in 5 seconds to generate arbitrary speech in real-time

Re-entrancy attack patterns from our paper "Sereum: Protecting Existing Smart Contracts Against Re-Entrancy Attacks"

semantic similarity framework for knowledge graph

A curated list of awesome symbolic execution resources including essential research papers, lectures, videos, and tools.

A Symbolic Ethereum Virtual Machine (EVM) bytecode interpreter, parser and decompiler, along with several other utils for programmatically extracting information from EVM bytecode.

Formal methods training program with an emphasis on software in the blockchain & decentralized financed (DeFi) industry

SmartBugs: A Framework to Analyze Ethereum Smart Contracts

Getting started with static program analysis. 静态程序分析入门教程。

Modular, contributor-friendly and blazing-fast implementation of the Ethereum protocol, in Rust

🌴 Empowering everyone to build reliable and efficient smart contracts.

<Beat AI> 又名 <零生万物> , 是一本专属于软件开发工程师的 AI 入门圣经，手把手带你上手写 AI。从神经网络到大模型，从高层设计到微观原理，从工程实现到算法，学完后，你会发现 AI 也并不是想象中那么高不可攀、无法战胜，Just beat it !

Circom circuits of Ethereum arithmetic and bitwise operators

Noir is a domain specific language for zero knowledge proofs

A toolbox for zkSNARKs on Ethereum

A blazing-fast Ethereum sandbox that lets developers orchestrate event-driven simulations.

WTF Solidity 极简入门教程，供小白们使用。Now supports English! 官网: https://wtf.academy

A practical example on how to perform sandwich attacks on Ethereum

Collect CTFs related to evm, and provide solutions, using Foundry. 收集 EVM 类的 CTF 挑战，并提供解决方案。

Tool to simulate EVM blockchain transactions output and effects without actually executing them on the network

A blazingly fast in-memory Ethereum Virtual Machine (EVM) emulator written in Rust

Foundry is a blazing fast, portable and modular toolkit for Ethereum application development written in Rust.

A "Type 0" zkEVM. Prove validity of Ethereum blocks using RISC Zero's zkVM

Go implementation of MEV-Auction for Ethereum

A little fast cloc(Count Lines Of Code)

Huff极简教程，学习编写优化的智能合约。Minimal tutorials for Huff to write optimized smart contracts.