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 last month
- ☆35Updated last year
- ☆12Updated 2 years ago
- Core contracts of Morpho Optimizers.☆138Updated 6 months ago
- The most optimized ERC20 & Wrapped Ether implementation.☆145Updated last year
- The good, the bad, and the ugly of proxy implementations☆104Updated last year
- Examples for Branching Tree Technique, a simple specification framework for writing structured Solidity tests☆76Updated last year
- ☆160Updated last month
- Standard way to simulate governance actions from a timelock, multisig, or DAO.☆72Updated 3 months ago
- Foundry + Yul template☆97Updated last year
- PoC of KyberSwap double liquidity add exploit☆43Updated 2 years ago
- ☆49Updated 2 years ago
- A VSCode extension offering utilities for solidity smart-contract development.☆133Updated last month
- ☆61Updated last year
- ☆47Updated last year
- Diff your Github against Etherscan.☆139Updated this week
- Solidity snippets too edgy to be in Solady☆117Updated last year
- Optimised Uniswap V2 contracts written in Huff language☆111Updated last year
- Smart Contract Property-Based Testing Framework☆128Updated 6 months ago
- Solidity × 𝙖𝙣𝙮 𝙡𝙖𝙣𝙜𝙪𝙖𝙜𝙚 transpiler for Foundry tests & scripts.☆56Updated last year
- Public reports of performed audits☆98Updated last month
- Mutation Testing for Ethereum Smart Contracts, support for Foundry☆128Updated last year
- 👃Automatically identify missing or incomplete natspec☆93Updated 2 months ago
- ☆46Updated 11 months ago
- ☆41Updated last month
- ☆66Updated 2 years ago
- Simple Uniswap V4 Flashloan Receiver☆91Updated last year
- A playground for the Ethereum Vault Connector (EVC)☆42Updated last year
- ☆10Updated last year