feat: add pverify to bls representation, and forbd empty call data for pverify

Author: amkCha

hub/instruction_handling/call/finishing/intro.tex

@@ -1,3 +1,3 @@
 The present section describes
 (\emph{a}) the last row of all of the \textbf{non precompile} \inst{CALL}-scenarios (a \textbf{context-row}, always)
-(\emph{b}) the last row of first phase of \textbf{precompile} \inst{CALL}-scenarios (a \textbf{scenario-row}, always).
+(\emph{b}) the last row of the first phase of \textbf{precompile} \inst{CALL}-scenarios (a \textbf{scenario-row}, always).

hub/instruction_handling/call/precompiles/bls/lua/common.lua.tex

@@ -48,6 +48,7 @@
 |       |        | scen/PRC_PAIRING_CHECK            |                                                            |
 |       |        | scen/PRC_MAP_FP_TO_G1             |                                                            |
 |       |        | scen/PRC_MAP_FP_TO_G2             |                                                            |
+|       |        | scen/PRC_P256_VERIFY              |                                                            |
 |-------+--------+-----------------------------------+------------------------------------------------------------|
 | i + 1 | MISC   |                                   | OOB🚩 = 1                                                  |
 |       |        |                                   | OOB_INST =  ⟦OOB_INST_point_evaluation⟧                    |
@@ -58,6 +59,7 @@
 |       |        |                                   | .           ∨  ⟦OOB_INST_pairing_check⟧                    |
 |       |        |                                   | .           ∨  ⟦OOB_INST_map_fp_to_g1⟧                     |
 |       |        |                                   | .           ∨  ⟦OOB_INST_map_fp_to_g2⟧                     |
+|       |        |                                   | .           ∨  ⟦OOB_INST_p256_verify⟧                      |
 |       |        |                                   |                                                            |
 |       |        |                                   | TRUSTED INPUTS:                                            |
 |       |        |                                   | * cds                                                      |
@@ -99,15 +101,16 @@
 to denote the integer that equals 'val_T' whenever 'condition' is 'true', and 'val_F' whenever 'condition' is 'false'.
 
 
-NOTE. The BLS precompiles added with
+NOTE. The BLS precompiles and P256_Verify added with
 
 + EIP-4844:
     - POINT_EVALUATION
 + EIP-2537:
     - G1ADD          - G2ADD          - PAIRING_CHECK
     - G1MSM          - G2MSM
     - MAP_FP_TO_G1   - MAP_FP_TO_G2
-
++ EIP-7951:
+    - P256_VERIFY
 all have the nice-to-have property that providing them with empty call data, and more generally: call data that isn't the right
 (prescribed) size in bytes or a (nonzero) multiple of some reference size, results in a failure (FAILURE_KNOWN_TO_HUB in the
 way we arithmetize things) of the precompile, and thus the precompile burning all provided gas, clearing out its caller's

hub/instruction_handling/call/precompiles/common/lua/setup.lua.tex

@@ -48,7 +48,6 @@
 |       |        | * SCEN/IDENTITY    = 1    | .            <== SCEN/PREC_FKTR ≡ 0 (always!)        |
 |       |        | * SCEN/ECADD       = 1    |                                                      |
 |       |        | * SCEN/ECMUL       = 1    |                                                      |
-|       |        | * SCEN/P256-VERIFY = 1    |                                                      |
 |       |        |                           |                                                      |
 |-------+--------+---------------------------+------------------------------------------------------|
 | i + 1 | MISC   |                           | OOB🏴 = 1                                            |
@@ -59,7 +58,6 @@
 |       |        |                           | * ⟦OOB_INST_identity⟧                                |
 |       |        |                           | * ⟦OOB_INST_ecadd⟧                                   |
 |       |        |                           | * ⟦OOB_INST_ecmul⟧                                   |
-|       |        |                           | * ⟦OOB_INST_p256-verify⟧                             |
 |       |        |                           |                                                      |
 |       |        |                           | TRUSTED INPUTS:                                      |
 |       |        |                           | * cds                                                |

hub/instruction_handling/call/precompiles/ecadd_ecmul_ecpairing_bls_pverify/empty.tex

@@ -10,6 +10,7 @@
 \instBlsPairingCheck{},
 \instBlsMapFpToGOne{} and
 \instBlsMapFpTwoToGTwo{}}
+and \ instPVerify{} 
 \emph{actively disallow} empty call data.
 
 \noindent In the \hubMod{} a (common) precompile call being provided with empty call data is measured \emph{precisely} by

hub/instruction_handling/call/precompiles/nsr_and_flagsum_II.tex

@@ -136,7 +136,7 @@
 	\item[\underline{\underline{Shorthands for \instEcadd{}, \instEcmul{}, \instEcpairing{} and \instPVerify{}:}}]
 		for
 		\[
-			\loc{xxx} \in \left\{ \loc{ecadd}, ~ \loc{ecmul}, ~ \loc{ecpairing} \right\}
+			\loc{xxx} \in \left\{ \loc{ecadd}, ~ \loc{ecmul}, ~ \loc{ecpairing}, ~ \loc{p256\_verify} \right\}
 		\]
 		we set
 		\[