Trait commit_verify::CommitmentProtocol

pub trait CommitmentProtocol {
    const HASH_TAG_MIDSTATE: Option<Midstate>;
}

Marker trait for specific commitment protocols.

Generic parameter Protocol used in commitment scheme traits provides a context & configuration for the concrete implementations.

Introduction of such generic allows to:

• implement trait for foreign data types;
• add multiple implementations under different commitment protocols to the combination of the same message and container type (each of each will have its own Proof type defined as an associated generic).

Each of the commitment protocols should use Self::HASH_TAG_MIDSTATE as a part of tagged hashing of the message as a part of the commitment procedure.

Required Associated Constants

const HASH_TAG_MIDSTATE: Option<Midstate>

Midstate for the protocol-specific tagged hash.

Implementors

impl CommitmentProtocol for PrehashedProtocol

const HASH_TAG_MIDSTATE: Option<Midstate> = None