ResourceProver

Struct ResourceProver 

Source
pub struct ResourceProver { /* private fields */ }
Expand description

Object used to compute a result

Implementations§

Source§

impl ResourceProver

Source

pub fn expected_steps(&self) -> u64

The expected number of steps is pow(2, difficulty). The process is probabilistic, so the actual number of steps required may be more or less.

The length of each step depends on data size. Total expected time is proportional to length * pow(2, difficulty).

Source

pub fn try_step(&mut self) -> Option<u64>

Try one step; if successful return the proof result.

(This does not invalidate the prover. Continuing might find another valid solution.)

Source

pub fn solve(&mut self) -> u64

Keep stepping until a solution is found. Expected time can be calculated roughly (see expected_steps) but there is no upper bound (besides u64::MAX).

Auto Trait Implementations§

Blanket Implementations§

Source§

impl<T> Any for T
where T: 'static + ?Sized,

Source§

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more
Source§

impl<T> Borrow<T> for T
where T: ?Sized,

Source§

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more
Source§

impl<T> BorrowMut<T> for T
where T: ?Sized,

Source§

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more
Source§

impl<T> From<T> for T

Source§

fn from(t: T) -> T

Returns the argument unchanged.

Source§

impl<T, U> Into<U> for T
where U: From<T>,

Source§

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

Source§

impl<T, U> TryFrom<U> for T
where U: Into<T>,

Source§

type Error = Infallible

The type returned in the event of a conversion error.
Source§

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

Performs the conversion.
Source§

impl<T, U> TryInto<U> for T
where U: TryFrom<T>,

Source§

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.
Source§

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

Performs the conversion.