zecfoundation
/
zebra
mirror of https://github.com/ZcashFoundation/zebra.git
1
0
Fork 0
Code Issues Projects Releases Wiki Activity

Add some comments and tracing for groth16::Verifier tests

This commit is contained in:
Deirdre Connolly 2021-03-25 16:17:35 -04:00 committed by Deirdre Connolly
parent 1a159dfcb6
commit 354396f525
1 changed files with 7 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
zebra-consensus/src/primitives/groth16/tests.rs
View File

@ -17,9 +17,10 @@ async fn verify_groth16_spends_and_outputs<V>(
where where
V: tower::Service<Item, Response = ()>, V: tower::Service<Item, Response = ()>,
<V as tower::Service<bellman::groth16::batch::Item<bls12_381::Bls12>>>::Error: <V as tower::Service<bellman::groth16::batch::Item<bls12_381::Bls12>>>::Error:
std::convert::From< std::fmt::Debug
std::boxed::Box<dyn std::error::Error + std::marker::Send + std::marker::Sync>, + std::convert::From<
>, std::boxed::Box<dyn std::error::Error + std::marker::Send + std::marker::Sync>,
>,
{ {
zebra_test::init(); zebra_test::init();
@ -59,6 +60,7 @@ where
} }
while let Some(result) = async_checks.next().await { while let Some(result) = async_checks.next().await {
tracing::trace!(?result);
result?; result?;
} }
} }
@ -113,6 +115,8 @@ where
Transaction::V4 { shielded_data, .. } => { Transaction::V4 { shielded_data, .. } => {
if let Some(shielded_data) = shielded_data { if let Some(shielded_data) = shielded_data {
for output in shielded_data.outputs() { 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(); let mut modified_output = output.clone();
modified_output.cm_u = jubjub::Fq::zero(); modified_output.cm_u = jubjub::Fq::zero();