mirror of
https://github.com/status-im/community-dapp.git
synced 2025-02-23 19:48:27 +00:00
e6dec47f02
The ultimate goal will be to move the contracts package into its own repository that's based on our foundry template. This commit adds foundry template config files and removes legacy hardhat stuff.
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** |
|
|
| ------------ | -------- | -------- | ---------- |
|
|
| | | | |
|
|
| | | | |
|
|
| | | | |
|