Security
In this repository, I try to perform a mainnet fork and then simulate popular smart contract exploits on various DEFI Protocols using Hardhat Framework.
A curated list of awesome things related to Blockchain security
Damn Vulnerable DeFi - Foundry Version
A chronological and (hopefully) complete list of reentrancy attacks to date.
Curated list of awesome projects and resources related to Rust and computer security
A collection of practical security-focused guides and checklists for smart contract development
Opinionated security and code quality standard for Solidity smart contracts.
A curated list of web3Security materials and resources For Pentesters and Bug Hunters.
Guidelines and training material to write secure smart contracts
Directory of security contacts for blockchain companies
How to securely create and operate a pseudonymous identity.
Formal methods training program with an emphasis on software in the blockchain & decentralized financed (DeFi) industry
The start page about my efforts around smart contract verification
This repository contains a list of the most popular and widely used tools in web3 security. If you find any tools missing, you can create a pull request and be a contribute the project.
Learn and contribute by exploring blockchain attacks in detail. Maintained by Coinspect smart contract audit team, renowned for their top-tier smart contract audit services.
Heuristics for smart contract auditors
👾 notes and resources on decentralized protocols (e.g. oracles, bridges, honeypots, cryptography, decompilers, static analysis, bug bounties)
Super secret 100% practical EVM course. Please do not share
A collection of gas optimizations for the EVM.
Information about web3 security and programming tutorials/tools
Semgrep rules for smart contracts based on DeFi exploits
A curated list of awesome Solana security resources
Solidity CTF challenges for mrstealyocrypto.xyz (hardhat)