Module commit_verify::embed_commit
source · [−]Expand description
Embedded commitments (commit-embed-verify scheme).
Traits
Proofs produced by EmbedCommitVerify::embed_commit procedure.
Trait for embed-commit-verify scheme, where some data structure (named container) may commit to existing message (producing commitment data structure and a proof) in such way that the original message can’t be restored from the commitment, however the fact of the commitment may be deterministically verified when the message and the proof are revealed.
Trait for equivalence verification. Implemented for all types implemeting
Eq. For non-Eq types this trait provides way to implement custom
equivalence verification used during commitment verification procedure.