Template repository intended to ease fuzzing components of Solidity projects, especially libraries.

Semgrep rules for smart contracts based on DeFi exploits

Mutation Testing for Ethereum Smart Contracts

Overview of the formal verification projects in the Ethereum ecosystem.

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

A Solidity static analyzer to identify contract vulnerabilities and gas efficiencies.

Smart Contract Security Verification Standard

A tool for analyzing the security and parameters of a solidity smart contract

Cryptographic Primitives for Blockchain Systems (solidity, cairo, C and rust)