Alternatives and similar repositories for awesome-advanced-smart-contracts-testing-and-verification

Users that are interested in awesome-advanced-smart-contracts-testing-and-verification are comparing it to the libraries listed below

• perimetersec / evm-fuzzing-resources

  View on GitHub
  A curated collection of tools, articles, research, and guides for fuzzing smart contracts on the Ethereum Virtual Machine (EVM).
  ☆198Jan 5, 2026Updated last month
• vnmrtz / mastering-fuzzing

  View on GitHub
  Practical fuzzing examples for the mastering fuzzing talk
  ☆109Jun 29, 2023Updated 2 years ago
• beskay / gas-guide

  View on GitHub
  A comprehensive guide to teach you about gas optimization patterns.
  ☆26Aug 24, 2023Updated 2 years ago
• aviggiano / security

  View on GitHub
  Security Reviews and Audit Checklists
  ☆132Jul 22, 2025Updated 6 months ago
• devdacian / solidity-fuzzing-comparison

  View on GitHub
  A comparison of solidity fuzzing tools Foundry, Echidna & Medusa
  ☆182Feb 1, 2025Updated last year
• 0xJuancito / multichain-auditor

  View on GitHub
  Observations and tips checklist for auditing protocols on multiple chains 🧐
  ☆711Feb 4, 2026Updated last week
• EdwardsVO / gas-optimization-notes

  View on GitHub
  Solidity gas optimization notes
  ☆10Apr 27, 2023Updated 2 years ago
• ETAAcademy / ETAAcademy-Audit

  View on GitHub
  Web3.0 Audit Resources and Competition Materials
  ☆19Feb 6, 2026Updated last week
• yAudit / defi-fork-bugs

  View on GitHub
  Bugs in commonly forked DeFi protocols
  ☆489Oct 3, 2025Updated 4 months ago
• jtriley2p / the-ethereum-virtual-machine

  View on GitHub
  ☆228Apr 25, 2023Updated 2 years ago
• magnetto90 / tokens-decimals

  View on GitHub
  Inspired by multichain-auditor, this list shows the difference of decimals positions between the original blockchain and others, only whe…
  ☆30Dec 18, 2023Updated 2 years ago
• 0xRajkumar / DefiVuln

  View on GitHub
  Adding Defi Vulnerabilities.
  ☆168Nov 17, 2022Updated 3 years ago
• zigtur / audits

  View on GitHub
  Zigtur's audit reports for private clients
  ☆34Feb 7, 2026Updated last week
• SkidsDAO / awesome-cairo-security

  View on GitHub
  A curated list of security related material for the growing starknet ecosystem particularly cairo smart contracts.
  ☆14Jun 11, 2022Updated 3 years ago
• ChainSecurity / TSTORE-Low-Gas-Reentrancy

  View on GitHub
  Novel reentrancy attack on Ethereum Smart Contracts using Transient Storage and little gas
  ☆15Nov 10, 2023Updated 2 years ago
• crytic / fuzz-utils

  View on GitHub
  A tool to automatically generate Foundry unit test cases from Echidna and Medusa failed properties
  ☆117Aug 25, 2025Updated 5 months ago
• waterfall-mkt / curta

  View on GitHub
  A CTF protocol, where players create and solve EVM puzzles to earn NFTs.
  ☆137Feb 25, 2024Updated last year
• kadenzipfel / audit-portfolio

  View on GitHub
  My publicly available audit and bug reports
  ☆18Nov 23, 2025Updated 2 months ago
• yAudit / Solidity-Proxy-Playground

  View on GitHub
  The good, the bad, and the ugly of proxy implementations
  ☆104Jan 19, 2024Updated 2 years ago
• nisedo / awesome-audit-methodologies

  View on GitHub
  A curated list of auditing resources.
  ☆114Dec 19, 2025Updated last month
• goncaloMagalhaes / ethernaut-foundry

  View on GitHub
  My Openzeppelin's Ethernaut CTF solutions, with a test strategy inspired by https://github.com/ciaranmcveigh5/ethernaut-x-foundry
  ☆14Jul 24, 2022Updated 3 years ago
• perimetersec / arachne

  View on GitHub
  Arachne is a scaffolding framework built to streamline the development of large-scale fuzzing suites.
  ☆18Dec 18, 2025Updated last month
• AmadiMichael / ConstantGasFunctionDispatcher

  View on GitHub
  An efficient constant gas function dispatch pattern for solidity external libraries.
  ☆15Sep 1, 2023Updated 2 years ago
• SunWeb3Sec / ethernaut-foundry-solutions

  View on GitHub
  To learn fork testing & on-chain broadcast
  ☆30Oct 16, 2023Updated 2 years ago
• crytic / roundme

  View on GitHub
  ☆103Nov 25, 2025Updated 2 months ago
• pcaversaccio / reentrancy-attacks

  View on GitHub
  A chronological and (hopefully) complete list of reentrancy attacks to date.
  ☆1,588Nov 24, 2025Updated 2 months ago
• RareSkills / solidity-riddles

  View on GitHub
  A collection of Solidity security exercises and puzzles to test your knowledge of Solidity's more esoteric features. Some are easy, and s…
  ☆399Nov 11, 2023Updated 2 years ago
• OpenZeppelin / openzeppelin-transpiler

  View on GitHub
  ☆22Updated this week
• zobront / audits

  View on GitHub
  public audit & bug reports
  ☆278Oct 7, 2024Updated last year
• sayan011 / Immunefi-bug-bounty-writeups-list

  View on GitHub
  curation of all(most) immunefi bug bounty writeups I could find(till now)
  ☆1,105Jan 21, 2026Updated 3 weeks ago
• yAudit / CommonWeb3SecurityIssues

  View on GitHub
  Common security findings in smart contracts
  ☆126Dec 16, 2022Updated 3 years ago
• 0xNazgul / Blockchain-Security-Library

  View on GitHub
  A library of blockchain security resources for various categories in blockchain.
  ☆178Apr 16, 2025Updated 10 months ago
• ConsenSysDiligence / napalm

  View on GitHub
  ☆46Mar 8, 2024Updated last year
• Deivitto / auditor-docker

  View on GitHub
  ☆137Dec 23, 2025Updated last month
• jcsec-security / all-things-reentrancy

  View on GitHub
  Workshop about the different types of reentrancy attacks
  ☆135Mar 25, 2025Updated 10 months ago
• fuzzland / invgen

  View on GitHub
  Generate invariants for Foundry projects with LLM
  ☆104Aug 30, 2024Updated last year
• PaulRBerg / btt-examples

  View on GitHub
  Examples for Branching Tree Technique, a simple specification framework for writing structured Solidity tests
  ☆75Nov 16, 2023Updated 2 years ago
• coinspect / learn-evm-attacks

  View on GitHub
  🚀 Try the Learn EVM Explorer we just launched!!!
  ☆1,795Feb 2, 2026Updated 2 weeks ago
• gpersoon / diagrams

  View on GitHub
  Diagrams for Solidity contracts
  ☆48Mar 9, 2024Updated last year