in src/node_template.rs [188:190]
fn prove_padding_node(&self, _idx: &TreeIndex, _secret: &Secret) -> SumNodeSmt { SumNodeSmt(0) }