Struct commit_verify::PrehashedProtocol

source · [−]

pub struct PrehashedProtocol;

Expand description

Protocol defining commits created by using externally created hash value *optionally pretagged).

Trait Implementations

source

impl<M> CommitVerify<M, PrehashedProtocol> for CommitmentHash where
M: AsRef<[u8 ]>,

source

fn commit(msg: &M) -> CommitmentHash

Creates a commitment to a byte representation of a given message

source

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

source

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

source

fn commit(msg: &Msg) -> Hash

Creates a commitment to a byte representation of a given message

source

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

source

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

source

fn commit(msg: &Msg) -> Hash

Creates a commitment to a byte representation of a given message

source

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

source

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

source

fn commit(msg: &Msg) -> Hash

Creates a commitment to a byte representation of a given message

source

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

source

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

source

fn commit(msg: &Msg) -> Hash

Creates a commitment to a byte representation of a given message

source

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

source

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

source

fn commit(msg: &Msg) -> Hash

Creates a commitment to a byte representation of a given message

source

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

source

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

source

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

Creates a commitment to a byte representation of a given message

source

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

source

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

source

fn commit(msg: &Msg) -> Hash

Creates a commitment to a byte representation of a given message

source

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

source

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

source

fn commit(msg: &Msg) -> Hash

Creates a commitment to a byte representation of a given message

source

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

source

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

source

fn commit(msg: &Msg) -> MerkleNode

Creates a commitment to a byte representation of a given message

source

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

source

impl CommitmentProtocol for PrehashedProtocol

source

const HASH_TAG_MIDSTATE: Option<Midstate> = None

Midstate for the protocol-specific tagged hash.

source

impl TryCommitVerify<MultiSource, PrehashedProtocol> for MerkleTree

type Error = Error

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

source

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

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

source

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 PrehashedProtocol

impl Send for PrehashedProtocol

impl Sync for PrehashedProtocol

impl Unpin for PrehashedProtocol

impl UnwindSafe for PrehashedProtocol

Blanket Implementations

source

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

source

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more

source

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

const: unstable · source

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more

source

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

source

impl<T> From<T> for T

const: unstable · source

fn from(t: T) -> T

Returns the argument unchanged.

source

impl<T, U> Into 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.

source

impl<T, U> TryFrom 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>::Error>

Performs the conversion.

source

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

type Error = >::Error

The type returned in the event of a conversion error.

const: unstable · source

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

Performs the conversion.

Struct commit_verify::PrehashedProtocol

Trait Implementations

impl<M> CommitVerify<M, PrehashedProtocol> for CommitmentHash where M: AsRef<[u8]>,

fn commit(msg: &M) -> CommitmentHash

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

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

fn commit(msg: &Msg) -> Hash

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

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

fn commit(msg: &Msg) -> Hash

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

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

fn commit(msg: &Msg) -> Hash

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

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

fn commit(msg: &Msg) -> Hash

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

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

fn commit(msg: &Msg) -> Hash

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

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

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

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

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

fn commit(msg: &Msg) -> Hash

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

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

fn commit(msg: &Msg) -> Hash

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

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

fn commit(msg: &Msg) -> MerkleNode

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

impl CommitmentProtocol for PrehashedProtocol

const HASH_TAG_MIDSTATE: Option<Midstate> = None

impl TryCommitVerify<MultiSource, PrehashedProtocol> for MerkleTree

type Error = Error

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

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

Auto Trait Implementations

impl RefUnwindSafe for PrehashedProtocol

impl Send for PrehashedProtocol

impl Sync for PrehashedProtocol

impl Unpin for PrehashedProtocol

impl UnwindSafe for PrehashedProtocol

Blanket Implementations

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

fn type_id(&self) -> TypeId

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

fn borrow(&self) -> &T

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

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

impl<T> From<T> for T

fn from(t: T) -> T

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

fn into(self) -> U

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

type Error = Infallible

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

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

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

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

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

fn vzip(self) -> V

impl<M> CommitVerify<M, PrehashedProtocol> for CommitmentHash where
M: AsRef<[u8 ]>,

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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