Restore the ECC gate in TurboPlonk due to the need in auditable assets (

#131)
FindoraNetwork · Aug 16, 2022 · cbbef3f · cbbef3f
1 parent 48b4177
commit cbbef3f
Show file tree

Hide file tree

Showing 11 changed files with 480 additions and 17 deletions.
diff --git a/api/parameters/abar-to-ar-vk.bin b/api/parameters/abar-to-ar-vk.bin
diff --git a/api/parameters/abar-to-bar-vk.bin b/api/parameters/abar-to-bar-vk.bin
diff --git a/api/parameters/ar-to-abar-vk.bin b/api/parameters/ar-to-abar-vk.bin
diff --git a/api/parameters/bar-to-abar-vk.bin b/api/parameters/bar-to-abar-vk.bin
diff --git a/api/parameters/transfer-vk-specific.bin b/api/parameters/transfer-vk-specific.bin
diff --git a/api/src/anon_xfr/address_folding.rs b/api/src/anon_xfr/address_folding.rs
@@ -251,6 +251,7 @@ pub fn prove_address_folding_in_cs(
                 cs.push_add_selectors(one.neg(), one.neg(), one, zero);
                 cs.push_mul_selectors(one, zero);
                 cs.push_constant_selector(one);
+                cs.push_ecc_selector(zero);
                 cs.push_rescue_selectors(zero, zero, zero, zero);
                 cs.push_out_selector(one);
                 cs.wiring[0].push(flag_meet_first_different_bit_var);
@@ -276,6 +277,7 @@ pub fn prove_address_folding_in_cs(
                 cs.push_add_selectors(zero, one.neg(), zero, zero);
                 cs.push_mul_selectors(one, zero);
                 cs.push_constant_selector(one);
+                cs.push_ecc_selector(zero);
                 cs.push_rescue_selectors(zero, zero, zero, zero);
                 cs.push_out_selector(one);
                 cs.wiring[0].push(flag_meet_first_different_bit_var);
@@ -301,6 +303,7 @@ pub fn prove_address_folding_in_cs(
                 cs.push_add_selectors(one, one, zero, zero);
                 cs.push_mul_selectors(one.neg(), zero);
                 cs.push_constant_selector(zero);
+                cs.push_ecc_selector(zero);
                 cs.push_rescue_selectors(zero, zero, zero, zero);
                 cs.push_out_selector(one);
                 cs.wiring[0].push(flag_meet_first_different_bit_var);
@@ -324,6 +327,7 @@ pub fn prove_address_folding_in_cs(
         cs.push_add_selectors(zero, zero, zero, zero);
         cs.push_mul_selectors(one.neg(), zero);
         cs.push_constant_selector(one);
+        cs.push_ecc_selector(zero);
         cs.push_rescue_selectors(zero, zero, zero, zero);
         cs.push_out_selector(zero);
         cs.wiring[0].push(flag_smaller_than_modulus_var);