From 08e0afe4e669cbc1f9f27250da6936dce43b462d Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Alonso=20Gonz=C3=A1lez?= Date: Mon, 27 Nov 2023 14:39:55 +0100 Subject: [PATCH] Fix typo in evm/spec/mpts.tex Co-authored-by: David --- evm/spec/mpts.tex | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/evm/spec/mpts.tex b/evm/spec/mpts.tex index 1d242658..aa4f1c27 100644 --- a/evm/spec/mpts.tex +++ b/evm/spec/mpts.tex @@ -54,7 +54,7 @@ The initial state of each trie is given by the prover as a nondeterministic inpu \begin{enumerate} \item An empty node is encoded as $(\texttt{MPT\_NODE\_EMPTY})$. \item A branch node is encoded as $(\texttt{MPT\_NODE\_BRANCH}, v_?, c_1, \dots, c_{16})$. Here $v_?$ consists of a flag indicating whether a value is present, followed by the actual value payload if one is present. Each $c_i$ is the encoding of a child node. - \item An extension node is encoded as $(\texttt{MPT\_NODE\_EXTENSION}, k, c)$, $k$ represents the part of the key associated with this extension, and is encoded as a 2-tuple $(\texttt{packed\_nibbles}, \texttt{num\_nibbles})$. $c$ is a pointer to a child node. + \item An extension node is encoded as $(\texttt{MPT\_NODE\_EXTENSION}, k, c)$, where $k$ represents the part of the key associated with this extension, and is encoded as a 2-tuple $(\texttt{packed\_nibbles}, \texttt{num\_nibbles})$. $c$ is a pointer to a child node. \item A leaf node is encoded as $(\texttt{MPT\_NODE\_LEAF}, k, v)$, where $k$ is a 2-tuple as above, and $v$ is a value payload. \item A digest node is encoded as $(\texttt{MPT\_NODE\_HASH}, d)$, where $d$ is a Keccak256 digest. \end{enumerate}