The smart contract security training ground for developers, security researchers and educators.

Pre-built security properties for common Ethereum operations

weird erc20 tokens

Ethereum smart contract fuzzer

A repo to showcase web3 hacks

A chronological and (hopefully) complete list of reentrancy attacks to date.

Aderyn 🦜 Rust-based Solidity AST analyzer.

Demystifying Exploitable Bugs in Smart Contracts

OpenZeppelin Contracts is a library for secure smart contract development.

The ultimate, most advanced, security, DeFi, assembly, web3 auditor course ever created.

Static Analyzer for Solidity and Vyper

A collection of practical security-focused guides and checklists for smart contract development

The Ethereum Improvement Proposal repository

Open source forkable Ethereum dev stack