vacp2p/rln-contract
1
0
Fork 0
mirror of https://github.com/vacp2p/rln-contract.git synced 2026-01-09 12:58:00 -05:00
Code Issues Packages Projects Releases Wiki Activity

chore: patch foundry template (#34)

Browse Source
This commit is contained in:
Aaryamann Challani
2024-01-11 14:59:18 +05:30
committed by GitHub
parent 35f2182669
commit 9ee3217886
58 changed files with 1423 additions and 13517 deletions
Download Patch File Download Diff File Expand all files Collapse all files

15
PROPERTIES.md Normal file
View File

@@ -0,0 +1,15 @@
## 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** |
| ------------ | -------- | -------- | ---------- |
| | | | |
| | | | |
| | | | |