Nazgul

Blockchain-Security-Audit-List. A list of Blockchain Security audit companies, solo auditors and location of public audits.

fuzzydefi. Pre-built security properties for commonly forked DeFi protocols

Blockchain-Security-Library. A library of blockchain security resources for various categories in blockchain.

Becoming-An-Ethernaut-Commander. Walkthrough of the Ethernaut smart contract security challenges

carex-trailofbits-Echidna. CAREX Echidna workshop with Trail of Bits.

EVM-Puzzle-Solutions. Solutions and hints to Franco Victorio's evm-puzzles

Capture-The-Ether-Walkthrough-. This is a walkthrough for Capture The Ether challenges.

halmos-solady. Formally verifying consistency between Solmate and Solady using Halmos