[−][src]Struct grin_core::core::merkle_proof::MerkleProof
A Merkle proof that proves a particular element exists in the MMR.
Fields
mmr_size: u64
The size of the MMR at the time the proof was created.
path: Vec<Hash>
The sibling path from the leaf up to the final sibling hashing to the root.
Methods
impl MerkleProof
[src]
pub fn empty() -> MerkleProof
[src]
The "empty" Merkle proof.
pub fn to_hex(&self) -> String
[src]
Serialize the Merkle proof as a hex string (for api json endpoints)
pub fn from_hex(hex: &str) -> Result<MerkleProof, String>
[src]
Convert hex string representation back to a Merkle proof instance
pub fn verify(
&self,
root: Hash,
element: &dyn PMMRIndexHashable,
node_pos: u64
) -> Result<(), MerkleProofError>
[src]
&self,
root: Hash,
element: &dyn PMMRIndexHashable,
node_pos: u64
) -> Result<(), MerkleProofError>
Verifies the Merkle proof against the provided root hash, element and position in the MMR.
Trait Implementations
impl Writeable for MerkleProof
[src]
impl Readable for MerkleProof
[src]
impl Eq for MerkleProof
[src]
impl Clone for MerkleProof
[src]
fn clone(&self) -> MerkleProof
[src]
fn clone_from(&mut self, source: &Self)
1.0.0[src]
Performs copy-assignment from source
. Read more
impl PartialOrd<MerkleProof> for MerkleProof
[src]
fn partial_cmp(&self, other: &MerkleProof) -> Option<Ordering>
[src]
fn lt(&self, other: &MerkleProof) -> bool
[src]
fn le(&self, other: &MerkleProof) -> bool
[src]
fn gt(&self, other: &MerkleProof) -> bool
[src]
fn ge(&self, other: &MerkleProof) -> bool
[src]
impl PartialEq<MerkleProof> for MerkleProof
[src]
fn eq(&self, other: &MerkleProof) -> bool
[src]
fn ne(&self, other: &MerkleProof) -> bool
[src]
impl Default for MerkleProof
[src]
fn default() -> MerkleProof
[src]
impl Ord for MerkleProof
[src]
fn cmp(&self, other: &MerkleProof) -> Ordering
[src]
fn max(self, other: Self) -> Self
1.21.0[src]
Compares and returns the maximum of two values. Read more
fn min(self, other: Self) -> Self
1.21.0[src]
Compares and returns the minimum of two values. Read more
impl Debug for MerkleProof
[src]
impl Serialize for MerkleProof
[src]
fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error> where
__S: Serializer,
[src]
__S: Serializer,
impl<'de> Deserialize<'de> for MerkleProof
[src]
fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error> where
__D: Deserializer<'de>,
[src]
__D: Deserializer<'de>,
Auto Trait Implementations
impl Send for MerkleProof
impl Sync for MerkleProof
Blanket Implementations
impl<W> Hashed for W where
W: Writeable,
[src]
W: Writeable,
impl<H> ShortIdentifiable for H where
H: Hashed,
[src]
H: Hashed,
fn short_id(&Self, &Hash, u64) -> ShortId
[src]
Generate a short_id via the following -
- extract k0/k1 from block_hash hashed with the nonce (first two u64
values) * initialize a siphasher24 with k0/k1
- self.hash() passing in the siphasher24 instance
- drop the 2 most significant bytes (to return a 6 byte short_id)
impl<T> PMMRIndexHashable for T where
T: Writeable,
[src]
T: Writeable,
fn hash_with_index(&Self, u64) -> Hash
[src]
impl<T, U> Into for T where
U: From<T>,
[src]
U: From<T>,
impl<T> ToOwned for T where
T: Clone,
[src]
T: Clone,
impl<T> From for T
[src]
impl<T, U> TryFrom for T where
U: Into<T>,
[src]
U: Into<T>,
type Error = !
try_from
)The type returned in the event of a conversion error.
fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>
[src]
impl<T> Borrow for T where
T: ?Sized,
[src]
T: ?Sized,
impl<T, U> TryInto for T where
U: TryFrom<T>,
[src]
U: TryFrom<T>,
type Error = <U as TryFrom<T>>::Error
try_from
)The type returned in the event of a conversion error.
fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>
[src]
impl<T> Any for T where
T: 'static + ?Sized,
[src]
T: 'static + ?Sized,
impl<T> BorrowMut for T where
T: ?Sized,
[src]
T: ?Sized,
fn borrow_mut(&mut self) -> &mut T
[src]
impl<T> DeserializeOwned for T where
T: Deserialize<'de>,
[src]
T: Deserialize<'de>,
impl<T> DebugAny for T where
T: Any + Debug,
T: Any + Debug,
impl<T> CloneAny for T where
T: Clone + Any,
T: Clone + Any,
fn clone_any(&self) -> Box<dyn CloneAny + 'static>
fn clone_any_send(&self) -> Box<dyn CloneAny + 'static + Send> where
T: Send,
T: Send,
fn clone_any_sync(&self) -> Box<dyn CloneAny + 'static + Sync> where
T: Sync,
T: Sync,
fn clone_any_send_sync(&self) -> Box<dyn CloneAny + 'static + Send + Sync> where
T: Send + Sync,
T: Send + Sync,
impl<T> UnsafeAny for T where
T: Any,
T: Any,
impl<T> Erased for T
impl<T> Same for T
type Output = T
Should always be Self