EIP-7951: Precompile for secp256r1 Curve Support

arithmetization/src/main/java/net/consensys/linea/zktracer/ZkCounter.java

@@ -196,6 +196,8 @@ public class ZkCounter implements LineCountingTracer {
       new CountingOnlyModule(PRECOMPILE_ECPAIRING_MILLER_LOOPS);
   private final IncrementingModule ecPairingFinalExponentiations =
       new IncrementingModule(PRECOMPILE_ECPAIRING_FINAL_EXPONENTIATIONS);
+  private final IncrementingModule p256VerifyEffectiveCalls =
+      new IncrementingModule(PRECOMPILE_P256_VERIFY_EFFECTIVE_CALLS);
 
   //  related to Modexp
   private final IncrementAndDetectModule modexpEffectiveCall =
@@ -338,7 +340,8 @@ public ZkCounter(LineaL1L2BridgeSharedConfiguration bridgeConfiguration) {
             ecRecoverEffectiveCall,
             ecPairingG2MembershipCalls,
             ecPairingMillerLoops,
-            ecPairingFinalExponentiations);
+            ecPairingFinalExponentiations,
+            p256VerifyEffectiveCalls);
     blsdata =
         new BlsData(
             wcp,

arithmetization/src/main/java/net/consensys/linea/zktracer/module/ModuleName.java

@@ -58,6 +58,7 @@ public enum ModuleName {
   PRECOMPILE_ECPAIRING_MILLER_LOOPS,
   PRECOMPILE_ECPAIRING_FINAL_EXPONENTIATIONS,
   PRECOMPILE_ECPAIRING_G2_MEMBERSHIP_CALLS,
+  PRECOMPILE_P256_VERIFY_EFFECTIVE_CALLS,
 
   // blakemodexp:
   PRECOMPILE_BLAKE_EFFECTIVE_CALLS,

arithmetization/src/main/java/net/consensys/linea/zktracer/module/blake2fmodexpdata/BlakeModexpDataOperation.java

@@ -18,11 +18,6 @@
 import static net.consensys.linea.zktracer.Trace.Blake2fmodexpdata.INDEX_MAX_BLAKE_DATA;
 import static net.consensys.linea.zktracer.Trace.Blake2fmodexpdata.INDEX_MAX_BLAKE_PARAMS;
 import static net.consensys.linea.zktracer.Trace.Blake2fmodexpdata.INDEX_MAX_BLAKE_RESULT;
-import static net.consensys.linea.zktracer.Trace.Blake2fmodexpdata.INDEX_MAX_MODEXP;
-import static net.consensys.linea.zktracer.Trace.Blake2fmodexpdata.INDEX_MAX_MODEXP_BASE;
-import static net.consensys.linea.zktracer.Trace.Blake2fmodexpdata.INDEX_MAX_MODEXP_EXPONENT;
-import static net.consensys.linea.zktracer.Trace.Blake2fmodexpdata.INDEX_MAX_MODEXP_MODULUS;
-import static net.consensys.linea.zktracer.Trace.Blake2fmodexpdata.INDEX_MAX_MODEXP_RESULT;
 import static net.consensys.linea.zktracer.Trace.LLARGE;
 import static net.consensys.linea.zktracer.Trace.PHASE_BLAKE_DATA;
 import static net.consensys.linea.zktracer.Trace.PHASE_BLAKE_PARAMS;
@@ -31,6 +26,11 @@
 import static net.consensys.linea.zktracer.Trace.PHASE_MODEXP_EXPONENT;
 import static net.consensys.linea.zktracer.Trace.PHASE_MODEXP_MODULUS;
 import static net.consensys.linea.zktracer.Trace.PHASE_MODEXP_RESULT;
+import static net.consensys.linea.zktracer.TraceOsaka.Blake2fmodexpdata.INDEX_MAX_MODEXP;
+import static net.consensys.linea.zktracer.TraceOsaka.Blake2fmodexpdata.INDEX_MAX_MODEXP_BASE;
+import static net.consensys.linea.zktracer.TraceOsaka.Blake2fmodexpdata.INDEX_MAX_MODEXP_EXPONENT;
+import static net.consensys.linea.zktracer.TraceOsaka.Blake2fmodexpdata.INDEX_MAX_MODEXP_MODULUS;
+import static net.consensys.linea.zktracer.TraceOsaka.Blake2fmodexpdata.INDEX_MAX_MODEXP_RESULT;
 import static net.consensys.linea.zktracer.types.Utils.leftPadTo;
 
 import java.util.Optional;

arithmetization/src/main/java/net/consensys/linea/zktracer/module/ecdata/EcData.java

@@ -51,6 +51,8 @@ public class EcData implements OperationListModule<EcDataOperation> {
   private final CountingOnlyModule ecPairingMillerLoops;
   private final IncrementingModule ecPairingFinalExponentiations;
 
+  private final IncrementingModule p256VerifyEffectiveCalls;
+
   @Getter private EcDataOperation ecDataOperation;
 
   @Override
@@ -144,6 +146,9 @@ public void callEcData(
             ecDataOperation.circuitSelectorEcPairingCounter()
                 > 0); // See https://eprint.iacr.org/2008/490.pdf
       }
+      case PRC_P256_VERIFY -> {
+        p256VerifyEffectiveCalls.updateTally(ecDataOperation.internalChecksPassed());
+      }
       default -> throw new IllegalArgumentException("Operation not supported by EcData");
     }
   }