#
Lists (3)
Starred repositories
AChecker (Access Control Checker) is an automated static analysis tool for detecting access control vulnerabilities in smart contracts.
A continuously updated collection of CodeLLM papers maintained by PurCL group @ Purdue
🚀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.
持续分享/翻译 AI 领域的优秀内容，帮你征服 AI，Just beat it! 欢迎 star 订阅.
Circom circuits of Ethereum arithmetic and bitwise operators
Noir is a domain specific language for zero knowledge proofs
Multi-agent framework for design, simulation, and auditing.
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
flashbots / mev-geth
Forked from ethereum/go-ethereumGo implementation of MEV-Auction for Ethereum
Huff极简教程，学习编写优化的智能合约。Minimal tutorials for Huff to write optimized smart contracts.