Skip to content

Commit 3bd2df6

Browse files
amkChaamkCha
committed
fix: pVerifyData
1 parent 2e65733 commit 3bd2df6

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

43 files changed

+2769
-11
lines changed

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

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -211,7 +211,7 @@
211211
+ & \phaseBlsPairingCheckData & \cdot & \scenBlsPairingCheck _{i} \\
212212
+ & \phaseBlsMapFpToGOneData & \cdot & \scenBlsMapFpToGOne _{i} \\
213213
+ & \phaseBlsMapFpTwoToGTwoData & \cdot & \scenBlsMapFpTwoToGTwo _{i} \\
214-
+ & \phasePVerify & \cdot & \scenPVerify _{i} \\
214+
+ & \phasePVerifyData & \cdot & \scenPVerify _{i} \\
215215
\end{array} \right]
216216
\]
217217
\saNote{}

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

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -185,7 +185,7 @@
185185
+ & \phaseBlsPairingCheckResult & \!\!\!\cdot\!\!\! & \scenBlsPairingCheck _{i} \\
186186
+ & \phaseBlsMapFpToGOneResult & \!\!\!\cdot\!\!\! & \scenBlsMapFpToGOne _{i} \\
187187
+ & \phaseBlsMapFpTwoToGTwoResult & \!\!\!\cdot\!\!\! & \scenBlsMapFpTwoToGTwo _{i} \\
188-
+ & \phasePVerify & \!\!\!\cdot\!\!\! & \scenPVerify _{i} \\
188+
+ & \phasePVerifyData & \!\!\!\cdot\!\!\! & \scenPVerify _{i} \\
189189
\end{array} \right]
190190
\]
191191
\saNote{}

‎pkg/mmu_custom_instructions.sty‎

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -37,7 +37,6 @@
3737
\newcommand{\phaseBlsPairingCheckData } {\exoModulePhaseData{\prcNameBlsPairingCheck}}
3838
\newcommand{\phaseBlsMapFpToGOneData } {\exoModulePhaseData{\prcNameBlsMapFpToGOne}}
3939
\newcommand{\phaseBlsMapFpTwoToGTwoData } {\exoModulePhaseData{\prcNameBlsMapFpTwoToGTwo}}
40-
\newcommand{\phasePVerify } {\exoModulePhaseData{\prcNamePVerify}}
4140

4241
\newcommand{\phaseKeccakResult } {\exoModulePhaseResult{KECCAK}}
4342
\newcommand{\phaseEcrecoverResult } {\exoModulePhaseResult{\prcNameEcrecover}}

‎pkg/precompiles.sty‎

Lines changed: 33 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -110,8 +110,36 @@
110110
\newcommand{\secpkN} {\texttt{SECP256K1N}}
111111
\newcommand{\bnOuterPrimeHi} {\bnOuterPrime\texttt{\_HI}}
112112
\newcommand{\bnOuterPrimeLo} {\bnOuterPrime\texttt{\_LO}}
113-
\newcommand{\secpNHi} {\secpN\texttt{\_HI}}
114-
\newcommand{\secpNLo} {\secpN\texttt{\_LO}}
113+
\newcommand{\secpkNHi} {\secpkN\texttt{\_HI}}
114+
\newcommand{\secpkNLo} {\secpkN\texttt{\_LO}}
115+
116+
\newcommand{\secprN} {\texttt{SECP256R1N}}
117+
\newcommand{\secprNHi} {\secprN\texttt{\_HI}}
118+
\newcommand{\secprNLo} {\secprN\texttt{\_LO}}
119+
\newcommand{\secprNHex} {\red{\texttt{0x\,ffffffff00000000ffffffffffffffffbce6faada7179e84f3b9cac2fc632551}}}
120+
\newcommand{\secprNHexHi} {\red{\texttt{0x\,ffffffff00000000ffffffffffffffff}}}
121+
\newcommand{\secprNHexLo} {\red{\texttt{0x\,bce6faada7179e84f3b9cac2fc632551}}}
122+
123+
\newcommand{\rOnePrime} {\texttt{P\_R1}}
124+
\newcommand{\rOnePrimeHi} {\rOnePrime\texttt{\_HI}}
125+
\newcommand{\rOnePrimeLo} {\rOnePrime\texttt{\_LO}}
126+
\newcommand{\rOnePrimeHex} {\red{\texttt{0x\,ffffffff00000001000000000000000000000000ffffffffffffffffffffffff}}}
127+
\newcommand{\rOnePrimeHexHi} {\red{\texttt{0x\,ffffffff000000010000000000000000}}}
128+
\newcommand{\rOnePrimeHexLo} {\red{\texttt{0x\,00000000ffffffffffffffffffffffff}}}
129+
130+
\newcommand{\rOneACoefficient} {\texttt{A\_COEFF\_R1}}
131+
\newcommand{\rOneACoefficientHi} {\rOneACoefficient\texttt{\_HI}}
132+
\newcommand{\rOneACoefficientLo} {\rOneACoefficient\texttt{\_LO}}
133+
\newcommand{\rOneACoefficientHex} {\red{\texttt{0x\,ffffffff00000001000000000000000000000000fffffffffffffffffffffffc}}}
134+
\newcommand{\rOneACoefficientHexHi} {\red{\texttt{0x\,ffffffff000000010000000000000000}}}
135+
\newcommand{\rOneACoefficientHexLo} {\red{\texttt{0x\,00000000fffffffffffffffffffffffc}}}
136+
137+
\newcommand{\rOneBCoefficient} {\texttt{B\_COEFF\_R1}}
138+
\newcommand{\rOneBCoefficientHi} {\rOneBCoefficient\texttt{\_HI}}
139+
\newcommand{\rOneBCoefficientLo} {\rOneBCoefficient\texttt{\_LO}}
140+
\newcommand{\rOneBCoefficientHex} {\red{\texttt{0x\,5ac635d8aa3a93e7b3ebbd55769886bc651d06b0cc53b0f63bce3c3e27d2604b}}}
141+
\newcommand{\rOneBCoefficientHexHi} {\red{\texttt{0x\,5ac635d8aa3a93e7b3ebbd55769886bc}}}
142+
\newcommand{\rOneBCoefficientHexLo} {\red{\texttt{0x\,651d06b0cc53b0f63bce3c3e27d2604b}}}
115143

