EVM Security

Opinionated security and code quality standard for Solidity smart contracts.

A formal model of the EVM in the K framework.

A comprehensive list of common smart contract security vulnerabilities, compiled from various sources.

Opinionated recommendations that the team at Nascent find to be appropriate, particularly for teams developing and managing early versions of a protocol.

Trail of Bits' guidelines and best practices on how to write secure smart contracts.

An effort to identify deployed contracts instances given their chain and address, by listing the project they belong to.

Blockchain security Capture the Flag (CTF) competitions.

Vulnerabilities in ERC20 Smart Contracts With Tokens Affected.

Cryptoeconomic research and learning materials.

A curated list of awesome things related to learning Zero-Knowledge Proofs (ZKP).

Curated DeFI & Blockchain research papers and tools.