From f7369e35d866fd4f3ff521e307d4f6548a06871e Mon Sep 17 00:00:00 2001 From: Maltesius Date: Thu, 12 Jun 2025 09:34:04 +0200 Subject: [PATCH] Capitalization --- report/src/sections/04-Approach.tex | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/report/src/sections/04-Approach.tex b/report/src/sections/04-Approach.tex index 3ec5637..f2246c0 100644 --- a/report/src/sections/04-Approach.tex +++ b/report/src/sections/04-Approach.tex @@ -60,7 +60,7 @@ \subsection{CAAUrdleproofs}\label{subsec:approach-CAAUrdleproofs} We refer to this modified protocol as CAAUrdleproof. For generality and readability, we show the split of vectors happening every round. -\subsubsection*{Prover computation} +\subsubsection*{Prover Computation} First of all, we have the prover computation, where the proof is constructed. The construction can be seen in~\autoref{lst:ipa-prover}. @@ -144,7 +144,7 @@ \subsubsection*{Prover computation} The now constructed proof is then supposed to be added to the block in the chain at the given time slot~\cite{Whisk2024}. -\subsubsection*{Verifier computation} +\subsubsection*{Verifier Computation} Having the proof on the blockchain allows for each validator to verify whether it is a valid proof asynchronously. Again, the initially proposed verification protocol has been modified according to Springproofs, as shown in~\autoref{lst:ipa-verifier}.