Alternatives and similar repositories for echidna-curve-reentrancy-hack:

Users that are interested in echidna-curve-reentrancy-hack are comparing it to the libraries listed below

• 0xnirlin / Thirdweb-Exploit-POC
  Repositery to show case the recent thirdweb exploit that raised due to using openzeppelin ERC2771 implementation with a multi call.
  ☆17Updated last year
• runtimeverification / secureum-kontrol
  ☆10Updated 8 months ago
• StErMi / smartcontract-inspect
  Quickly open your favorite Web IDE to review the selected smart contract codebase
  ☆30Updated 9 months ago
• 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…
  ☆48Updated last week
• shortdoom / immunefi-terminal
  A datasette dashboard and source code downloader for Immunefi bug bounty data
  ☆29Updated 8 months ago
• zobront / halmos-solady
  Formally verifying consistency between Solmate and Solady using Halmos
  ☆53Updated 4 months ago
• fiveoutofnine / tardis
  Collection of past CTFs to play and practice locally.
  ☆49Updated 4 months ago
• deliriusz / foundry-yul-puzzles
  Foundry + Yul puzzles
  ☆32Updated last year
• scab24 / univ4-risk-neutral-hook
  LVR & IL Hedge Hook: Dynamic Fees for pools and Power Perps / Borrwing hedges for LPs. Towards a risk neutral DeFi.
  ☆21Updated 4 months ago
• Web3SecurityDAO / website
  ☆19Updated last year
• ETAAcademy / ETAAcademy-Audit
  Web3.0 Audit Resources and Competition Materials
  ☆17Updated last week
• iphelix / euler-exploit-poc
  ☆48Updated last year
• crytic / secureum-medusa
  ☆45Updated last year
• Al-Qa-qa / ethernaut-solutions-foundry
  OpenZeppelin Ethernaut CTFs solutions using Foundry framework
  ☆28Updated 9 months ago
• jtriley-eth / offensive_vyper
  Vyper Based Capture The Flag Challenges
  ☆35Updated 2 years ago
• infosec-us-team / csm
  A simple tool for security researchers to monitor code-changes that silently fix bugs or introduce new ones, across multiple repositories…
  ☆28Updated last month
• deliriusz / awesome-cosmos-security
  A curated list of Cosmos ecosystem links, focusing on the security aspect of it
  ☆44Updated 2 months ago
• zeroknots / boilerplate.sol
  ☆15Updated last year
• jtriley-eth / inline-yul-style-guide
  A mostly mostly reasonable approach to inline Yul styling.
  ☆29Updated 8 months ago
• BeanstalkFarms / Basin
  A composable EVM-native decentralized exchange protocol.
  ☆57Updated 3 months ago
• paradigmxyz / paradigm-ctf-2023
  ☆67Updated last year
• electisec / web3-security-talks
  Novel and informative web3 security talks
  ☆18Updated last year
• GuardianAudits / DefenderAudits
  ☆22Updated last year
• bbresearcher / ZK
  ☆19Updated 5 months ago
• ConsenSysDiligence / napalm
  ☆47Updated 10 months ago
• PraneshASP / smol-evm-rs
  ☄️ A toy implementation of the EVM from scratch using Rust.
  ☆36Updated 11 months ago
• gpersoon / diagrams
  Diagrams for Solidity contracts
  ☆44Updated 10 months ago
• Philogy / sussy-huff-ctf
  ☆29Updated last year