add general rules

privacy-scaling-explorations · Apr 10, 2024 · 7de9c78 · 7de9c78
1 parent 4f272c2
commit 7de9c78
Showing 1 changed file with 7 additions and 0 deletions.
diff --git a/specs/state-proof.md b/specs/state-proof.md
@@ -42,6 +42,13 @@ found in the table, and a reverse ordering will make the difference to wrap
 around to a very high value (due to the field arithmetic), causing the result
 to not be in the table.
 
+### General rules
+
+- 0.0 `is_write` is boolean
+- 0.1 first access reads don't change value. `value` equals `initial_value`
+- 0.2 
+
+
 ### Start
 - 1.0. `field_tag`, `address` and `id`, `storage_key` are 0
 - 1.1. `rw counter` increases if it's not first row