case 4

csv/entry_16_overflow_case_4.csv

@@ -0,0 +1,17 @@
+username,balance_ETH_ETH,balance_USDT_ETH
+dxGaEAii,18446744073709551616,18446744073709551616
+MBlfbBGI,18446744073709551616,18446744073709551616
+lAhWlEWZ,18446744073709551616,18446744073709551616
+nuZweYtO,18446744073709551616,18446744073709551616
+gbdSwiuY,18446744073709551616,18446744073709551616
+RZNneNuP,18446744073709551616,18446744073709551616
+YsscHXkp,18446744073709551616,18446744073709551616
+RkLzkDun,18446744073709551616,18446744073709551616
+HlQlnEYI,18446744073709551616,18446744073709551616
+RqkZOFYe,18446744073709551616,18446744073709551616
+NjCSRAfD,18446744073709551616,18446744073709551616
+pHniJMQY,18446744073709551616,18446744073709551616
+dOGIMzKR,18446744073709551616,18446744073709551616
+HfMDmNLp,18446744073709551616,18446744073709551616
+xPLKzCBl,18446744073709551616,18446744073709551616
+AtwIxZHo,18446744073709551616,18446744073709551616

prover/src/circuits/tests.rs

@@ -552,6 +552,26 @@ mod test {
         );
     }
 
+    #[test]
+    fn test_balance_not_in_range_case_4() {
+        // Case 4: every balance out of range
+        let path = "../csv/entry_16_overflow_case_4.csv";
+
+        let mut entries: Vec<Entry<N_CURRENCIES>> = vec![Entry::init_empty(); N_USERS];
+        let mut cryptos = vec![Cryptocurrency::init_empty(); N_CURRENCIES];
+        parse_csv_to_entries::<&str, N_CURRENCIES>(path, &mut entries, &mut cryptos).unwrap();
+
+        let circuit = UnivariateGrandSum::<
+            N_USERS,
+            N_CURRENCIES,
+            UnivariateGrandSumConfig<N_CURRENCIES, N_USERS>,
+        >::init(entries.to_vec());
+
+        let invalid_prover = MockProver::run(K, &circuit, vec![vec![Fp::one()]]).unwrap();
+        println!("{:?}", invalid_prover.verify());
+        assert_eq!(invalid_prover.verify(), Ok(()));
+    }
+
     #[cfg(feature = "dev-graph")]
     #[test]
     fn print_univariate_grand_sum_circuit() {