diff --git a/text/merklization.tex b/text/merklization.tex index 37a8b46..6ecb4b0 100644 --- a/text/merklization.tex +++ b/text/merklization.tex @@ -76,7 +76,7 @@ \subsubsection{Node Encoding and Trie Identification} L&\colon\left\{\begin{aligned} (\H, \Y) &\to \mathbb{B}_{512}\\ (k, v) &\mapsto \begin{cases} - [1, 0] \frown \text{bits}(\se_1(|v|))_{\dots6} \frown \text{bits}(k)_{\dots248} \frown \text{bits}(v) \frown [0, 0, \dots] &\when |v| \le 32\\ + [1, 0] \frown \text{bits}(\se_1(|v|))_{2\dots} \frown \text{bits}(k)_{\dots248} \frown \text{bits}(v) \frown [0, 0, \dots] &\when |v| \le 32\\ [1, 1, 0, 0, 0, 0, 0, 0] \frown \text{bits}(k)_{\dots248} \frown \text{bits}(\mathcal{H}(v)) &\otherwise \end{cases} \end{aligned}\right.