File tree Expand file tree Collapse file tree 1 file changed +2
-2
lines changed Expand file tree Collapse file tree 1 file changed +2
-2
lines changed Original file line number Diff line number Diff line change @@ -60,7 +60,7 @@ \subsection{CAAUrdleproofs}\label{subsec:approach-CAAUrdleproofs}
60
60
We refer to this modified protocol as CAAUrdleproof.
61
61
For generality and readability, we show the split of vectors happening every round.
62
62
63
- \subsubsection* {Prover computation }
63
+ \subsubsection* {Prover Computation }
64
64
First of all, we have the prover computation, where the proof is constructed.
65
65
The construction can be seen in~\autoref {lst:ipa-prover }.
66
66
@@ -144,7 +144,7 @@ \subsubsection*{Prover computation}
144
144
145
145
The now constructed proof is then supposed to be added to the block in the chain at the given time slot~\cite {Whisk2024 }.
146
146
147
- \subsubsection* {Verifier computation }
147
+ \subsubsection* {Verifier Computation }
148
148
Having the proof on the blockchain allows for each validator to verify whether it is a valid proof asynchronously.
149
149
Again, the initially proposed verification protocol has been modified according to Springproofs, as shown in~\autoref {lst:ipa-verifier }.
150
150
You can’t perform that action at this time.
0 commit comments