From 86d657f6b1a948f07e0fc0c8b2193b54a68cd6e2 Mon Sep 17 00:00:00 2001 From: Roberto Saltini <38655434+saltiniroberto@users.noreply.github.com> Date: Tue, 17 Dec 2024 13:02:14 +1100 Subject: [PATCH] Update reports/3sf.tex Co-authored-by: Thomas Pani --- reports/3sf.tex | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/reports/3sf.tex b/reports/3sf.tex index 77178a4..0ef41f9 100644 --- a/reports/3sf.tex +++ b/reports/3sf.tex @@ -18,7 +18,7 @@ \section{Basic 3SF concepts}\label{sec:3sf} Each block body contains a reference pointing to its \emph{parent} block. The second element of the pair, \( p \geq 0 \), indicates the \emph{slot} where the block \( B \) is proposed. By definition, if $B_p$ is the parent of $B$, then $B_p.p < B.p$. -The \emph{genesis block} is the only block that does not have a parent {and has a negative slot}. +The \emph{genesis block} is the only block that does not have a parent. Its slot is \( p = 0 \). Given the definition above, each different block $B$ implicitly identifies a different finite \emph{chain} of blocks starting from block $B$, down to the genesis block, by recursively moving from a block to its parent. Hence, there is no real distinction between a block and the chain that it identifies. So, by chain $\chain$, we mean the chain identified by the block $\chain$.