arnaucube/ark-r1cs-std
1
0
Fork 0
mirror of https://github.com/arnaucube/ark-r1cs-std.git synced 2026-01-10 16:01:28 +01:00
Code Issues Projects Releases Wiki Activity

Merkle tree fails to compute the root when there's no need in dummy nodes - test

Browse Source
This commit is contained in:
Sergey Vasilyev
2020-04-28 00:07:10 +03:00
committed by Pratyush Mishra
parent ea2adb4f7f
commit f4e2039d61
1 changed files with 10 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

11
crypto-primitives/src/merkle_tree/mod.rs
View File

@@ -378,7 +378,7 @@ mod test {
struct JubJubMerkleTreeParams; struct JubJubMerkleTreeParams;
impl MerkleTreeConfig for JubJubMerkleTreeParams { impl MerkleTreeConfig for JubJubMerkleTreeParams {
const HEIGHT: usize = 32; const HEIGHT: usize = 8;
type H = H; type H = H;
} }
type JubJubMerkleTree = MerkleHashTree<JubJubMerkleTreeParams>; type JubJubMerkleTree = MerkleHashTree<JubJubMerkleTreeParams>;
@@ -409,6 +409,15 @@ mod test {
generate_merkle_tree(&leaves); generate_merkle_tree(&leaves);
} }
#[test]
fn no_dummy_nodes_test() {
let mut leaves = Vec::new();
for i in 0..(1u8 << JubJubMerkleTree::HEIGHT - 1) {
leaves.push([i, i, i, i, i, i, i, i]);
}
generate_merkle_tree(&leaves);
}
fn bad_merkle_tree_verify<L: ToBytes + Clone + Eq>(leaves: &[L]) -> () { fn bad_merkle_tree_verify<L: ToBytes + Clone + Eq>(leaves: &[L]) -> () {
let mut rng = XorShiftRng::seed_from_u64(13423423u64); let mut rng = XorShiftRng::seed_from_u64(13423423u64);