mirror of
https://github.com/logos-co/staking.git
synced 2025-01-09 10:22:18 +00:00
2e7c5148b4
This commit migrates the repo to our foundry template, which ensures we have consistent tooling across smart contract repositories that are maintained by Vac. This removes all hardhat related files and workflows and replaces them with more perfomant foundry workflows. It also sets up tests, CI and linting.
16 lines
831 B
Markdown
16 lines
831 B
Markdown
## Protocol properties and invariants
|
|
|
|
Below is a list of all documented properties and invariants of this project that must hold true.
|
|
|
|
- **Property** - Describes the property of the project / protocol that should ultimately be tested and formaly verified.
|
|
- **Type** - Properties are split into 5 main types: **Valid State**, **State Transition**, **Variable Transition**,
|
|
**High-Level Property**, **Unit Test**
|
|
- **Risk** - One of **High**, **Medium** and **Low**, depending on the property's risk factor
|
|
- **Tested** - Whether this property has been (fuzz) tested
|
|
|
|
| **Property** | **Type** | **Risk** | **Tested** |
|
|
| ------------ | -------- | -------- | ---------- |
|
|
| | | | |
|
|
| | | | |
|
|
| | | | |
|