in src/traits.rs [57:74]
fn prove_padding_node(&self, idx: &TreeIndex, secret: &Secret) -> Self::PaddingProof;
/// Verify the proof for a padding node at given tree index with associated node data in the Merkle proof.
///
/// Note that ```node``` is the node data in the Merkle proof,
/// ```proof``` is the proof of the padding node,
/// ```idx``` is the tree index.
fn verify_padding_node(
node: &<Self as ProofExtractable>::ProofNode,
proof: &Self::PaddingProof,
idx: &TreeIndex,
) -> bool
where
Self: ProofExtractable;
}
/// Trait for encoding.
pub trait Serializable {