Skip to content

Commit 7f01016

Browse files
amkChaamkCha
committed
feat: update titles and mmu instructions
1 parent bf8bdad commit 7f01016

File tree

6 files changed

+16
-17
lines changed

6 files changed

+16
-17
lines changed

‎hub/instruction_handling/call/precompiles/_inputs.tex‎

Lines changed: 8 additions & 8 deletions
Original file line numberDiff line numberDiff line change
@@ -8,11 +8,11 @@ \subsubsubsection{Flag sums and \col{nsr}'s --- I \lispTodo{}} \label{hub:
88
\subsubsubsection{Flag sums and \col{nsr}'s --- II \lispTodo{}} \label{hub: instruction handling: call: precompiles: flag sums and nsr II} \input{instruction_handling/call/precompiles/nsr_and_flagsum_II} \newpage
99
\subsubsubsection{Explicit values for \nonStackRows{} \lispNone{}} \label{hub: instruction handling: call: precompiles: explicit values of nsr} \input{instruction_handling/call/precompiles/explicit_nsr}
1010

11-
\subsubsection{Common setup for all precompiles except for \instModexp{} and \instBlake{} \lispDone{}} \label{hub: instruction handling: call: precompiles: most precompiles} \input{instruction_handling/call/precompiles/common/_inputs}
12-
\subsubsection{\instEcrecover{} \lispDone{}} \label{hub: instruction handling: call: precompiles: ecrecover} \input{instruction_handling/call/precompiles/ecrecover/_inputs}
13-
\subsubsection{\instShaTwo{} and \instRipemd{} \lispDone{}} \label{hub: instruction handling: call: precompiles: sha2 and ripemd} \input{instruction_handling/call/precompiles/sha2_ripemd/_inputs}
14-
\subsubsection{\instIdentity{} \lispDone{}} \label{hub: instruction handling: call: precompiles: identity} \input{instruction_handling/call/precompiles/identity/_inputs}
15-
\subsubsection{\instModexp{} \lispDone{}} \label{hub: instruction handling: call: precompiles: modexp} \input{instruction_handling/call/precompiles/modexp/_inputs}
16-
\subsubsection{\instEcadd{}, \instEcmul{}, \instEcpairing{} and \inst{BLS}-precompiles \lispDone{}} \label{hub: instruction handling: call: precompiles: ecadd ecmul ecpairing and bls} \input{instruction_handling/call/precompiles/ecadd_ecmul_ecpairing_bls_pverify/_inputs}
17-
\subsubsection{\instBlake{} \lispDone{}} \label{hub: instruction handling: call: precompiles: blake} \input{instruction_handling/call/precompiles/blake/_inputs}
18-
\subsubsection{\inst{BLS}-precompiles \lispTodo{}} \label{hub: instruction handling: call: precompiles: bls} \input{instruction_handling/call/precompiles/bls/_inputs}
11+
\subsubsection{Common setup for all precompiles except for \instModexp{} and \instBlake{} \lispDone{}} \label{hub: instruction handling: call: precompiles: most precompiles} \input{instruction_handling/call/precompiles/common/_inputs}
12+
\subsubsection{\instEcrecover{} \lispDone{}} \label{hub: instruction handling: call: precompiles: ecrecover} \input{instruction_handling/call/precompiles/ecrecover/_inputs}
13+
\subsubsection{\instShaTwo{} and \instRipemd{} \lispDone{}} \label{hub: instruction handling: call: precompiles: sha2 and ripemd} \input{instruction_handling/call/precompiles/sha2_ripemd/_inputs}
14+
\subsubsection{\instIdentity{} \lispDone{}} \label{hub: instruction handling: call: precompiles: identity} \input{instruction_handling/call/precompiles/identity/_inputs}
15+
\subsubsection{\instModexp{} \lispDone{}} \label{hub: instruction handling: call: precompiles: modexp} \input{instruction_handling/call/precompiles/modexp/_inputs}
16+
\subsubsection{\instEcadd{}, \instEcmul{}, \instEcpairing{}, \inst{BLS}-precompiles and \instPVerify{} \lispDone{}} \label{hub: instruction handling: call: precompiles: ecadd ecmul ecpairing bls and pverify} \input{instruction_handling/call/precompiles/ecadd_ecmul_ecpairing_bls_pverify/_inputs}
17+
\subsubsection{\instBlake{} \lispDone{}} \label{hub: instruction handling: call: precompiles: blake} \input{instruction_handling/call/precompiles/blake/_inputs}
18+
\subsubsection{\inst{BLS}-precompiles \lispTodo{}} \label{hub: instruction handling: call: precompiles: bls} \input{instruction_handling/call/precompiles/bls/_inputs}

‎hub/instruction_handling/call/precompiles/_local.tex‎

Lines changed: 1 addition & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -55,8 +55,7 @@
5555
\def\locNontrivialAdd {\loc{nontrivial\_ecadd}}
5656
\def\locNontrivialMul {\loc{nontrivial\_ecmul}}
5757
\def\locNontrivialPairing {\loc{nontrivial\_ecpairing}}
58-
\def\locTrivialPairing {\phantom{\loc{non}}\loc{trivial\_ecpairing}}
59-
\def\locNontrivialPVerify {\loc{nontrivial\_pverify}}
58+
\def\locTrivialPairing {\phantom{\loc{non}}\loc{trivial\_ecpairing}}
6059

6160
% generic
6261
%%%%%%%%%

‎hub/instruction_handling/call/precompiles/common/failure_KTH.tex‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -16,7 +16,7 @@
1616
\instEcadd{},
1717
\instEcmul{},
1818
\instEcpairing{} or
19-
\instPVerify precompiles.
19+
\instPVerify{} precompiles.
2020
However, this time we are also assuming that $\scenPrcFailureKnownToHub \equiv 1$.
2121

2222
\saNote{} For all of these precompiles this information ``$\scenPrcFailureKnownToHub \equiv 1$'' can be gleamed off of the first miscellaneous-row of the second phase of the \hubMod{} module's processing.

‎hub/instruction_handling/call/precompiles/common/generalities.tex‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -312,7 +312,7 @@
312312
\locMmuWellFormedData{}.
313313
As the names suggest \locMmuRecoverSuccess{} lets the \hubMod{} module know whether recovery of a public address was successful in case of a \inst{CALL} to \instEcrecover{}.
314314
As the names suggest \locMmuWellFormedData{} lets the \hubMod{} module know whether the input data to \instEcadd{}, \instEcmul{} or \instEcpairing{}
315-
as well as the \inst{BLS}-precompiles,
315+
as well as the \inst{BLS}-precompiles and \instPVerify{},
316316
is well formed.
317317
\item[\underline{Justifying scenario success / failure predictions:}]
318318
\scenPrcSuccess{}, \scenPrcFailureKnownToHub{} and \scenPrcFailureKnownToRam{} are, by construction, exclusive binary columns;

‎hub/instruction_handling/call/precompiles/common/intro.tex‎

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -9,6 +9,7 @@
99
\item \instEcmul{}
1010
\item \instEcpairing{}
1111
\item \instPVerify{}
12+
\item[\vspace{\fill}]
1213
\end{enumerate}
1314
\end{multicols}
1415
Despite the fact that these precompiles are rather different along several dimensions of analysis:

‎hub/instruction_handling/call/precompiles/ecadd_ecmul_ecpairing_bls_pverify/success.tex‎

Lines changed: 4 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -33,7 +33,6 @@
3333
\locNontrivialMul & \define & \locOobResultExtractCallData & \cdot & \scenEcmul _{i} \\
3434
\locNontrivialPairing & \define & \locOobResultExtractCallData & \cdot & \scenEcpairing _{i} \\
3535
\locTrivialPairing & \define & \locOobResultEmptyCallData & \cdot & \scenEcpairing _{i} \\
36-
\locNontrivialPVerify & \define & \locOobResultExtractCallData & \cdot & \scenPVerify _{i} \\
3736
\end{array} \right.
3837
\]
3938
\item[\underline{\underline{Miscellaneous-row $n^°(i + \prcStandardSuccessSecondMiscRowOffset)$:}}]
@@ -58,7 +57,7 @@
5857
+ & \locNontrivialPairing \\
5958
+ & \locTrivialPairing \\
6059
+ & \scenPrecompileCommonBls _{i} \\
61-
+ & \locNontrivialPVerify \\
60+
+ & \scenPVerify _{i} \\
6261
\end{array} \right]
6362
\]
6463
\saNote{}
@@ -124,7 +123,7 @@
124123
+ & \locNontrivialMul \\
125124
+ & \locNontrivialPairing \\
126125
+ & \scenPrecompileCommonBls _{i} \\
127-
+ & \locNontrivialPVerify \\
126+
+ & \scenPVerify _{i} \\
128127
\end{array} \right]
129128
= 1
130129
\]
@@ -167,7 +166,7 @@
167166
+ & \exoWeightEcdata & \!\!\!\cdot\!\!\! & \locNontrivialMul \\
168167
+ & \exoWeightEcdata & \!\!\!\cdot\!\!\! & \locNontrivialPairing \\
169168
+ & \exoWeightBlsdata & \!\!\!\cdot\!\!\! & \scenPrecompileCommonBls _{i} \\
170-
+ & \exoWeightEcdata & \!\!\!\cdot\!\!\! & \locNontrivialPVerify \\
169+
+ & \exoWeightEcdata & \!\!\!\cdot\!\!\! & \scenPVerify _{i} \\
171170
\end{array} \right]
172171
\]
173172
\locMmuPhase{} provides extra data to locate the result portion (as opposed to the input portion)
@@ -267,7 +266,7 @@
267266
+ & \resultSizeInBytesBlsPairingCheck & \!\!\!\cdot\!\!\! & \scenBlsPairingCheck _{i} \\
268267
+ & \resultSizeInBytesBlsMapFpToGOne & \!\!\!\cdot\!\!\! & \scenBlsMapFpToGOne _{i} \\
269268
+ & \resultSizeInBytesBlsMapFpTwoToGTwo & \!\!\!\cdot\!\!\! & \scenBlsMapFpTwoToGTwo _{i} \\
270-
+ & \resultSizeInBytesPVerify & \!\!\!\cdot\!\!\! & \scenPVerify _{i} \\
269+
+ & \resultSizeInBytesPVerify & \!\!\!\cdot\!\!\! & \scenPVerify _{i} \\
271270
\end{array} \right]
272271
\]
273272
\saNote{}

0 commit comments

Comments
 (0)