Struct commit_verify::UntaggedProtocol

source · [−]

pub struct UntaggedProtocol;

Expand description

Protocol defining commits created by taking a simple untagged hash of a specific type.

Trait Implementations

impl<M> CommitVerify<M, UntaggedProtocol> for MultiCommitment where
M: AsRef<[u8 ]>,

fn commit(msg: &M) -> MultiCommitment

Creates a commitment to a byte representation of a given message

fn verify(&self, msg: &Msg) -> bool

Verifies commitment against the message; default implementation just repeats the commitment to the message and check it against the self. Read more

impl<Msg> CommitVerify<Msg, UntaggedProtocol> for Hash where
Msg: AsRef<[u8 ]>,

fn commit(msg: &Msg) -> Hash

Creates a commitment to a byte representation of a given message

fn verify(&self, msg: &Msg) -> bool

Verifies commitment against the message; default implementation just repeats the commitment to the message and check it against the self. Read more

impl<Msg> CommitVerify<Msg, UntaggedProtocol> for Hash where
Msg: AsRef<[u8 ]>,

fn commit(msg: &Msg) -> Hash

Creates a commitment to a byte representation of a given message

fn verify(&self, msg: &Msg) -> bool

Verifies commitment against the message; default implementation just repeats the commitment to the message and check it against the self. Read more

impl<Msg> CommitVerify<Msg, UntaggedProtocol> for Hash where
Msg: AsRef<[u8 ]>,

fn commit(msg: &Msg) -> Hash

Creates a commitment to a byte representation of a given message

fn verify(&self, msg: &Msg) -> bool

Verifies commitment against the message; default implementation just repeats the commitment to the message and check it against the self. Read more

impl<Msg> CommitVerify<Msg, UntaggedProtocol> for Hash where
Msg: AsRef<[u8 ]>,

fn commit(msg: &Msg) -> Hash

Creates a commitment to a byte representation of a given message

fn verify(&self, msg: &Msg) -> bool

Verifies commitment against the message; default implementation just repeats the commitment to the message and check it against the self. Read more

impl<Msg> CommitVerify<Msg, UntaggedProtocol> for Hash where
Msg: AsRef<[u8 ]>,

fn commit(msg: &Msg) -> Hash

Creates a commitment to a byte representation of a given message

fn verify(&self, msg: &Msg) -> bool

Verifies commitment against the message; default implementation just repeats the commitment to the message and check it against the self. Read more

impl<Msg, T> CommitVerify<Msg, UntaggedProtocol> for Hash<T> where
Msg: AsRef<[u8 ]>,
T: Tag,

fn commit(msg: &Msg) -> Hash<T>

Creates a commitment to a byte representation of a given message

fn verify(&self, msg: &Msg) -> bool

Verifies commitment against the message; default implementation just repeats the commitment to the message and check it against the self. Read more

impl<Msg> CommitVerify<Msg, UntaggedProtocol> for Hash where
Msg: AsRef<[u8 ]>,

fn commit(msg: &Msg) -> Hash

Creates a commitment to a byte representation of a given message

fn verify(&self, msg: &Msg) -> bool

Verifies commitment against the message; default implementation just repeats the commitment to the message and check it against the self. Read more

impl<Msg> CommitVerify<Msg, UntaggedProtocol> for Hash where
Msg: AsRef<[u8 ]>,

fn commit(msg: &Msg) -> Hash

Creates a commitment to a byte representation of a given message

fn verify(&self, msg: &Msg) -> bool

Verifies commitment against the message; default implementation just repeats the commitment to the message and check it against the self. Read more

impl<Msg> CommitVerify<Msg, UntaggedProtocol> for MerkleNode where
Msg: AsRef<[u8 ]>,

fn commit(msg: &Msg) -> MerkleNode

Creates a commitment to a byte representation of a given message

fn verify(&self, msg: &Msg) -> bool

Verifies commitment against the message; default implementation just repeats the commitment to the message and check it against the self. Read more

impl CommitmentProtocol for UntaggedProtocol

const HASH_TAG_MIDSTATE: Option<Midstate>

Midstate for the protocol-specific tagged hash.

impl TryCommitVerify<MultiSource, UntaggedProtocol> for MultiCommitBlock

type Error = Error

Error type that may be reported during TryCommitVerify::try_commit and TryCommitVerify::try_verify procedures Read more

fn try_commit(source: &MultiSource) -> Result<Self, Error>

Tries to create commitment to a byte representation of a given message

fn try_verify(&self, msg: &Msg) -> Result<bool, Self::Error>

Tries to verify commitment against the message; default implementation just repeats the commitment to the message and check it against the self. Read more

impl TryCommitVerify<MultiSource, UntaggedProtocol> for MultiCommitment

type Error = Error

Error type that may be reported during TryCommitVerify::try_commit and TryCommitVerify::try_verify procedures Read more

fn try_commit(msg: &MultiSource) -> Result<Self, Self::Error>

Tries to create commitment to a byte representation of a given message

fn try_verify(&self, msg: &Msg) -> Result<bool, Self::Error>

Tries to verify commitment against the message; default implementation just repeats the commitment to the message and check it against the self. Read more

Auto Trait Implementations

impl RefUnwindSafe for UntaggedProtocol

impl Send for UntaggedProtocol

impl Sync for UntaggedProtocol

impl Unpin for UntaggedProtocol

impl UnwindSafe for UntaggedProtocol

Blanket Implementations

impl<T> Any for T where
T: 'static + ?Sized,

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more

impl<T> Borrow<T> for T where
T: ?Sized,

const: unstable · source

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more

impl<T> BorrowMut<T> for T where
T: ?Sized,

const: unstable · source

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more

impl<T> From<T> for T

const: unstable · source

fn from(t: T) -> T

Returns the argument unchanged.

impl<T, U> Into<U> for T where
U: From<T>,

const: unstable · source

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

impl<T, U> TryFrom<U> for T where
U: Into<T>,

type Error = Infallible

The type returned in the event of a conversion error.

const: unstable · source

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

Performs the conversion.

impl<T, U> TryInto<U> for T where
U: TryFrom<T>,

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.

const: unstable · source

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

Performs the conversion.

impl<V, T> VZip<V> for T where
V: MultiLane<T>,

fn vzip(self) -> V