Struct Ihr

Source
pub struct Ihr(/* private fields */);
Expand description

Identity Hash Root

A Merkle root that commits to a node’s Imr (which recursively commits to its childrens’ Imrs) as well as its source and target types.

Uniquely identifies a program’s structure in terms of combinators at redemption time.

Implementations§

Source§

impl Ihr

Source

pub fn update(self, left: Self, right: Self) -> Self

Extend the given tagged hash by the given left and right hashes.

The hash self is taken as initial value, left and right hash are combined to create a 512-bit block, and the compression function is run once

Source

pub fn update_1(self, right: Self) -> Self

Extend the given tagged hash by 256 bits of zeroes and the right hash.

The hash self is taken as initial value, 256 bits of zeroes and right hash are combined to create a 512-bit block, and the compression function is run once

Source

pub fn update_with_weight(self, left_weight: u64, right: Self) -> Self

Updates the given tagged hash with given left cost and right hash.

The cost is serialized as the last 64 bits in the left block

Source

pub fn update_fail_entropy(self, entropy: FailEntropy) -> Self

Source

pub fn from_byte_array(data: [u8; 32]) -> Self

Converts the given tagged hash into a byte array

Source

pub fn to_byte_array(self) -> [u8; 32]

Converts the given tagged hash into a byte array

Source§

impl Ihr

Source

pub fn from_imr(imr: Imr, ty: &FinalArrow) -> Ihr

Construct an IHR from its components: an IMR and the source and target types.

Trait Implementations§

Source§

impl AsRef<[u8]> for Ihr

Source§

fn as_ref(&self) -> &[u8]

Converts this type into a shared reference of the (usually inferred) input type.
Source§

impl Clone for Ihr

Source§

fn clone(&self) -> Ihr

Returns a duplicate of the value. Read more
1.0.0 · Source§

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source. Read more
Source§

impl Debug for Ihr

Source§

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter. Read more
Source§

impl Display for Ihr

Source§

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter. Read more
Source§

impl From<Cmr> for Ihr

Source§

fn from(cmr: Cmr) -> Self

Converts to this type from the input type.
Source§

impl From<Tmr> for Ihr

Source§

fn from(tmr: Tmr) -> Self

Converts to this type from the input type.
Source§

impl FromStr for Ihr

Source§

type Err = HexToArrayError

The associated error which can be returned from parsing.
Source§

fn from_str(s: &str) -> Result<Self, Self::Err>

Parses a string s to return a value of this type. Read more
Source§

impl Hash for Ihr

Source§

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher. Read more
1.3.0 · Source§

fn hash_slice<H>(data: &[Self], state: &mut H)
where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher. Read more
Source§

impl Ord for Ihr

Source§

fn cmp(&self, other: &Ihr) -> Ordering

This method returns an Ordering between self and other. Read more
1.21.0 · Source§

fn max(self, other: Self) -> Self
where Self: Sized,

Compares and returns the maximum of two values. Read more
1.21.0 · Source§

fn min(self, other: Self) -> Self
where Self: Sized,

Compares and returns the minimum of two values. Read more
1.50.0 · Source§

fn clamp(self, min: Self, max: Self) -> Self
where Self: Sized,

Restrict a value to a certain interval. Read more
Source§

impl PartialEq for Ihr

Source§

fn eq(&self, other: &Ihr) -> bool

Tests for self and other values to be equal, and is used by ==.
1.0.0 · Source§

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.
Source§

impl PartialOrd for Ihr

Source§

fn partial_cmp(&self, other: &Ihr) -> Option<Ordering>

This method returns an ordering between self and other values if one exists. Read more
1.0.0 · Source§

fn lt(&self, other: &Rhs) -> bool

Tests less than (for self and other) and is used by the < operator. Read more
1.0.0 · Source§

fn le(&self, other: &Rhs) -> bool

Tests less than or equal to (for self and other) and is used by the <= operator. Read more
1.0.0 · Source§

fn gt(&self, other: &Rhs) -> bool

Tests greater than (for self and other) and is used by the > operator. Read more
1.0.0 · Source§

fn ge(&self, other: &Rhs) -> bool

Tests greater than or equal to (for self and other) and is used by the >= operator. Read more
Source§

impl Copy for Ihr

Source§

impl Eq for Ihr

Source§

impl StructuralPartialEq for Ihr

Auto Trait Implementations§

§

impl Freeze for Ihr

§

impl RefUnwindSafe for Ihr

§

impl Send for Ihr

§

impl Sync for Ihr

§

impl Unpin for Ihr

§

impl UnwindSafe for Ihr

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,

Source§

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more
Source§

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

Source§

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

Mutably borrows from an owned value. Read more
Source§

impl<T> CloneToUninit for T
where T: Clone,

Source§

unsafe fn clone_to_uninit(&self, dest: *mut u8)

🔬This is a nightly-only experimental API. (clone_to_uninit)
Performs copy-assignment from self to dest. Read more
Source§

impl<T> From<T> for T

Source§

fn from(t: T) -> T

Returns the argument unchanged.

Source§

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

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> ToOwned for T
where T: Clone,

Source§

type Owned = T

The resulting type after obtaining ownership.
Source§

fn to_owned(&self) -> T

Creates owned data from borrowed data, usually by cloning. Read more
Source§

fn clone_into(&self, target: &mut T)

Uses borrowed data to replace owned data, usually by cloning. Read more
Source§

impl<T> ToString for T
where T: Display + ?Sized,

Source§

fn to_string(&self) -> String

Converts the given value to a String. Read more
Source§

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

Source§

type Error = Infallible

The type returned in the event of a conversion error.
Source§

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

Performs the conversion.
Source§

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

Source§

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

The type returned in the event of a conversion error.
Source§

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

Performs the conversion.
Source§

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

Source§

fn vzip(self) -> V