fn test_padding_provable()

in src/tests.rs [45:66]

• 21 lines of code
• 2 McCabe index (conditional complexity)

fn test_padding_provable() {
    let mut idx = TreeIndex::zero(256);
    let secret = &ALL_ZEROS_SECRET;
    for _i in 0..1000 {
        idx.randomize();
        let sum = SumNodeSmt::padding(&idx, secret);
        assert!(SumNodeSmt::verify_padding_node(
            &sum.get_proof_node(),
            &sum.prove_padding_node(&idx, secret),
            &idx
        ));

        let node = HashNodeSmt::<blake3::Hasher>::padding(&idx, secret);
        assert!(
            node_template::HashNodeSmt::<blake3::Hasher>::verify_padding_node(
                &node.get_proof_node(),
                &node.prove_padding_node(&idx, &secret),
                &idx,
            )
        );
    }
}