Alternatives and similar repositories for crypto-audits

Users that are interested in crypto-audits are comparing it to the libraries listed below

• pcaversaccio / tornado-cash-exploit
  This repository implements a simplified PoC that showcases how a contract can morph. A similar approach was used as part of the governanc…
  ☆57Updated 3 weeks ago
• BeanstalkFarms / Basin
  A composable EVM-native decentralized exchange protocol.
  ☆57Updated 7 months ago
• moodlezoup / forge-deep
  Codegen pretty-printing and deep equality Solidity functions for the Forge testing framework
  ☆65Updated 2 years ago
• euler-xyz / evc-playground
  A playground for the Ethereum Vault Connector (EVC)
  ☆42Updated last year
• deliriusz / foundry-yul-puzzles
  Foundry + Yul puzzles
  ☆33Updated last year
• RareSkills / noir-puzzles
  ☆54Updated last year
• yearn / tokenized-strategy-foundry-mix
  Create Yearn V3 "Tokenized Strategies" using Foundry
  ☆68Updated this week
• zobront / halmos-solady
  Formally verifying consistency between Solmate and Solady using Halmos
  ☆54Updated 9 months ago
• crytic / secureum-medusa
  ☆46Updated last year
• shortdoom / immunefi-terminal
  A datasette dashboard and source code downloader for Immunefi bug bounty data
  ☆29Updated 4 months ago
• code-423n4 / 2023-04-caviar
  ☆11Updated last year
• d1ll0n / abi-lity
  Solidity codegen tool for efficient ABI encoding/decoding.
  ☆93Updated 7 months ago
• 0xJuancito / damn-vulnerable-defi-solutions
  Solutions to the Damn Vulnerable DeFi challenges ⛳️
  ☆45Updated 2 years ago
• abdk-consulting / audits
  Database of public audits made by ABDK Consulting
  ☆79Updated last month
• 0xToshii / mr-steal-yo-crypto-ctf
  Solidity CTF challenges for mrstealyocrypto.xyz (hardhat)
  ☆105Updated 2 years ago
• PaulRBerg / btt-examples
  Examples for Branching Tree Technique, a simple specification framework for writing structured Solidity tests
  ☆77Updated last year
• primev / mev-commit
  establishes a p2p network, allowing mev actors to issue bids and commitments for execution in real time
  ☆42Updated this week
• zobront / 4byte-collider
  Simple Rust script for finding colliding 4byte function selectors
  ☆59Updated last year
• yacademy / fellowship-audits
  ☆55Updated last year
• nevillehuang / Portfolio
  ☆40Updated 5 months ago
• CodeForcer / foundry-yul
  Foundry + Yul template
  ☆96Updated last year
• spearbit-audits / writing-exercise
  ☆102Updated 2 years ago
• deliriusz / awesome-cosmos-security
  A curated list of Cosmos ecosystem links, focusing on the security aspect of it
  ☆60Updated 2 months ago
• alchemix-finance / v2-foundry
  Foundry-based repo for V2 tools, expansions, new vaults, and surrounding infrastructure.
  ☆139Updated last month
• 0xsomnus / secure-smart-contract-design-principles
  Saltzer and Schroeder's 10 secure design principles as applied to solidity smart contracts.
  ☆55Updated 3 years ago
• GuardianAudits / DefenderAudits
  ☆21Updated last year
• code-423n4 / 2023-05-maia
  ☆16Updated last year
• roycoprotocol / royco
  The Incentivized Action Market (IAM) Protocol.
  ☆69Updated last month
• StErMi / forge-damn-vulnerable-defi
  ☆66Updated 2 years ago
• immunefi-team / vaults-splitter
  Immunefi - Vaults Splitter
  ☆24Updated last year