Web3SecurityDAO / websiteLinks
☆20Updated 2 years ago
Alternatives and similar repositories for website
Users that are interested in website are comparing it to the libraries listed below
Sorting:
- This repository implements a simplified PoC that showcases how a contract can morph. A similar approach was used as part of the governanc…☆57Updated last week
- Reveal unused code of a live smart contract by collecting coverage from historical transactions.☆73Updated last year
- Collection of past CTFs to play and practice locally.☆53Updated 11 months ago
- Solidity CTF challenges for mrstealyocrypto.xyz (hardhat)☆105Updated 2 years ago
- Identify flashloan bots in multiple chains☆34Updated 2 years ago
- ☆49Updated 2 years ago
- DeFi exploits for educational purposes☆59Updated 2 years ago
- List of Halmos resources.☆57Updated 5 months ago
- CTF Writeups☆36Updated last year
- Optimised Uniswap V2 contracts written in Huff language☆111Updated last year
- ☆89Updated 4 months ago
- Data-driven exploit generation for Ethereum smart contracts using LLMs and Foundry☆73Updated 3 weeks ago
- ☆99Updated 2 years ago
- Console.log utility for debugging huff contracts☆69Updated last year
- Index of Rareskill Blog posts using playwright☆21Updated last year
- GasBad is an open-source project that evaluates gas efficiency in Solidity libraries☆67Updated last year
- Halmos vs Damn Vulnerable DeFi is the series of articles about solving the Damn Vulnerable DeFi CTF using the Halmos symbolic analyzer.☆33Updated 5 months ago
- Examples for Branching Tree Technique, a simple specification framework for writing structured Solidity tests☆76Updated last year
- DeFiVulnLabsCosmWasm☆50Updated last year
- Generate invariants for Foundry projects with LLM☆100Updated 11 months ago
- Solidity challenges for EthernautDAO☆43Updated 2 years ago
- ☆93Updated last year
- Ethernaut CTF solutions with Ape, Vyper, & Huff☆37Updated 2 years ago
- ☆115Updated 3 years ago
- Series of CTF challenges based off real world smart contract vulnerabilities.☆27Updated last year
- A comprehensive guide to teach you about gas optimization patterns.☆25Updated last year
- Formally verifying consistency between Solmate and Solady using Halmos☆54Updated 11 months ago
- eBurger is a static analysis tool that provides a way to quickly query and analyze solidity smart contracts.☆37Updated last month
- ☆46Updated last year
- ☆21Updated last year