Struct bm::ProvingBackend

pub struct ProvingBackend<'a, DB: Backend + ?Sized> where
    <DB::Construct as Construct>::Value: Eq + Hash + Ord,  { /* fields omitted */ }

Proving merkle database.

Methods

impl<'a, DB: Backend + ?Sized> ProvingBackend<'a, DB> where
    <DB::Construct as Construct>::Value: Eq + Hash + Ord, 

pub fn new(db: &'a mut DB) -> Self

Create a new proving database.

pub fn from_state(
    state: ProvingState<<DB::Construct as Construct>::Value>,
    db: &'a mut DB
) -> Self

From proving state.

pub fn into_state(self) -> ProvingState<<DB::Construct as Construct>::Value>

Into proving state.

Trait Implementations

impl<'a, DB: Backend + ?Sized> Backend for ProvingBackend<'a, DB> where
    <DB::Construct as Construct>::Value: Eq + Hash + Ord, 

type Construct = DB::Construct

Construct of the backend.

type Error = DB::Error

Error type for DB access.

impl<'a, DB: ReadBackend + ?Sized> ReadBackend for ProvingBackend<'a, DB> where
    <DB::Construct as Construct>::Value: Eq + Hash + Ord, 

fn get(
    &mut self,
    key: &<DB::Construct as Construct>::Value
) -> Result<Option<(<DB::Construct as Construct>::Value, <DB::Construct as Construct>::Value)>, Self::Error>

Get an internal item by key.

impl<'a, DB: WriteBackend + ?Sized> WriteBackend for ProvingBackend<'a, DB> where
    <DB::Construct as Construct>::Value: Eq + Hash + Ord, 

fn rootify(
    &mut self,
    key: &<DB::Construct as Construct>::Value
) -> Result<(), Self::Error>

Rootify a key.

fn unrootify(
    &mut self,
    key: &<DB::Construct as Construct>::Value
) -> Result<(), Self::Error>

Unrootify a key.

fn insert(
    &mut self,
    key: <DB::Construct as Construct>::Value,
    value: (<DB::Construct as Construct>::Value, <DB::Construct as Construct>::Value)
) -> Result<(), Self::Error>

Insert a new internal item. None indicating that we do not know what the internal item is.

impl<'a, DB: Backend + ?Sized> From<ProvingBackend<'a, DB>> for Proofs<<DB::Construct as Construct>::Value> where
    <DB::Construct as Construct>::Value: Eq + Hash + Ord, 

fn from(backend: ProvingBackend<'a, DB>) -> Self

Performs the conversion.