Consensys
diff --git a/‎hub/osaka/constraints/instruction-handling/call/precompiles/NSRs_and_flag_sums_II.lisp‎
Lines changed: 3 additions & 1 deletion b/‎hub/osaka/constraints/instruction-handling/call/precompiles/NSRs_and_flag_sums_II.lisp‎
Lines changed: 3 additions & 1 deletion
diff --git a/‎oob/osaka/precompiles/common/post_cancun/point_evaluation_bls_adds_bls_maps_p256_verify.lisp‎ renamed to ‎oob/osaka/precompiles/common/post_cancun/fixed_size_and_cost.lisp‎ b/‎oob/osaka/precompiles/common/post_cancun/point_evaluation_bls_adds_bls_maps_p256_verify.lisp‎ renamed to ‎oob/osaka/precompiles/common/post_cancun/fixed_size_and_cost.lisp‎
@@ -41,7 +41,7 @@
 (defun    (precompile-processing---flag-sum-ECRECOVER-success)    (precompile-processing---flag-sum-standard-success))
 ;; non stack rows shorthands
 (defun    (precompile-processing---nsr-ECRECOVER-FKTH)            precompile-processing---nsr-standard-failure)
-(defun    (precompile-processing---nsr-ECRECOVER-success)         precompile-processing---nsr-standard-success) ;; ""
+(defun    (precompile-processing---nsr-ECRECOVER-success)         precompile-processing---nsr-standard-success)
 ;; NB: the failure scenario FAILURE_KNOWN_TO_RAM is impossible
 
 
@@ -384,3 +384,5 @@
 (defun    (precompile-processing---flag-sum-P256-VERIFY-FKTH)       (precompile-processing---flag-sum-standard-failure))
 (defun    (precompile-processing---flag-sum-P256-VERIFY-FKTR)       (precompile-processing---flag-sum-standard-failure))
 (defun    (precompile-processing---flag-sum-P256-VERIFY-success)    (precompile-processing---flag-sum-standard-success))
+
+;; NOTE: while defined here, FKTR ≡ impossible for the P256_VERIFY precompile