Raiders0786 / web3-security-resources Sponsor Star 402 Code Issues Pull requests Curated Web3 security learning hub for smart contract auditors and protocol teams: roadmaps, audit tools, public reports, fuzzing, formal verification, AI-assisted workflows, offchain security, incident response, and launch checklists. solidity bugbounty web3 evm formal-verification ctf-challenges ai-security web3-solidity zero-knowledge-proofs roadmaps supply-chain-security formal-verification-methods smart-contract-security web3-tools security-best-practices defi-security web3-security smart-contract-auditing web3-audit-reports ai-assisted-auditing Updated May 27, 2026 Python