Dedaub / audits
Repository containing past audit reports
☆54Updated last year
Alternatives and similar repositories for audits:
Users that are interested in audits are comparing it to the libraries listed below
- unhacked challenge 1: reaper☆41Updated 2 years ago
- Example code for testing using Echidna explained during the Spearbit presentation☆40Updated 2 years ago
- Foundry + Yul template☆96Updated last year
- ☆76Updated 2 years ago
- Gas Golfing using Huff and Yul☆82Updated 2 years ago
- ☆36Updated last year
- Cross chain call library for Solidity☆81Updated 2 years ago
- Simple Rust script for finding colliding 4byte function selectors☆59Updated last year
- My solutions to https://ctf.paradigm.xyz/☆62Updated 2 years ago
- ☆52Updated 2 years ago
- Solidity static analyzer☆82Updated last year
- ☆90Updated 11 months ago
- A repository of notes, writeups and tests to understand security-related issues of Ethereum smart contracts.☆40Updated last year
- Testing echidna vs. forge fuzzing☆76Updated 2 years ago
- CLI tool to quickly generate init.json to seed Echidna straight from your Foundry project.☆14Updated 2 years ago
- Formally verifying consistency between Solmate and Solady using Halmos☆54Updated 8 months ago
- 🔐 Protect your Smart Contract Proxy from storage collisions upon upgrading, by running this action in a CI on each of your Pull Requests…☆96Updated last month
- ☆43Updated last year
- Minimal repo for Foundry examples and reproducing bugs in Foundry☆46Updated 2 years ago
- ☆55Updated last year
- Solidity challenges for EthernautDAO☆43Updated 2 years ago
- Codegen pretty-printing and deep equality Solidity functions for the Forge testing framework☆65Updated last year
- ☆81Updated 2 years ago
- Identify flashloan bots in multiple chains☆34Updated 2 years ago
- ☆38Updated 2 years ago
- A collection of EVM opcodes puzzles that helps you learn in-depth details about EVM Opcodes by solving them. Featured in Week In Ethereum…☆45Updated last year
- ☆40Updated 2 years ago
- A document designed to explain fault proof from multiple perspectives, aimed at quickly bringing newcomers up to speed on the mechanisms …☆37Updated 8 months ago
- ☆44Updated 6 months ago
- ☆49Updated 2 years ago