From 496fd226bb6967aee33c6c8698f89437ea7d2a67 Mon Sep 17 00:00:00 2001
From: sifnoc <sifnoc09@gmail.com>
Date: Mon, 26 Feb 2024 04:24:20 +0000
Subject: [PATCH] fix: test data 'entry_64.csv' with random balances

---
 csv/entry_64.csv                              | 128 +++++++++---------
 .../examples/chunked_univariate_grand_sum.rs  |  10 +-
 2 files changed, 69 insertions(+), 69 deletions(-)

diff --git a/csv/entry_64.csv b/csv/entry_64.csv
index 56b7f39f..d1ddb9a1 100644
--- a/csv/entry_64.csv
+++ b/csv/entry_64.csv
@@ -1,65 +1,65 @@
 username,balance_ETH_ETH,balance_USDT_ETH
-dxGaEAii,11888,41163
-MBlfbBGI,67823,18651
-lAhWlEWZ,18651,2087
-nuZweYtO,22073,55683
-gbdSwiuY,34897,83296
-RZNneNuP,83296,16881
-YsscHXkp,31699,35479
-RkLzkDun,2087,79731
-HlQlnEYI,30605,11888
-RqkZOFYe,16881,14874
-NjCSRAfD,41163,67823
-pHniJMQY,14874,22073
-dOGIMzKR,10032,10032
-HfMDmNLp,55683,34897
-xPLKzCBl,79731,30605
-AtwIxZHo,35479,31699
-aaGaEAaa,11888,41163
-bblfbBGI,67823,18651
-cchWlEWZ,18651,2087
-ddZweYtO,22073,55683
-eedSwiuY,34897,83296
-ffNneNuP,83296,16881
-ggscHXkp,31699,35479
-hhLzkDun,2087,79731
-iiQlnEYI,30605,11888
-llkZOFYe,16881,14874
-mmCSRAfD,41163,67823
-nnniJMQY,14874,22073
-ooGIMzKR,10032,10032
-ppMDmNLp,55683,34897
-qqLKzCBl,79731,30605
-rrwIxZHo,35479,31699
-a1GaEAaa,11888,41163
-b2lfbBGI,67823,18651
-c3hWlEWZ,18651,2087
-d4ZweYtO,22073,55683
-e5dSwiuY,34897,83296
-f6NneNuP,83296,16881
-g7scHXkp,31699,35479
-h8LzkDun,2087,79731
-i9QlnEYI,30605,11888
-l0kZOFYe,16881,14874
-m1CSRAfD,41163,67823
-n2niJMQY,14874,22073
-o3GIMzKR,10032,10032
-p4MDmNLp,55683,34897
-q5LKzCBl,79731,30605
-r6wIxZHo,35479,31699
-a17aEAaa,11888,41163
-b28fbBGI,67823,18651
-c39WlEWZ,18651,2087
-d40weYtO,22073,55683
-e51SwiuY,34897,83296
-f62neNuP,83296,16881
-g73cHXkp,31699,35479
-h84zkDun,2087,79731
-i95lnEYI,30605,11888
-l06ZOFYe,16881,14874
-m17SRAfD,41163,67823
-n28iJMQY,14874,22073
-o39IMzKR,10032,10032
-p40DmNLp,55683,34897
-q51KzCBl,79731,30605
-r62IxZHo,35479,31699
+lQqmRJdg,12388,32294
+aWDvCEiS,9693,16236
+xnsyHKax,38938,67192
+TeWkyMTK,65809,32114
+KoAjYZbg,43955,15060
+BvPoRkOl,56729,26812
+gZKobVvp,44121,14034
+TWrbSQEs,76672,64256
+ETShTNyr,8101,83099
+ZhczOKsa,41787,15680
+hXWusLiI,16063,48839
+NPJvNZnI,58437,29615
+hHPFzFhT,72496,7798
+HhQNIETc,30750,14476
+yEuILJNE,17503,12454
+Squeylsr,8765,2983
+OvLSqsvt,64390,62263
+EvHMzKbu,84747,66310
+NcIPonBQ,67156,87921
+AqVWwRbT,18974,38473
+hJBGnXrB,7057,85818
+QfGnaeip,19512,30398
+BJZjoRyQ,33258,64197
+nMkYmaKL,74350,62280
+WUgvEEqq,77422,17256
+YlKwJzXP,82114,37724
+FWWYnWJe,27057,74057
+InXPwhCF,35937,88954
+dddmaToF,3261,20421
+amuobdlW,44195,5439
+ttsnlNWp,58459,50750
+zOKIdByy,32597,19330
+gcTKDudW,29652,77180
+hOqGkBYW,37493,28546
+DhboScmx,64879,77838
+jOwrDAqq,85178,18293
+aAdhWvot,27156,57687
+UyBdPJqB,42003,25321
+tuvfHyXy,32258,89286
+qcHjtmct,30416,1487
+IiCgtzNf,34391,10698
+grSDJvEC,24633,19852
+qdFUCFAa,6586,20407
+RTcBVkAp,89200,42858
+yJqccDKr,61092,24056
+zqxOHXcJ,71826,53820
+xkjzJYUE,24503,71001
+slrXGVgT,67494,28243
+ZHCfpHry,54977,68392
+PsWWISCN,50035,51087
+vYvNfjxM,72096,62588
+zXvkQZxE,10632,82593
+retKdNHy,72475,27380
+pYSKrVjZ,69450,64384
+mEIfsRZu,59127,81500
+QuUzDtzJ,58949,84898
+eCVMnmfE,77210,31031
+nPoFfqUY,86755,32206
+TDzGkSlY,30306,75914
+KODqnvSt,71746,60682
+dYseTKwI,45205,51285
+dMypqzKK,9543,21413
+LLzMkgKr,58363,31840
+smRTQZYt,88641,23869
diff --git a/kzg_prover/examples/chunked_univariate_grand_sum.rs b/kzg_prover/examples/chunked_univariate_grand_sum.rs
index f6ea2525..999e9b8e 100644
--- a/kzg_prover/examples/chunked_univariate_grand_sum.rs
+++ b/kzg_prover/examples/chunked_univariate_grand_sum.rs
@@ -2,6 +2,7 @@
 use std::error::Error;
 
 use halo2_proofs::halo2curves::bn256::{Fr as Fp, G1Affine};
+use halo2_proofs::halo2curves::group::cofactor::CofactorCurveAffine;
 use halo2_proofs::halo2curves::group::Curve;
 use halo2_proofs::transcript::TranscriptRead;
 use halo2_proofs::{
@@ -111,11 +112,10 @@ fn main() -> Result<(), Box<dyn Error>> {
         advice_commitments_2.push(point);
     });
     let kzg_commitment_2 = advice_commitments_2[BALANCES_INDEX];
-    // TODO fix the test data (avoid repetition of the same data in the csv file)
-    // assert!(
-    //     kzg_commitment_1.to_affine() != kzg_commitment_2.to_affine(),
-    //     "Commitments should be different"
-    // );
+    assert!(
+        kzg_commitment_1. != kzg_commitment_2,
+        "Commitments should be different"
+    );
 
     // The homomorphic property of KZG commitments allows us to sum the individual chunk commitments
     // to produce the KZG opening proof for the grand total