Add verification of mina to config

Author: MauroToscano

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")