Function tendermint_spec

pub fn tendermint_spec() -> ProofSpec