Struct PageOpening

pub struct PageOpening {
    pub tree: Opening<Hash, piecrust::::store::tree::TreeOpening::{constant#0}, piecrust::::store::tree::TreeOpening::{constant#1}>,
    pub inner: InnerPageOpening,
}

A Merkle opening for page in the state.

Fields

tree: Opening<Hash, piecrust::::store::tree::TreeOpening::{constant#0}, piecrust::::store::tree::TreeOpening::{constant#1}>

inner: InnerPageOpening

Implementations

impl PageOpening

pub fn root(&self) -> &Hash

The root of the state tree when this opening was created.

This is meant to be used together with Session::root and verify to prove that a page is in the state.

pub fn verify(&self, page: &[u8]) -> bool

Verify that the given page corresponds to the opening.

To truly verify that the page is in the state, it also needs to be checked that the root of this opening is equal to the Session::root.

Trait Implementations

impl Archive for PageOpening

where Opening<Hash, piecrust::::store::tree::TreeOpening::{constant#0}, piecrust::::store::tree::TreeOpening::{constant#1}>: Archive, InnerPageOpening: Archive,

type Archived = ArchivedPageOpening

The archived representation of this type.

type Resolver = PageOpeningResolver

The resolver for this type. It must contain all the additional information from serializing needed to make the archived type from the normal type.

unsafe fn resolve( &self, pos: usize, resolver: <PageOpening as Archive>::Resolver, out: *mut <PageOpening as Archive>::Archived, )

Creates the archived version of this value at the given position and writes it to the given output.

impl Clone for PageOpening

fn clone(&self) -> PageOpening

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for PageOpening

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

Formats the value using the given formatter.

impl<__D> Deserialize<PageOpening, __D> for <PageOpening as Archive>::Archived

where __D: Fallible + ?Sized, Opening<Hash, piecrust::::store::tree::TreeOpening::{constant#0}, piecrust::::store::tree::TreeOpening::{constant#1}>: Archive, <Opening<Hash, piecrust::::store::tree::TreeOpening::{constant#0}, piecrust::::store::tree::TreeOpening::{constant#1}> as Archive>::Archived: Deserialize<Opening<Hash, piecrust::::store::tree::TreeOpening::{constant#0}, piecrust::::store::tree::TreeOpening::{constant#1}>, __D>, InnerPageOpening: Archive, <InnerPageOpening as Archive>::Archived: Deserialize<InnerPageOpening, __D>,

fn deserialize( &self, deserializer: &mut __D, ) -> Result<PageOpening, <__D as Fallible>::Error>

Deserializes using the given deserializer

impl<__S> Serialize<__S> for PageOpening

where __S: Fallible + ?Sized, Opening<Hash, piecrust::::store::tree::TreeOpening::{constant#0}, piecrust::::store::tree::TreeOpening::{constant#1}>: Serialize<__S>, InnerPageOpening: Serialize<__S>,

fn serialize( &self, serializer: &mut __S, ) -> Result<<PageOpening as Archive>::Resolver, <__S as Fallible>::Error>

Writes the dependencies for the object and returns a resolver that can create the archived type.