From 91a4e83e8d6bbfaadebe17b7587e4b43c29e9c72 Mon Sep 17 00:00:00 2001 From: Milan Cermak Date: Tue, 18 May 2021 23:37:45 +0200 Subject: [PATCH] Adding KEC, RLP and PoW descriptions --- YPCheatSheet.tex | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/YPCheatSheet.tex b/YPCheatSheet.tex index c55ae20..1aa62c3 100644 --- a/YPCheatSheet.tex +++ b/YPCheatSheet.tex @@ -197,9 +197,9 @@ \section{Symbols} $\mathtt{EMPTY}(\boldsymbol{\sigma}, a)$ & An account $a$ is \textit{empty} when it has no code, zero nonce and zero balance, $\boldsymbol{\sigma}[a]_c = \texttt{\small KEC}\big(()\big) \wedge \boldsymbol{\sigma}[a]_n = 0 \wedge \boldsymbol{\sigma}[a]_b = 0$. \\ $\mathtt{DEAD}(\boldsymbol{\sigma}, a)$ & An account $a$ is \textit{dead} when its account state is non-existent or empty: $\varnothing \vee \mathtt{EMPTY}(\boldsymbol{\sigma}, a)$. \\ $\mathtt{TRIE}$ & The root hash of the Merkle Patricia tree constructed from its arguments. \\ -$\mathtt{KEC}$ & TODO \\ -$\mathtt{RLP}$ & TODO \\ -$\mathtt{PoW}$ & TODO \\ +$\mathtt{KEC}$ & Keccak-256 hash function. \\ +$\mathtt{RLP}$ & Recursive Length Prefix function. A serialization method for encoding arbitrarily structured binary data (byte arrays). \\ +$\mathtt{PoW}$ & Proof of Work function. \\ \vspace{5pt} \\ \midrule