Struct commit_verify::mpc::MerkleTree

pub struct MerkleTree { /* private fields */ }

Complete information about LNPBP-4 merkle tree.

Implementations

impl MerkleTree

pub fn root(&self) -> MerkleNode

impl MerkleTree

pub fn protocol_id_pos(&self, protocol_id: ProtocolId) -> u32

Computes position for a given protocol_id within the tree leaves.

pub fn width(&self) -> u32

Computes the width of the merkle tree.

pub fn depth(&self) -> u5

pub fn entropy(&self) -> u64

Trait Implementations

impl Clone for MerkleTree

fn clone(&self) -> MerkleTree

Returns a copy of the value.

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

Performs copy-assignment from source.

impl CommitStrategy for MerkleTree

type Strategy = ConcealStrict

Specific strategy. List of supported strategies:

impl CommitmentId for MerkleTree

const TAG: [u8; 32] = _

type Id = Commitment

Type of the resulting commitment.

fn commitment_id(&self) -> Self::Id

Performs commitment to client-side-validated data

impl Conceal for MerkleTree

type Concealed = MerkleNode

The resulting confidential type concealing original data.

fn conceal(&self) -> Self::Concealed

Performs conceal procedure returning confidential data concealing original data.

impl Debug for MerkleTree

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

Formats the value using the given formatter.

impl From<&MerkleTree> for MerkleBlock

fn from(tree: &MerkleTree) -> Self

Converts to this type from the input type.

impl From<MerkleTree> for MerkleBlock

fn from(tree: MerkleTree) -> Self

Converts to this type from the input type.

impl Hash for MerkleTree

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

Feeds this value into the given Hasher.

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

Feeds a slice of this type into the given Hasher.

impl PartialEq<MerkleTree> for MerkleTree

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

This method tests for self and other values to be equal, and is used by ==.

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

This method tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl StrictDecode for MerkleTree

fn strict_decode(reader: &mut impl TypedRead) -> Result<Self, DecodeError>

fn strict_read(lim: usize, reader: impl Read) -> Result<Self, DecodeError>

impl StrictDumb for MerkleTree

fn strict_dumb() -> Self

impl StrictEncode for MerkleTree

fn strict_encode<W: TypedWrite>(&self, writer: W) -> Result<W>

fn strict_write(&self, lim: usize, writer: impl Write) -> Result<usize, Error>

impl StrictStruct for MerkleTree

const ALL_FIELDS: &'static [&'static str] = _

fn strict_check_fields()

fn strict_type_info() -> TypeInfo<Self>

impl StrictType for MerkleTree

const STRICT_LIB_NAME: &'static str = LIB_NAME_COMMIT_VERIFY

fn strict_name() -> Option<TypeName>

impl TryCommitVerify<MultiSource, UntaggedProtocol> for MerkleTree

type Error = Error

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

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.

impl Eq for MerkleTree

impl Proof for MerkleTree

impl StrictProduct for MerkleTree

impl StructuralEq for MerkleTree

impl StructuralPartialEq for MerkleTree