1: \begin{definition}

2: 		\label{definition:chain-growth-property-definition}

3: 			The chain growth property $\mathit{Q}_{cg}$ with parameters $\tau \in \mathbb{R}$ and $s \in \mathbb{N}$ states that for any honest party $P$ with chain $\mathit{C}$ in $VIEW^{t,n}_{ \mathcal{A}, \mathcal{Z}}$, it holds that for any $s+1$ rounds, there are at least $\tau \cdot s$ blocks added to the chain of $P$. 

4: 			\footnote{The Chain-Growth Property in \cite{GKL15} is defined slightly different: \textit{\dots it holds that for any $s$ rounds, there are at least $\tau \cdot s$ blocks added to the chain of $P$}. Considering the proof for Theorem 1 (of \cite{avarikioti2019bitcoin}), one can see, why we use $s+1$ instead of $s$. It follows by the fact that the sum in Lemma 13 (of \cite{avarikioti2019bitcoin}) only goes from $i=r$ to $s-1$ and not to $s$.}

5: 		\end{definition}

6: