Skip to content

Commit 60f6a25

Browse files
authored
Update l2statetree-keys-and-values.md
1 parent 6430c0c commit 60f6a25

File tree

1 file changed

+2
-2
lines changed

1 file changed

+2
-2
lines changed

docs/zkEVM/architecture/proving-system/l2statetree-keys-and-values.md

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -134,9 +134,9 @@ As depicted in the figure above, a typical SMT has four types of nodes: leaf, ro
134134

135135
These type of nodes exist whenever two conditions are satisfied:
136136

137-
(a) No key associated with non-zero values stored in the SMT has a prefix that leads to the node.
137+
- No key associated with non-zero values stored in the SMT has a prefix that leads to the node.
138138

139-
(b) The node has a sibling node, which is either a non-zero leaf or a branch node with a non-zero leaf as its child or grandchild.
139+
- The node has a sibling node, which is either a non-zero leaf or a branch node with a non-zero leaf as its child or grandchild.
140140

141141
Referring to the above example, the node reached by traversing the 2-edge path $\mathtt{01}$ is a zero-node because:
142142

0 commit comments

Comments
 (0)