ajna-finance / auditsLinks
Audits of Ajna protocol
☆19Updated last year
Alternatives and similar repositories for audits
Users that are interested in audits are comparing it to the libraries listed below
Sorting:
- Core contracts of Morpho Optimizers on AaveV3☆42Updated last month
- The good, the bad, and the ugly of proxy implementations☆104Updated 2 years ago
- ☆42Updated 5 months ago
- ☆164Updated 2 years ago
- ☆35Updated 2 years ago
- Core contracts of Morpho Optimizers.☆140Updated last month
- Security Reviews and Audit Checklists☆131Updated 6 months ago
- Smart Contract Property-Based Testing Framework☆144Updated 10 months ago
- Optimised Uniswap V2 contracts written in Huff language☆113Updated last year
- Examples for Branching Tree Technique, a simple specification framework for writing structured Solidity tests☆75Updated 2 years ago
- Database of public audits made by ABDK Consulting☆103Updated last week
- Mutation Testing for Ethereum Smart Contracts, support for Foundry☆128Updated last year
- Foundry + Yul template☆97Updated 2 years ago
- ☆50Updated 2 years ago
- OpenZeppelin Ethernaut CTFs solutions using Foundry framework☆30Updated last year
- Pre-built security properties for commonly forked DeFi protocols☆198Updated 2 years ago
- The most optimized ERC20 & Wrapped Ether implementation.☆144Updated 2 years ago
- This repository implements a simplified PoC that demonstrates how signature malleability attacks using compact signatures can be executed…☆114Updated 2 weeks ago
- ☆161Updated 2 months ago
- Foundry is a blazing fast, portable and modular toolkit for Ethereum application development written in Rust.☆48Updated last year
- ☆12Updated 2 years ago
- Solidity snippets too edgy to be in Solady☆117Updated last year
- ☆66Updated 3 years ago
- ☆59Updated last year
- ☆75Updated 6 months ago
- ☆68Updated last year
- ☆55Updated 6 months ago
- List of Halmos resources.☆58Updated 11 months ago
- This code accompanies the invariant testing tutorial on our website.☆20Updated 2 years ago
- ☆63Updated 2 years ago