ajna-finance / auditsLinks
Audits of Ajna protocol
☆18Updated last year
Alternatives and similar repositories for audits
Users that are interested in audits are comparing it to the libraries listed below
Sorting:
- ☆165Updated 2 years ago
- Core contracts of Morpho Optimizers on AaveV3☆41Updated 3 weeks ago
- ☆35Updated last year
- Examples for Branching Tree Technique, a simple specification framework for writing structured Solidity tests☆76Updated last year
- ☆55Updated last month
- ☆12Updated 2 years ago
- Database of public audits made by ABDK Consulting☆82Updated 2 weeks ago
- ☆16Updated last year
- Smart contract exploit proof of concept exploit standard interface☆16Updated 2 years ago
- ☆46Updated 10 months ago
- Foundry + Yul template☆97Updated last year
- ☆63Updated 3 weeks ago
- ☆41Updated 2 weeks ago
- The good, the bad, and the ugly of proxy implementations☆104Updated last year
- A forkable template repo for easily writing and testing toy contracts☆151Updated last year
- PoC of KyberSwap double liquidity add exploit☆43Updated 2 years ago
- OpenZeppelin Ethernaut CTFs solutions using Foundry framework☆29Updated last year
- ☆14Updated last year
- A CTF protocol, where players create and solve EVM puzzles to earn NFTs.☆136Updated last year
- The most optimized ERC20 & Wrapped Ether implementation.☆145Updated last year
- Core contracts of Morpho Optimizers.☆139Updated 5 months ago
- Diff your Github against Etherscan.☆139Updated 2 weeks ago
- ☆66Updated 2 years ago
- ☆160Updated 3 weeks ago
- A VSCode extension offering utilities for solidity smart-contract development.☆133Updated last month
- A forkable template repo for easily writing and testing toy contracts☆61Updated this week
- Smart Contract Property-Based Testing Framework☆124Updated 5 months ago
- Personal portfolio of audits that I have participated in.☆56Updated last week
- Exercises for the Yield 2022 Mentorship progam☆61Updated 3 years ago
- Diagrams for Solidity contracts☆47Updated last year