WIP: temporarily disable key-verification constraints

clearmatics · Sep 2, 2020 · 2c1c259 · 2c1c259
1 parent cde20b5
commit 2c1c259
Show file tree

Hide file tree

Showing 2 changed files with 7 additions and 6 deletions.
diff --git a/libzecale/circuits/aggregator_circuit_wrapper.tcc b/libzecale/circuits/aggregator_circuit_wrapper.tcc
@@ -85,7 +85,7 @@ aggregator_circuit_wrapper<wppT, wsnarkT, nverifierT, hashT, NumProofs>::
     for (size_t i = 0; i < NumProofs; ++i) {
         _nested_proofs[i]->generate_r1cs_constraints();
     }
-    _nested_vk_hash_gadget->generate_r1cs_constraints();
+    // _nested_vk_hash_gadget->generate_r1cs_constraints();
     _aggregator_gadget->generate_r1cs_constraints();
 }
 
@@ -157,7 +157,7 @@ libzeth::extended_proof<wppT, wsnarkT> aggregator_circuit_wrapper<
     _nested_vk->generate_r1cs_witness(nested_vk);
 
     // Witness hash of verification keypair
-    _nested_vk_hash_gadget->generate_r1cs_witness();
+    // _nested_vk_hash_gadget->generate_r1cs_witness();
 
     // Pass the input values (in npp) to the aggregator gadget.
     _aggregator_gadget->generate_r1cs_witness(nested_inputs);

diff --git a/libzecale/tests/aggregator/aggregator_dummy_test.cpp b/libzecale/tests/aggregator/aggregator_dummy_test.cpp
@@ -79,10 +79,11 @@ void test_aggregator_with_batch(
     size_t winput_idx = 0;
 
     // Check the nested vk hash
-    libff::Fr<wppT> expect_nested_vk_hash =
-        verification_key_hash_gadget<wppT, nverifierT, hash<wppT>>::
-            compute_hash(nkp.vk, num_inputs_per_nested_proof);
-    ASSERT_EQ(expect_nested_vk_hash, winputs[winput_idx++]);
+    // libff::Fr<wppT> expect_nested_vk_hash =
+    //     verification_key_hash_gadget<wppT, nverifierT, hash<wppT>>::
+    //         compute_hash(nkp.vk, num_inputs_per_nested_proof);
+    // ASSERT_EQ(expect_nested_vk_hash, winputs[winput_idx++]);
+    ++winput_idx;
 
     for (size_t proof_idx = 0; proof_idx < batch_size; ++proof_idx) {
         // Check that each input from the batch appears as expected in the