pub struct FoldedProof {
pub leaf: Bytes32,
pub root: Bytes32,
}Expand description
A decoded, folded inclusion proof: its declared leaf and the root its merkle path folds to.
The injected ContentCrypto::decode_and_fold produces this from the wire proof, returning
Some ONLY when the path folds consistently to a single root (rule 3). The remaining equalities
(leaf-binding, root-anchoring) are enforced by verify_inclusion.
Fields§
§leaf: Bytes32The leaf the proof declares (MUST equal SHA-256(ciphertext) — rule 2).
root: Bytes32The root the proof’s path folds to (MUST equal the chain-anchored trusted_root — rule 4).
Trait Implementations§
Source§impl Clone for FoldedProof
impl Clone for FoldedProof
Source§fn clone(&self) -> FoldedProof
fn clone(&self) -> FoldedProof
Returns a duplicate of the value. Read more
1.0.0 (const: unstable) · Source§fn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
Performs copy-assignment from
source. Read moreimpl Copy for FoldedProof
Source§impl Debug for FoldedProof
impl Debug for FoldedProof
impl Eq for FoldedProof
Source§impl PartialEq for FoldedProof
impl PartialEq for FoldedProof
impl StructuralPartialEq for FoldedProof
Auto Trait Implementations§
impl Freeze for FoldedProof
impl RefUnwindSafe for FoldedProof
impl Send for FoldedProof
impl Sync for FoldedProof
impl Unpin for FoldedProof
impl UnsafeUnpin for FoldedProof
impl UnwindSafe for FoldedProof
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