This repository contains code properties for the current top four forked protocols:
- Uniswap v2 An AMM powered by the constant product formula, properties.
- Olympus DAO A protocol-owned Treasury serving the market gap between stablecoins and volatile assets, properties.
- Compound v2 An algorithmic, autonomous interest rate protocol, properties.
- Tomb Finance An algorithmic token pegged to
FTM, properties.
The goals of these properties are to:
- Detect vulnerabilities
- Ensure adherence to the original protocols properties
- Provide educational guidance for writing invariants
- Install Foundry
- Follow the protocols corresponding
READMEsetup.
You can read more about the contribution guidelines and directory structure in the CONTRIBUTING file.
I have not used it in the wild and did this mostly to build my fuzzing skills. If you use this and find any bugs congrats!!!
Create an issue with "Trophy" as your title and we can add it to a list with your proper credits!
There are no guarantees with using this project to secure your protocol! There is still a lot to improve with this repo and not everything is fully tested nor is it a silver bullet!
Modified code forked from there respective companies are licensed under there respective licenses in accordance with the original licenses.
All other files within this repository are licensed under the AGPL License unless stated otherwise.