Pinned Repositories
Becoming-An-Ethernaut-Commander
Walkthrough of the Ethernaut smart contract security challenges
Blockchain-Security-Audit-List
A list of Blockchain Security audit companies, solo auditors and location of public audits.
Blockchain-Security-Library
A library of blockchain security resources for various categories in blockchain.
BuildSpaceApps
Finished Buildspace Apps I did for fun
Capture-The-Ether-Walkthrough-
This is a walkthrough for Capture The Ether challenges.
carex-trailofbits-Echidna
CAREX Echidna workshop with Trail of Bits.
Damn-Vulnerable-DeFi-Walkthrough
This is a walkthrough for the Damn Vulnerable Defi challenges.
EVM-Puzzle-Solutions
Solutions and hints to Franco Victorio's evm-puzzles
fuzzydefi
Pre-built security properties for commonly forked DeFi protocols
halmos-solady
Formally verifying consistency between Solmate and Solady using Halmos
0xNazgul's Repositories
0xNazgul/Blockchain-Security-Audit-List
A list of Blockchain Security audit companies, solo auditors and location of public audits.
0xNazgul/fuzzydefi
Pre-built security properties for commonly forked DeFi protocols
0xNazgul/Blockchain-Security-Library
A library of blockchain security resources for various categories in blockchain.
0xNazgul/Becoming-An-Ethernaut-Commander
Walkthrough of the Ethernaut smart contract security challenges
0xNazgul/carex-trailofbits-Echidna
CAREX Echidna workshop with Trail of Bits.
0xNazgul/Capture-The-Ether-Walkthrough-
This is a walkthrough for Capture The Ether challenges.
0xNazgul/Damn-Vulnerable-DeFi-Walkthrough
This is a walkthrough for the Damn Vulnerable Defi challenges.
0xNazgul/EVM-Puzzle-Solutions
Solutions and hints to Franco Victorio's evm-puzzles
0xNazgul/halmos-solady
Formally verifying consistency between Solmate and Solady using Halmos
0xNazgul/BuildSpaceApps
Finished Buildspace Apps I did for fun
0xNazgul/EIP-Notes
Ethereum Improvement Proposal Notes https://eips.ethereum.org/all
0xNazgul/Hats-Game-1-Solution
Find the game repo here: https://github.com/hats-finance/games
0xNazgul/Hats-Game-2-Solution
Find the game repo here: https://github.com/hats-finance/vault-game
0xNazgul/lil-web3-vyper
Simple, intentionally-limited versions of web3 protocols & apps... in Vyper
0xNazgul/More-EVM-Puzzles
Solutions/hints to https://github.com/daltyboy11/more-evm-puzzles
0xNazgul/Pointer-Apps
Finished Pointer Apps I did for fun
0xNazgul/Secureum-StanfordCTF-Solutions
The solutions to the Secureum Stanford CTF: https://ctf-maker-monorepo.vercel.app/
0xNazgul/zk-security-reviews
Collection of security reviews of ZK Protocols