Merge branch 'master' into 780-eip-7951-precompile-for-secp256r1-curve-support

Author: lorenzogentile404

.github/workflows/check.yml

@@ -15,7 +15,7 @@ jobs:
 
     - name: Install Go Corset
       shell: bash
-      run: go install github.com/consensys/go-corset/cmd/go-corset@93c23f239542f79c1db60eb5b8250ab20e30f046 # v1.1.23
+      run: go install github.com/consensys/go-corset/cmd/go-corset@0d25749dc5e7ef6e0a75d551618248d4bad65ac6 # v1.1.27
 
     - name: Build all forks
       run: make -B all

Makefile

@@ -35,7 +35,7 @@ EC_DATA_LONDON := ecdata/london
 
 EC_DATA_OSAKA := ecdata/osaka
 
-EUC := euc
+EUC := euc/euc.zkasm
 
 EXP := exp/exp.zkasm
 

blockdata/cancun/lookups/blockdata_into_euc.lisp

@@ -4,7 +4,6 @@
   (blockdata-into-euc :unchecked)
   ;; target columns
   (
-    euc.IOMF
     euc.DIVIDEND
     euc.DIVISOR
     euc.QUOTIENT
@@ -13,7 +12,6 @@
   (blockdata-into-euc-selector)
   ;; source columns
   (
-    1
     blockdata.ARG_1_LO
     blockdata.ARG_2_LO
     blockdata.RES

blockdata/cancun/processing/blobbasefee/common.lisp

@@ -11,13 +11,7 @@
 (defun (curr-BLOBBASEFEE-hi)      (curr-data-hi))
 (defun (curr-BLOBBASEFEE-lo)      (curr-data-lo))
 
-(defconstraint   blobbasefee-value
-                 (:guard (blobbasefee-precondition))
-                 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
-                 (begin (eq!  (curr-BLOBBASEFEE-hi)  0)
-                        (eq!  (curr-BLOBBASEFEE-lo)  LINEA_BLOB_BASE_FEE)))    ;;TODO: surely this won't work for blockchain ref tests
-
 (defconstraint   blobbasefee-bound
                  (:guard (blobbasefee-precondition))
                  ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
-                 (wcp-call-to-GEQ 0 DATA_HI DATA_LO 0 0))
+                 (wcp-call-to-GEQ 0 DATA_HI DATA_LO 0 0))

blockdata/cancun/processing/blobbasefee/linea.lisp

@@ -6,4 +6,4 @@
                  (:guard (* (blobbasefee-precondition) BLOB_BASE_FEE_ENABLE))
                  ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
                  (begin (eq!  (curr-BLOBBASEFEE-hi)  0)
-                        (eq!  (curr-BLOBBASEFEE-lo)  LINEA_BLOB_BASE_FEE)))    ;;TODO: surely this won't work for blockchain ref tests
+                        (eq!  (curr-BLOBBASEFEE-lo)  LINEA_BLOB_BASE_FEE)))

blockdata/london/lookups/blockdata_into_euc.lisp

@@ -4,7 +4,6 @@
   (blockdata-into-euc :unchecked)
   ;; target columns
   (
-    euc.IOMF
     euc.DIVIDEND
     euc.DIVISOR
     euc.QUOTIENT
@@ -13,7 +12,6 @@
   (blockdata-into-euc-selector)
   ;; source columns
   (
-    1
     blockdata.ARG_1_LO
     blockdata.ARG_2_LO
     blockdata.RES

blockdata/paris/lookups/blockdata_into_euc.lisp

@@ -4,7 +4,6 @@
   (blockdata-into-euc :unchecked)
   ;; target columns
   (
-    euc.IOMF
     euc.DIVIDEND
     euc.DIVISOR
     euc.QUOTIENT
@@ -13,7 +12,6 @@
   (blockdata-into-euc-selector)
   ;; source columns
   (
-    1
     blockdata.ARG_1_LO
     blockdata.ARG_2_LO
     blockdata.RES

blsdata/cancun/generalities/constraining_address_sum.lisp

@@ -10,5 +10,5 @@
        (* 16 (is_map_fp_to_g1))
        (* 17 (is_map_fp2_to_g2))))
 
-(defconstraint stamp-constancy ()
+(defconstraint stamp-constancy-address-sum ()
     (stamp-constancy STAMP (address_sum)))

blsdata/cancun/generalities/constraints_for_ct.lisp

@@ -1,6 +1,6 @@
 (module blsdata)
 
-(defconstraint vanishing-values ()
+(defconstraint vanishing-values-ct ()
   (if-zero (flag_sum)
            (begin (vanishes! CT_MAX)                 
                   (vanishes! CT)
@@ -9,4 +9,4 @@
 (defconstraint ct-increment ()
   (if-eq-else CT CT_MAX
               (vanishes! (next CT))
-              (eq! (next CT) (+ 1 CT))))
+              (eq! (next CT) (+ 1 CT))))

blsdata/cancun/generalities/setting_index.lisp

@@ -1,6 +1,6 @@
 (module blsdata)
 
-(defconstraint vanishing-values ()
+(defconstraint vanishing-values-index ()
   (if-zero (flag_sum)
            (begin (vanishes! INDEX_MAX)                 
                   (vanishes! INDEX)
@@ -19,4 +19,4 @@
 (defconstraint final-row (:domain {-1})
   (if-not-zero (flag_sum)
                (begin (eq! (is_result) 1)
-                      (eq! INDEX INDEX_MAX))))
+                      (eq! INDEX INDEX_MAX))))