zec
/
orchard
mirror of https://github.com/zcash/orchard.git
1
0
Fork 0
Code Issues Projects Releases Wiki Activity

test: Print Merkle path test circuit layout 

Requires fixing an unnecessary unwrap in the test circuit's synthesis.
This commit is contained in:
Jack Grigg 2021-07-15 11:25:22 +01:00
parent d47a7d2105
commit ac70a6bfdf
1 changed files with 24 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

30
src/circuit/gadget/sinsemilla/merkle.rs
View File

@ -272,13 +272,15 @@ pub mod tests {
let computed_final_root =
path.calculate_root(layouter.namespace(|| "calculate root"), leaf)?;
// The expected final root
let pos_bool = i2lebsp::<32>(self.leaf_pos.unwrap() as u64);
let path: Option<Vec<pallas::Base>> = self.merkle_path.map(|path| path.to_vec());
let final_root = hash_path(self.leaf.unwrap(), &pos_bool, &path.unwrap());
if let Some(leaf_pos) = self.leaf_pos {
// The expected final root
let pos_bool = i2lebsp::<32>(leaf_pos as u64);
let path: Option<Vec<pallas::Base>> = self.merkle_path.map(|path| path.to_vec());
let final_root = hash_path(self.leaf.unwrap(), &pos_bool, &path.unwrap());
// Check the computed final root against the expected final root.
assert_eq!(computed_final_root.value().unwrap(), final_root);
// Check the computed final root against the expected final root.
assert_eq!(computed_final_root.value().unwrap(), final_root);
}
Ok(())
}
@ -343,4 +345,20 @@ pub mod tests {
let prover = MockProver::run(11, &circuit, vec![]).unwrap();
assert_eq!(prover.verify(), Ok(()))
}
#[cfg(feature = "dev-graph")]
#[test]
fn print_merkle_chip() {
use plotters::prelude::*;
let root = BitMapBackend::new("merkle-path-layout.png", (1024, 7680)).into_drawing_area();
root.fill(&WHITE).unwrap();
let root = root.titled("MerkleCRH Path", ("sans-serif", 60)).unwrap();
let circuit = MyCircuit::default();
halo2::dev::CircuitLayout::default()
.show_labels(false)
.render(&circuit, &root)
.unwrap();
}
}