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:
- ☆164Updated 2 years ago
- Core contracts of Morpho Optimizers on AaveV3☆42Updated 3 weeks ago
- Foundry + Yul template☆97Updated 2 years ago
- ☆35Updated 2 years ago
- ☆47Updated last year
- ☆16Updated 2 years ago
- Examples for Branching Tree Technique, a simple specification framework for writing structured Solidity tests☆75Updated 2 years ago
- ☆161Updated last month
- Optimised Uniswap V2 contracts written in Huff language☆113Updated last year
- Solidity snippets too edgy to be in Solady☆117Updated last year
- Core contracts of Morpho Optimizers.☆140Updated 3 weeks ago
- PoC of KyberSwap double liquidity add exploit☆43Updated 2 years ago
- ☆58Updated last year
- Blazingly fast function selector miner written in Rust.☆79Updated 2 years ago
- Formally verifying consistency between Solmate and Solady using Halmos☆55Updated last year
- ☆41Updated 5 months ago
- ☆10Updated 2 years ago
- A VSCode extension offering utilities for solidity smart-contract development.☆134Updated 5 months ago
- Euler Price Oracles, a library of immutable oracle adapters and components☆80Updated 2 months ago
- ☆12Updated 2 years ago
- Smart Contract Property-Based Testing Framework☆142Updated 9 months ago
- The most optimized ERC20 & Wrapped Ether implementation.☆144Updated 2 years ago
- Public reports of performed audits☆99Updated last month
- Simple Uniswap V4 Flashloan Receiver☆93Updated last year
- ☆50Updated 2 years ago
- This code accompanies the invariant testing tutorial on our website.☆20Updated 2 years ago
- A CTF protocol, where players create and solve EVM puzzles to earn NFTs.☆136Updated last year
- ☆66Updated 2 years ago
- A playground for the Ethereum Vault Connector (EVC)☆43Updated last year
- Foundry version of Diamond Pattern (EIP-2535) reference implementation☆82Updated 2 years ago