Alternatives and similar repositories for titanoboa-zksync

Users that are interested in titanoboa-zksync are comparing it to the libraries listed below

• rappie / echidna-curve-reentrancy-hack
  Reproduction of the $41M Curve reentrancy hacks on July 30 2023 using on-chain fuzzing with Echidna
  ☆28Updated 11 months ago
• runtimeverification / secureum-kontrol
  ☆10Updated last year
• perimetersec / arachne
  Arachne is a scaffolding framework built to streamline the development of large-scale fuzzing suites.
  ☆17Updated 4 months ago
• BeanstalkFarms / Basin
  A composable EVM-native decentralized exchange protocol.
  ☆57Updated 8 months ago
• 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
• GuardianAudits / DefenderAudits
  ☆21Updated last year
• banteg / legible-math
  Safer than SafeMath. Goes up to 11!
  ☆39Updated 2 months ago
• zobront / halmos-solady
  Formally verifying consistency between Solmate and Solady using Halmos
  ☆54Updated 10 months ago
• smol-ninja / bulloak-toolchain
  Automates the verification of Solidity tests written using BTT technique
  ☆18Updated 9 months ago
• bbresearcher / ZK
  ☆17Updated 4 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…
  ☆57Updated 2 weeks ago
• zeroknots / boilerplate.sol
  ☆15Updated 2 years ago
• iphelix / euler-exploit-poc
  ☆50Updated 2 years ago
• ecivini / gas-bad
  GasBad is an open-source project that evaluates gas efficiency in Solidity libraries
  ☆68Updated last year
• Jeiwan / uniswapv3-unrefunded-eth-poc
  ☆41Updated 2 years ago
• saucepoint / foundry-arbitrum
  Cross-chain message testing for Arbitrum with Foundry
  ☆66Updated 2 years ago
• blocksecteam / metasleuth_resources
  A collection of investigation reports analyzed with MetaSleuth, a crypto fund flow visualization and analysis tool powered by @blocksecte…
  ☆18Updated 2 years ago
• zobront / 4byte-collider
  Simple Rust script for finding colliding 4byte function selectors
  ☆59Updated 2 years ago
• Kaiziron / paradigm-ctf-2022-writeup
  Writeup for solved challenges in Paradigm CTF 2022
  ☆76Updated 2 years ago
• Elyx0 / pectra-whitehat-rescue-7702
  ☆33Updated last month
• StErMi / smartcontract-inspect
  Quickly open your favorite Web IDE to review the selected smart contract codebase
  ☆30Updated last year
• emilianobonassi / bsc-hack-analysis-2022-10-06
  ☆21Updated 2 years ago
• Philogy / sussy-huff-ctf
  ☆29Updated 2 years ago
• jtriley2p / ERC-6909
  ☆59Updated last year
• Certora / Quorum
  ☆14Updated last month
• deliriusz / foundry-yul-puzzles
  Foundry + Yul puzzles
  ☆33Updated last year
• 0xJCN / Damn-Vulnerable-DeFi-V3-CTF
  Damn Vulnerable DeFi V3 CTF implementation with Ape, exploits with Vyper & Huff
  ☆25Updated 2 years ago
• electisec / fellowship-audits
  ☆55Updated last year
• moodlezoup / huffidity-poc
  ☆63Updated 2 years ago
• 0xKitsune / evm-mnemonic
  A barebones framework for hand tuned smart contracts in pure opcodes.
  ☆47Updated 2 years ago