From 354396f52532423ce0e7a27d4b38ddace80df0ae Mon Sep 17 00:00:00 2001
From: Deirdre Connolly <deirdre@zfnd.org>
Date: Thu, 25 Mar 2021 16:17:35 -0400
Subject: [PATCH] Add some comments and tracing for groth16::Verifier tests

---
 zebra-consensus/src/primitives/groth16/tests.rs | 10 +++++++---
 1 file changed, 7 insertions(+), 3 deletions(-)

diff --git a/zebra-consensus/src/primitives/groth16/tests.rs b/zebra-consensus/src/primitives/groth16/tests.rs
index a66a0a1a9..fb79b8475 100644
--- a/zebra-consensus/src/primitives/groth16/tests.rs
+++ b/zebra-consensus/src/primitives/groth16/tests.rs
@@ -17,9 +17,10 @@ async fn verify_groth16_spends_and_outputs<V>(
 where
     V: tower::Service<Item, Response = ()>,
     <V as tower::Service<bellman::groth16::batch::Item<bls12_381::Bls12>>>::Error:
-        std::convert::From<
-            std::boxed::Box<dyn std::error::Error + std::marker::Send + std::marker::Sync>,
-        >,
+        std::fmt::Debug
+            + std::convert::From<
+                std::boxed::Box<dyn std::error::Error + std::marker::Send + std::marker::Sync>,
+            >,
 {
     zebra_test::init();
 
@@ -59,6 +60,7 @@ where
         }
 
         while let Some(result) = async_checks.next().await {
+            tracing::trace!(?result);
             result?;
         }
     }
@@ -113,6 +115,8 @@ where
             Transaction::V4 { shielded_data, .. } => {
                 if let Some(shielded_data) = shielded_data {
                     for output in shielded_data.outputs() {
+                        // This changes the primary inputs to the proof
+                        // verification, causing it to fail for this proof.
                         let mut modified_output = output.clone();
                         modified_output.cm_u = jubjub::Fq::zero();