Struct filecoin_proofs::types::MerkleProof
source · pub struct MerkleProof<H, BaseArity, SubTreeArity = UTerm, TopTreeArity = UTerm>where
H: Hasher,
BaseArity: PoseidonArity,
SubTreeArity: PoseidonArity,
TopTreeArity: PoseidonArity,{ /* private fields */ }
Expand description
Representation of a merkle proof.
Implementations§
source§impl<H, BaseArity, SubTreeArity, TopTreeArity> MerkleProof<H, BaseArity, SubTreeArity, TopTreeArity>where
H: Hasher,
BaseArity: PoseidonArity,
SubTreeArity: PoseidonArity,
TopTreeArity: PoseidonArity,
impl<H, BaseArity, SubTreeArity, TopTreeArity> MerkleProof<H, BaseArity, SubTreeArity, TopTreeArity>where
H: Hasher,
BaseArity: PoseidonArity,
SubTreeArity: PoseidonArity,
TopTreeArity: PoseidonArity,
Trait Implementations§
source§impl<H, BaseArity, SubTreeArity, TopTreeArity> Clone for MerkleProof<H, BaseArity, SubTreeArity, TopTreeArity>where
H: Clone + Hasher,
BaseArity: Clone + PoseidonArity,
SubTreeArity: Clone + PoseidonArity,
TopTreeArity: Clone + PoseidonArity,
impl<H, BaseArity, SubTreeArity, TopTreeArity> Clone for MerkleProof<H, BaseArity, SubTreeArity, TopTreeArity>where
H: Clone + Hasher,
BaseArity: Clone + PoseidonArity,
SubTreeArity: Clone + PoseidonArity,
TopTreeArity: Clone + PoseidonArity,
source§fn clone(&self) -> MerkleProof<H, BaseArity, SubTreeArity, TopTreeArity>
fn clone(&self) -> MerkleProof<H, BaseArity, SubTreeArity, TopTreeArity>
Returns a copy of the value. Read more
1.0.0 · source§fn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
Performs copy-assignment from
source
. Read moresource§impl<H, BaseArity, SubTreeArity, TopTreeArity> Debug for MerkleProof<H, BaseArity, SubTreeArity, TopTreeArity>where
H: Debug + Hasher,
BaseArity: Debug + PoseidonArity,
SubTreeArity: Debug + PoseidonArity,
TopTreeArity: Debug + PoseidonArity,
impl<H, BaseArity, SubTreeArity, TopTreeArity> Debug for MerkleProof<H, BaseArity, SubTreeArity, TopTreeArity>where
H: Debug + Hasher,
BaseArity: Debug + PoseidonArity,
SubTreeArity: Debug + PoseidonArity,
TopTreeArity: Debug + PoseidonArity,
source§impl<H, BaseArity, SubTreeArity, TopTreeArity> Default for MerkleProof<H, BaseArity, SubTreeArity, TopTreeArity>where
H: Default + Hasher,
BaseArity: Default + PoseidonArity,
SubTreeArity: Default + PoseidonArity,
TopTreeArity: Default + PoseidonArity,
impl<H, BaseArity, SubTreeArity, TopTreeArity> Default for MerkleProof<H, BaseArity, SubTreeArity, TopTreeArity>where
H: Default + Hasher,
BaseArity: Default + PoseidonArity,
SubTreeArity: Default + PoseidonArity,
TopTreeArity: Default + PoseidonArity,
source§fn default() -> MerkleProof<H, BaseArity, SubTreeArity, TopTreeArity>
fn default() -> MerkleProof<H, BaseArity, SubTreeArity, TopTreeArity>
Returns the “default value” for a type. Read more
source§impl<'de, H, BaseArity, SubTreeArity, TopTreeArity> Deserialize<'de> for MerkleProof<H, BaseArity, SubTreeArity, TopTreeArity>where
H: Hasher,
BaseArity: PoseidonArity,
SubTreeArity: PoseidonArity,
TopTreeArity: PoseidonArity,
<H as Hasher>::Domain: Deserialize<'de>,
impl<'de, H, BaseArity, SubTreeArity, TopTreeArity> Deserialize<'de> for MerkleProof<H, BaseArity, SubTreeArity, TopTreeArity>where
H: Hasher,
BaseArity: PoseidonArity,
SubTreeArity: PoseidonArity,
TopTreeArity: PoseidonArity,
<H as Hasher>::Domain: Deserialize<'de>,
source§fn deserialize<__D>(
__deserializer: __D,
) -> Result<MerkleProof<H, BaseArity, SubTreeArity, TopTreeArity>, <__D as Deserializer<'de>>::Error>where
__D: Deserializer<'de>,
fn deserialize<__D>(
__deserializer: __D,
) -> Result<MerkleProof<H, BaseArity, SubTreeArity, TopTreeArity>, <__D as Deserializer<'de>>::Error>where
__D: Deserializer<'de>,
Deserialize this value from the given Serde deserializer. Read more
source§impl<H, Arity, SubTreeArity, TopTreeArity> MerkleProofTrait for MerkleProof<H, Arity, SubTreeArity, TopTreeArity>where
H: Hasher,
Arity: 'static + PoseidonArity,
SubTreeArity: 'static + PoseidonArity,
TopTreeArity: 'static + PoseidonArity,
impl<H, Arity, SubTreeArity, TopTreeArity> MerkleProofTrait for MerkleProof<H, Arity, SubTreeArity, TopTreeArity>where
H: Hasher,
Arity: 'static + PoseidonArity,
SubTreeArity: 'static + PoseidonArity,
TopTreeArity: 'static + PoseidonArity,
type Hasher = H
type Arity = Arity
type SubTreeArity = SubTreeArity
type TopTreeArity = TopTreeArity
source§fn try_from_proof(
p: Proof<<<MerkleProof<H, Arity, SubTreeArity, TopTreeArity> as MerkleProofTrait>::Hasher as Hasher>::Domain, <MerkleProof<H, Arity, SubTreeArity, TopTreeArity> as MerkleProofTrait>::Arity>,
) -> Result<MerkleProof<H, Arity, SubTreeArity, TopTreeArity>, Error>
fn try_from_proof( p: Proof<<<MerkleProof<H, Arity, SubTreeArity, TopTreeArity> as MerkleProofTrait>::Hasher as Hasher>::Domain, <MerkleProof<H, Arity, SubTreeArity, TopTreeArity> as MerkleProofTrait>::Arity>, ) -> Result<MerkleProof<H, Arity, SubTreeArity, TopTreeArity>, Error>
Try to convert a merkletree proof into this structure.
fn verify(&self) -> bool
fn leaf(&self) -> <H as Hasher>::Domain
fn root(&self) -> <H as Hasher>::Domain
fn len(&self) -> usize
fn path(&self) -> Vec<(Vec<<H as Hasher>::Domain>, usize)>
fn path_index(&self) -> usize
fn as_options(&self) -> Vec<(Vec<Option<Scalar>>, Option<usize>)>
fn into_options_with_leaf( self, ) -> (Option<Scalar>, Vec<(Vec<Option<Scalar>>, Option<usize>)>)
fn as_pairs(&self) -> Vec<(Vec<Scalar>, usize)>
source§fn validate(&self, node: usize) -> bool
fn validate(&self, node: usize) -> bool
Validates the MerkleProof and that it corresponds to the supplied node. Read more
fn validate_data(&self, data: <Self::Hasher as Hasher>::Domain) -> bool
fn proves_challenge(&self, challenge: usize) -> bool
source§fn expected_len(&self, leaves: usize) -> usize
fn expected_len(&self, leaves: usize) -> usize
Calcluates the exected length of the full path, given the number of leaves in the base layer.
source§impl<H, BaseArity, SubTreeArity, TopTreeArity> Serialize for MerkleProof<H, BaseArity, SubTreeArity, TopTreeArity>where
H: Hasher,
BaseArity: PoseidonArity,
SubTreeArity: PoseidonArity,
TopTreeArity: PoseidonArity,
<H as Hasher>::Domain: Serialize,
impl<H, BaseArity, SubTreeArity, TopTreeArity> Serialize for MerkleProof<H, BaseArity, SubTreeArity, TopTreeArity>where
H: Hasher,
BaseArity: PoseidonArity,
SubTreeArity: PoseidonArity,
TopTreeArity: PoseidonArity,
<H as Hasher>::Domain: Serialize,
source§fn serialize<__S>(
&self,
__serializer: __S,
) -> Result<<__S as Serializer>::Ok, <__S as Serializer>::Error>where
__S: Serializer,
fn serialize<__S>(
&self,
__serializer: __S,
) -> Result<<__S as Serializer>::Ok, <__S as Serializer>::Error>where
__S: Serializer,
Serialize this value into the given Serde serializer. Read more
Auto Trait Implementations§
impl<H, BaseArity, SubTreeArity, TopTreeArity> Freeze for MerkleProof<H, BaseArity, SubTreeArity, TopTreeArity>
impl<H, BaseArity, SubTreeArity, TopTreeArity> RefUnwindSafe for MerkleProof<H, BaseArity, SubTreeArity, TopTreeArity>where
<H as Hasher>::Domain: RefUnwindSafe,
BaseArity: RefUnwindSafe,
SubTreeArity: RefUnwindSafe,
TopTreeArity: RefUnwindSafe,
impl<H, BaseArity, SubTreeArity, TopTreeArity> Send for MerkleProof<H, BaseArity, SubTreeArity, TopTreeArity>
impl<H, BaseArity, SubTreeArity, TopTreeArity> Sync for MerkleProof<H, BaseArity, SubTreeArity, TopTreeArity>
impl<H, BaseArity, SubTreeArity, TopTreeArity> Unpin for MerkleProof<H, BaseArity, SubTreeArity, TopTreeArity>
impl<H, BaseArity, SubTreeArity, TopTreeArity> UnwindSafe for MerkleProof<H, BaseArity, SubTreeArity, TopTreeArity>where
<H as Hasher>::Domain: UnwindSafe,
BaseArity: UnwindSafe,
SubTreeArity: UnwindSafe,
TopTreeArity: UnwindSafe,
Blanket Implementations§
source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more
source§impl<T> CloneToUninit for Twhere
T: Clone,
impl<T> CloneToUninit for Twhere
T: Clone,
source§default unsafe fn clone_to_uninit(&self, dst: *mut T)
default unsafe fn clone_to_uninit(&self, dst: *mut T)
🔬This is a nightly-only experimental API. (
clone_to_uninit
)source§impl<T> FmtForward for T
impl<T> FmtForward for T
source§fn fmt_binary(self) -> FmtBinary<Self>where
Self: Binary,
fn fmt_binary(self) -> FmtBinary<Self>where
Self: Binary,
Causes
self
to use its Binary
implementation when Debug
-formatted.source§fn fmt_display(self) -> FmtDisplay<Self>where
Self: Display,
fn fmt_display(self) -> FmtDisplay<Self>where
Self: Display,
Causes
self
to use its Display
implementation when
Debug
-formatted.source§fn fmt_lower_exp(self) -> FmtLowerExp<Self>where
Self: LowerExp,
fn fmt_lower_exp(self) -> FmtLowerExp<Self>where
Self: LowerExp,
Causes
self
to use its LowerExp
implementation when
Debug
-formatted.source§fn fmt_lower_hex(self) -> FmtLowerHex<Self>where
Self: LowerHex,
fn fmt_lower_hex(self) -> FmtLowerHex<Self>where
Self: LowerHex,
Causes
self
to use its LowerHex
implementation when
Debug
-formatted.source§fn fmt_octal(self) -> FmtOctal<Self>where
Self: Octal,
fn fmt_octal(self) -> FmtOctal<Self>where
Self: Octal,
Causes
self
to use its Octal
implementation when Debug
-formatted.source§fn fmt_pointer(self) -> FmtPointer<Self>where
Self: Pointer,
fn fmt_pointer(self) -> FmtPointer<Self>where
Self: Pointer,
Causes
self
to use its Pointer
implementation when
Debug
-formatted.source§fn fmt_upper_exp(self) -> FmtUpperExp<Self>where
Self: UpperExp,
fn fmt_upper_exp(self) -> FmtUpperExp<Self>where
Self: UpperExp,
Causes
self
to use its UpperExp
implementation when
Debug
-formatted.source§fn fmt_upper_hex(self) -> FmtUpperHex<Self>where
Self: UpperHex,
fn fmt_upper_hex(self) -> FmtUpperHex<Self>where
Self: UpperHex,
Causes
self
to use its UpperHex
implementation when
Debug
-formatted.source§impl<T> IntoEither for T
impl<T> IntoEither for T
source§fn into_either(self, into_left: bool) -> Either<Self, Self>
fn into_either(self, into_left: bool) -> Either<Self, Self>
Converts
self
into a Left
variant of Either<Self, Self>
if into_left
is true
.
Converts self
into a Right
variant of Either<Self, Self>
otherwise. Read moresource§fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
Converts
self
into a Left
variant of Either<Self, Self>
if into_left(&self)
returns true
.
Converts self
into a Right
variant of Either<Self, Self>
otherwise. Read moresource§impl<T> Pipe for Twhere
T: ?Sized,
impl<T> Pipe for Twhere
T: ?Sized,
source§fn pipe<R>(self, func: impl FnOnce(Self) -> R) -> Rwhere
Self: Sized,
fn pipe<R>(self, func: impl FnOnce(Self) -> R) -> Rwhere
Self: Sized,
Pipes by value. This is generally the method you want to use. Read more
source§fn pipe_ref<'a, R>(&'a self, func: impl FnOnce(&'a Self) -> R) -> Rwhere
R: 'a,
fn pipe_ref<'a, R>(&'a self, func: impl FnOnce(&'a Self) -> R) -> Rwhere
R: 'a,
Borrows
self
and passes that borrow into the pipe function. Read moresource§fn pipe_ref_mut<'a, R>(&'a mut self, func: impl FnOnce(&'a mut Self) -> R) -> Rwhere
R: 'a,
fn pipe_ref_mut<'a, R>(&'a mut self, func: impl FnOnce(&'a mut Self) -> R) -> Rwhere
R: 'a,
Mutably borrows
self
and passes that borrow into the pipe function. Read moresource§fn pipe_borrow<'a, B, R>(&'a self, func: impl FnOnce(&'a B) -> R) -> R
fn pipe_borrow<'a, B, R>(&'a self, func: impl FnOnce(&'a B) -> R) -> R
source§fn pipe_borrow_mut<'a, B, R>(
&'a mut self,
func: impl FnOnce(&'a mut B) -> R,
) -> R
fn pipe_borrow_mut<'a, B, R>( &'a mut self, func: impl FnOnce(&'a mut B) -> R, ) -> R
source§fn pipe_as_ref<'a, U, R>(&'a self, func: impl FnOnce(&'a U) -> R) -> R
fn pipe_as_ref<'a, U, R>(&'a self, func: impl FnOnce(&'a U) -> R) -> R
Borrows
self
, then passes self.as_ref()
into the pipe function.source§fn pipe_as_mut<'a, U, R>(&'a mut self, func: impl FnOnce(&'a mut U) -> R) -> R
fn pipe_as_mut<'a, U, R>(&'a mut self, func: impl FnOnce(&'a mut U) -> R) -> R
Mutably borrows
self
, then passes self.as_mut()
into the pipe
function.source§fn pipe_deref<'a, T, R>(&'a self, func: impl FnOnce(&'a T) -> R) -> R
fn pipe_deref<'a, T, R>(&'a self, func: impl FnOnce(&'a T) -> R) -> R
Borrows
self
, then passes self.deref()
into the pipe function.source§impl<T> Pointable for T
impl<T> Pointable for T
source§impl<T> Tap for T
impl<T> Tap for T
source§fn tap_borrow<B>(self, func: impl FnOnce(&B)) -> Self
fn tap_borrow<B>(self, func: impl FnOnce(&B)) -> Self
Immutable access to the
Borrow<B>
of a value. Read moresource§fn tap_borrow_mut<B>(self, func: impl FnOnce(&mut B)) -> Self
fn tap_borrow_mut<B>(self, func: impl FnOnce(&mut B)) -> Self
Mutable access to the
BorrowMut<B>
of a value. Read moresource§fn tap_ref<R>(self, func: impl FnOnce(&R)) -> Self
fn tap_ref<R>(self, func: impl FnOnce(&R)) -> Self
Immutable access to the
AsRef<R>
view of a value. Read moresource§fn tap_ref_mut<R>(self, func: impl FnOnce(&mut R)) -> Self
fn tap_ref_mut<R>(self, func: impl FnOnce(&mut R)) -> Self
Mutable access to the
AsMut<R>
view of a value. Read moresource§fn tap_deref<T>(self, func: impl FnOnce(&T)) -> Self
fn tap_deref<T>(self, func: impl FnOnce(&T)) -> Self
Immutable access to the
Deref::Target
of a value. Read moresource§fn tap_deref_mut<T>(self, func: impl FnOnce(&mut T)) -> Self
fn tap_deref_mut<T>(self, func: impl FnOnce(&mut T)) -> Self
Mutable access to the
Deref::Target
of a value. Read moresource§fn tap_dbg(self, func: impl FnOnce(&Self)) -> Self
fn tap_dbg(self, func: impl FnOnce(&Self)) -> Self
Calls
.tap()
only in debug builds, and is erased in release builds.source§fn tap_mut_dbg(self, func: impl FnOnce(&mut Self)) -> Self
fn tap_mut_dbg(self, func: impl FnOnce(&mut Self)) -> Self
Calls
.tap_mut()
only in debug builds, and is erased in release
builds.source§fn tap_borrow_dbg<B>(self, func: impl FnOnce(&B)) -> Self
fn tap_borrow_dbg<B>(self, func: impl FnOnce(&B)) -> Self
Calls
.tap_borrow()
only in debug builds, and is erased in release
builds.source§fn tap_borrow_mut_dbg<B>(self, func: impl FnOnce(&mut B)) -> Self
fn tap_borrow_mut_dbg<B>(self, func: impl FnOnce(&mut B)) -> Self
Calls
.tap_borrow_mut()
only in debug builds, and is erased in release
builds.source§fn tap_ref_dbg<R>(self, func: impl FnOnce(&R)) -> Self
fn tap_ref_dbg<R>(self, func: impl FnOnce(&R)) -> Self
Calls
.tap_ref()
only in debug builds, and is erased in release
builds.source§fn tap_ref_mut_dbg<R>(self, func: impl FnOnce(&mut R)) -> Self
fn tap_ref_mut_dbg<R>(self, func: impl FnOnce(&mut R)) -> Self
Calls
.tap_ref_mut()
only in debug builds, and is erased in release
builds.source§fn tap_deref_dbg<T>(self, func: impl FnOnce(&T)) -> Self
fn tap_deref_dbg<T>(self, func: impl FnOnce(&T)) -> Self
Calls
.tap_deref()
only in debug builds, and is erased in release
builds.