feat: remove P256 from EC_ADD/MUL/PAIRING/BLS precompile processing

Author: OlivierBBB

hub/osaka/constraints/instruction-handling/call/precompiles/ec_add_mul_pairing_bls_and_p256_verify/FKTR.lisp

@@ -20,17 +20,16 @@
 ;; Shorthands ;;
 ;;;;;;;;;;;;;;;;
 
-(defun    (precompile-processing---ECADD_MUL_PAIRING_BLS_and_P256_VERIFY---FKTR-case)    (*    PEEK_AT_SCENARIO
-                                                                                         (+    scenario/PRC_ECADD
-                                                                                               scenario/PRC_ECMUL
-                                                                                               scenario/PRC_ECPAIRING
-                                                                                               (scenario-shorthand---PRC---common-BLS-address-bit-sum)
-                                                                                               scenario/PRC_P256_VERIFY
-                                                                                               )
-                                                                                         scenario/PRC_FAILURE_KNOWN_TO_RAM))
-
-(defconstraint    precompile-processing---ECADD_MUL_PAIRING_BLS_and_P256_VERIFY---FKTR-requires-extracting-non-empty-call-data
-                  (:guard    (precompile-processing---ECADD_MUL_PAIRING_BLS_and_P256_VERIFY---FKTR-case))
+(defun    (precompile-processing---ECADD-ECMUL-ECPAIRING-and-BLS---FKTR-case)    (*    PEEK_AT_SCENARIO
+                                                                                       (+    scenario/PRC_ECADD
+                                                                                             scenario/PRC_ECMUL
+                                                                                             scenario/PRC_ECPAIRING
+                                                                                             (scenario-shorthand---PRC---common-BLS-address-bit-sum)
+                                                                                             )
+                                                                                       scenario/PRC_FAILURE_KNOWN_TO_RAM))
+
+(defconstraint    precompile-processing---ECADD-ECMUL-ECPAIRING-and-BLS---FKTR-requires-extracting-non-empty-call-data
+                  (:guard    (precompile-processing---ECADD-ECMUL-ECPAIRING-and-BLS---FKTR-case))
                   (eq!    (precompile-processing---common---OOB-extract-call-data)
                           1))
 

hub/osaka/constraints/instruction-handling/call/precompiles/ec_add_mul_pairing_bls_and_p256_verify/constants.lisp

@@ -11,7 +11,7 @@
 
 (defconst
   ;;
-  precompile-processing---ECADD_MUL_PAIRING_BLS_and_P256_VERIFY---misc-row-offset---full-return-data-transfer                   2
-  precompile-processing---ECADD_MUL_PAIRING_BLS_and_P256_VERIFY---misc-row-offset---partial-return-data-copy                    3
-  precompile-processing---ECADD_MUL_PAIRING_BLS_and_P256_VERIFY---context-row-offset---updating-caller-context                  4
+  precompile-processing---ECADD-ECMUL-ECPAIRING-and-BLS---misc-row-offset---full-return-data-transfer     2
+  precompile-processing---ECADD-ECMUL-ECPAIRING-and-BLS---misc-row-offset---partial-return-data-copy      3
+  precompile-processing---ECADD-ECMUL-ECPAIRING-and-BLS---context-row-offset---updating-caller-context    4
   )