Web3 Security
Curated list of rug checkers, token security scanners, contract vulnerability audit tools, etc.
Parallelized, coverage-guided, mutational Solidity smart contract fuzzing, powered by go-ethereum
Guidelines and training material to write secure smart contracts
A comprehensive list of security practices for DeFi protocols.
Collection of web3 resources for blockchain enthusiasts. Contains some major alpha on ZKP, Solidity & auditing.
Visualize Solidity control flow for smart contract security analysis. 💵 ⇆ 💵
Mythril is a symbolic-execution-based securty analysis tool for EVM bytecode. It detects security vulnerabilities in smart contracts built for Ethereum and other EVM-compatible blockchains.
(Formerly Solium) Code quality & Security Linter for Solidity
Prevent frontrunning and malicious MEV on Ethereum by using a threshold cryptography-based distributed key generation (DKG) protocol.
A simple template to perform whitehacks safely
Certified Smart Contract Audits for Ethereum, Solana, Near, Cardano, Aptos, Sui, Binance Smart Chain, Fantom, EOS, Tezos by softstack (formerly Chainsulting)
Solidity Vulnerability Scanner Action CI
Cosmwasm Vulnerability Scanner Action CI
A curated list of blockchain security Capture the Flag (CTF) competitions
Solidity CTF challenges for mrstealyocrypto.xyz (foundry)
A curated list of awesome things related to plonk proof system
A curated list of awesome ZK resources, libraries, tools and more.
A curated list of privacy on blockchains resources
A set of utilities for exploring Solidity contracts
K Semantics of the Ethereum Virtual Machine (EVM)