fixing according to reviews

Author: noel2004

coordinator/cmd/tool/verify.go

@@ -113,6 +113,6 @@ func verify(cCtx *cli.Context) error {
 	if err != nil {
 		return err
 	}
-	fmt.Println("verified:", ret)
+	log.Info("verified:", "ret", ret)
 	return nil
 }

coordinator/conf/config.json

@@ -7,10 +7,9 @@
     "batch_collection_time_sec": 180,
     "chunk_collection_time_sec": 180,
     "verifier": {
-      "assets_path": "assets",
       "min_prover_version": "v4.4.45",
-      "accept_vks": [{
-        "file": "euclidvk.json",
+      "verifiers": [{
+        "assets_path": "assets",
         "fork_name": "euclidV2"
       }]
     }

coordinator/internal/config/config_test.go

@@ -20,11 +20,11 @@ func TestConfig(t *testing.T) {
 			"batch_collection_time_sec": 180,
 			"chunk_collection_time_sec": 180,
 			"verifier": {
-				"high_version_circuit": {
+				"min_prover_version": "v4.4.45",
+				"verifiers": [{
 					"assets_path": "assets",
-					"fork_name": "euclidV2",
-					"min_prover_version": "v4.4.45"
-				}
+					"fork_name": "euclidV2"
+				}]
 			},
 			"max_verifier_workers": 4
 		},

coordinator/internal/logic/verifier/verifier_test.go

@@ -29,11 +29,11 @@ func TestFFI(t *testing.T) {
 	as := assert.New(t)
 
 	cfg := &config.VerifierConfig{
-		HighVersionCircuit: &config.CircuitConfig{
-			AssetsPath:       *assetsPathHi,
-			ForkName:         "euclidV2",
-			MinProverVersion: "",
-		},
+		MinProverVersion: "",
+		Verifiers: []config.AssetConfig{{
+			AssetsPath: *assetsPathHi,
+			ForkName:   "euclidV2",
+		}},
 	}
 
 	v, err := NewVerifier(cfg)

crates/libzkp/src/proofs.rs

@@ -192,7 +192,7 @@ impl<Metadata: ProofMetadata> WrappedProof<Metadata> {
             .map(|&v| v as u32)
             .collect::<Vec<_>>();
 
-        let ret = expected_pi != proof_pi;
+        let ret = expected_pi == proof_pi;
         if !ret {
             tracing::warn!("pi mismatch: expected={expected_pi:?}, found={proof_pi:?}");
         }