Struct Cmr

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

Commitment Merkle root

A Merkle root that commits to a node’s combinator and recursively its children.

Importantly, witness data and right disconnect branches are not included in the hash. This makes these elements malleable while preserving program identity (SegWit, delegation).

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

Implementations§

Source§

impl Cmr

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 Cmr

Source

pub const fn iden() -> Self

Produce a CMR for an iden combinator

Source

pub const fn unit() -> Self

Produce a CMR for a unit combinator

Source

pub fn injl(child: Cmr) -> Self

Produce a CMR for an injl combinator

Source

pub fn injr(child: Cmr) -> Self

Produce a CMR for an injr combinator

Source

pub fn take(child: Cmr) -> Self

Produce a CMR for a take combinator

Source

pub fn drop(child: Cmr) -> Self

Produce a CMR for a drop combinator

Source

pub fn comp(left: Cmr, right: Cmr) -> Self

Produce a CMR for a comp combinator

Source

pub fn case(left: Cmr, right: Cmr) -> Self

Produce a CMR for a case combinator

Source

pub fn pair(left: Cmr, right: Cmr) -> Self

Produce a CMR for a pair combinator

Source

pub fn disconnect(left: Cmr) -> Self

Produce a CMR for a disconnect combinator

Source

pub fn witness() -> Self

Produce a CMR for a witness combinator

Source

pub fn fail(entropy: FailEntropy) -> Self

Produce a CMR for a fail combinator

Source

pub fn jet<J: Jet>(jet: J) -> Self

Produce a CMR for a jet

Source

pub fn const_word(word: &Word) -> Self

Compute the CMR of a constant word jet

This is equal to the IHR of the equivalent scribe, converted to a CMR in the usual way for jets.

Trait Implementations§

Source§

impl AsRef<[u8]> for Cmr

Source§

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

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

impl Clone for Cmr

Source§

fn clone(&self) -> Cmr

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 Cmr

Source§

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

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

impl Display for Cmr

Source§

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

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

impl From<Cmr> for Amr

Source§

fn from(cmr: Cmr) -> Self

Converts to this type from the input type.
Source§

impl From<Cmr> for Ihr

Source§

fn from(cmr: Cmr) -> Self

Converts to this type from the input type.
Source§

impl From<Cmr> for Imr

Source§

fn from(cmr: Cmr) -> Self

Converts to this type from the input type.
Source§

impl From<Tmr> for Cmr

Source§

fn from(tmr: Tmr) -> Self

Converts to this type from the input type.
Source§

impl FromStr for Cmr

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 Cmr

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 Cmr

Source§

fn cmp(&self, other: &Cmr) -> 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 Cmr

Source§

fn eq(&self, other: &Cmr) -> 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 Cmr

Source§

fn partial_cmp(&self, other: &Cmr) -> 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 Cmr

Source§

impl Eq for Cmr

Source§

impl StructuralPartialEq for Cmr

Auto Trait Implementations§

§

impl Freeze for Cmr

§

impl RefUnwindSafe for Cmr

§

impl Send for Cmr

§

impl Sync for Cmr

§

impl Unpin for Cmr

§

impl UnwindSafe for Cmr

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