kadenzipfel / audit-portfolioLinks
Publicly available audits and bug reports
☆16Updated 3 weeks ago
Alternatives and similar repositories for audit-portfolio
Users that are interested in audit-portfolio are comparing it to the libraries listed below
Sorting:
- Go-to compilation of smart contract proxy information, for discerning devs and auditors☆23Updated 2 months ago
- Foundry + Yul puzzles☆33Updated last year
- ☆12Updated 10 months ago
- Content for Electisec Reports Site☆27Updated last week
- unhacked challenge 1: reaper☆41Updated 2 years ago
- Damn Vulnerable DeFi V3 CTF implementation with Ape, exploits with Vyper & Huff☆25Updated 2 years ago
- Immunefi Contract DB - Search Bugs☆31Updated 6 months ago
- Coypu is an open source static analyzer that competes on Code4rena Bot Races. Prizes are held on a community multisig and split amongst a…☆10Updated last year
- ☆42Updated 7 months ago
- A datasette dashboard and source code downloader for Immunefi bug bounty data☆29Updated 4 months ago
- Repositery to show case the recent thirdweb exploit that raised due to using openzeppelin ERC2771 implementation with a multi call.☆17Updated last year
- ☆49Updated 2 years ago
- OpenZeppelin Ethernaut CTFs solutions using Foundry framework☆29Updated last year
- Simple Rust script for finding colliding 4byte function selectors☆59Updated last year
- Arachne is a scaffolding framework built to streamline the development of large-scale fuzzing suites.☆18Updated 3 months ago
- To learn fork testing & on-chain broadcast☆28Updated last year
- Formally verifying consistency between Solmate and Solady using Halmos☆54Updated 9 months ago
- ☆20Updated 6 months ago
- Smart contract exploit proof of concept exploit standard interface☆16Updated last year
- ☆36Updated last year
- ☆18Updated 2 years ago
- A quick and easy way to test gas optimizations.☆27Updated 2 years ago
- Example of the whitehack for Curve exploit 30/07/23☆19Updated last year
- Write-ups and content for Curta puzzles, problems, etc.☆14Updated last year
- A static analyzer for Solidity, built upon regex and ASTs.☆25Updated last year
- ☆37Updated 11 months ago
- Solidity By Example rewritten in Huff, the most based low-level EVM language.☆34Updated last year
- Example code for testing using Echidna explained during the Spearbit presentation☆40Updated 2 years ago
- Series of CTF challenges based off real world smart contract vulnerabilities.☆27Updated last year
- Reproduction of the $41M Curve reentrancy hacks on July 30 2023 using on-chain fuzzing with Echidna☆28Updated 10 months ago