116144
\newcommand{\pePrime} {\texttt{POINT\_EVALUATION\_PRIME}}
117145
\newcommand{\pePrimeHi} {\pePrime\texttt{\_HI}}
@@ -268,7 +296,7 @@
268296

269297
\newcommand{\callWellFormedCoordinates} {\texttt{callToWellFormedCoordinates}}
270298

271-
\newcommand{\callToWellFormedCoordinates}[1]{
299+
\newcommand{\callToWellFormedCoordinates}[1]{
272300
\setkeys[ECDATA]{var}{#1}
273301
\callWellFormedCoordinates_{\cmdECDATA@var@anchorRow}
274302
\left[ \begin{array}{ll}
@@ -311,7 +339,7 @@
311339
\utt{LHS of (E) lo:} & \cmdECDATA@var@ySquareLo \\
312340
\utt{RHS of (E) hi:} & \cmdECDATA@var@xCubePlusATimesPXPlusBHi \\
313341
\utt{RHS of (E) lo:} & \cmdECDATA@var@xCubePlusATimesPXPlusBLo \\
314-
\utt{Where (E) is:} & \tty^2 = \ttx^3 + \rOneACoefficient \cdot \ttx + \rOneBCoefficient
342+
\utt{Where (E) is:} & \tty^2 = \ttx^3 + \rOneACoefficient \cdot \ttx + \rOneBCoefficient
315343
\end{array} \right]}
316344

317345
\newcommand{\callROneMembershipEXT} {\texttt{callToR1MembershipEXT}}
@@ -606,7 +634,7 @@
606634
\newcommand{\prcAddressBlsMapFpTwoToGTwoValue} {\redm{0x11}}
607635
\newcommand{\prcAddressPVerifyValue} {\redm{0x100}}
608636

609-
\newcommand{\prcAddressEcRecover} {\numConst{prc\_address\_ecrecover}}
637+
\newcommand{\prcAddressEcRecover} {\numConst{prc\_address\_ecrecover}}
610638
\newcommand{\prcAddressSha} {\numConst{prc\_address\_sha256}}
611639
\newcommand{\prcAddressRipemd} {\numConst{prc\_address\_ripemd160}}
612640
\newcommand{\prcAddressIdentity} {\numConst{prc\_address\_identity}}

‎spec/_all_spec-blx.bib‎

Lines changed: 4 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -1,10 +1,11 @@
11
@Comment{$ biblatex control file $}
2-
@Comment{$ biblatex bcf format version 3.10 $}
2+
@Comment{$ biblatex bcf format version 3.11 $}
33
% Do not modify this file!
44
%
55
% This is an auxiliary file used by the 'biblatex' package.
66
% This file may safely be deleted. It will be recreated as
77
% required.
8+
89
@Control{biblatex-control,
9-
options = {3.10:0:0:1:0:1:1:0:0:1:0:1:3:1:3:1:0:0:3:1:79:+:+:nty},
10-
}
10+
options = {3.11:0:0:1:0:1:1:0:0:1:0:1:3:1:3:1:0:0:3:1:79:+:+:nty},
11+
}

0 commit comments

Comments
 (0)