Config verifier mina (#2184)

Author: MauroToscano

config-files/config-operator-docker.yaml

@@ -33,6 +33,7 @@ operator:
   max_batch_size: 268435456 # 256 MiB
   last_processed_batch_filepath: config-files/operator.last_processed_batch.json
   poll_latest_batch_interval: 20s # Optional: The interval to poll for latest batches. Default: 20s if not specified
+  mina_verifier_enabled: true # Enable Mina verifiers for CI testing
 # Operators variables needed for register it in EigenLayer
 el_delegation_manager_address: "0xCf7Ed3AccA5a467e9e704C703E8D87F634fB0Fc9"
 private_key_store_path: config-files/anvil.ecdsa.key.json

core/config/operator.go

@@ -29,6 +29,7 @@ type OperatorConfig struct {
 		MaxBatchSize                  int64
 		LastProcessedBatchFilePath    string
 		PollLatestBatchInterval       time.Duration
+		MinaVerifierEnabled           bool
 	}
 }
 
@@ -47,6 +48,7 @@ type OperatorConfigFromYaml struct {
 		MaxBatchSize                  int64          `yaml:"max_batch_size"`
 		LastProcessedBatchFilePath    string         `yaml:"last_processed_batch_filepath"`
 		PollLatestBatchInterval       string         `yaml:"poll_latest_batch_interval"`
+		MinaVerifierEnabled           bool           `yaml:"mina_verifier_enabled"`
 	} `yaml:"operator"`
 	BlsConfigFromYaml BlsConfigFromYaml `yaml:"bls"`
 }
@@ -98,6 +100,7 @@ func NewOperatorConfig(configFilePath string) *OperatorConfig {
 			MaxBatchSize                  int64
 			LastProcessedBatchFilePath    string
 			PollLatestBatchInterval       time.Duration
+			MinaVerifierEnabled           bool
 		}{
 			AggregatorServerIpPortAddress: operatorConfigFromYaml.Operator.AggregatorServerIpPortAddress,
 			OperatorTrackerIpPortAddress:  operatorConfigFromYaml.Operator.OperatorTrackerIpPortAddress,
@@ -112,6 +115,7 @@ func NewOperatorConfig(configFilePath string) *OperatorConfig {
 			MaxBatchSize:                  operatorConfigFromYaml.Operator.MaxBatchSize,
 			LastProcessedBatchFilePath:    operatorConfigFromYaml.Operator.LastProcessedBatchFilePath,
 			PollLatestBatchInterval:       pollInterval,
+			MinaVerifierEnabled:           operatorConfigFromYaml.Operator.MinaVerifierEnabled,
 		},
 	}
 }

operator/pkg/operator.go

@@ -427,11 +427,21 @@ func (o *Operator) verify(verificationData VerificationData, disabledVerifiersBi
 		o.handleVerificationResult(results, verificationResult, nil, "Circom Groth16 BN256 proof verification")
 
 	case common.Mina:
+		if !o.Config.Operator.MinaVerifierEnabled {
+			o.Logger.Infof("Mina verifier is disabled. Set mina_verifier_enabled: true in config to enable")
+			results <- false
+			return
+		}
 		verificationResult, err := mina.VerifyMinaState(verificationData.Proof, verificationData.PubInput)
 		o.Logger.Infof("Mina state proof verification result: %t", verificationResult)
 		o.handleVerificationResult(results, verificationResult, err, "Mina state proof verification")
 
 	case common.MinaAccount:
+		if !o.Config.Operator.MinaVerifierEnabled {
+			o.Logger.Infof("Mina account verifier is disabled. Set mina_verifier_enabled: true in config to enable")
+			results <- false
+			return
+		}
 		verificationResult, err := mina_account.VerifyAccountInclusion(verificationData.Proof, verificationData.PubInput)
 		o.Logger.Infof("Mina account inclusion proof verification result: %t", verificationResult)
 		o.handleVerificationResult(results, verificationResult, err, "Mina account state proof verification")