Struct risc0_zkvm::prove::Prover
source · [−]pub struct Prover<'a> { /* private fields */ }
Implementations
sourceimpl<'a> Prover<'a>
impl<'a> Prover<'a>
pub fn new(elf: &[u8], method_id: &[u8]) -> Result<Self>
pub fn new_with_opts(
elf: &[u8],
method_id: &[u8],
opts: ProverOpts<'a>
) -> Result<Self>
pub fn add_input_u8_slice(&mut self, slice: &[u8])
pub fn add_input_u32_slice(&mut self, slice: &[u32])
pub fn get_output(&self) -> Result<&[u8]>
pub fn run(&mut self) -> Result<Receipt>
Auto Trait Implementations
impl<'a> !RefUnwindSafe for Prover<'a>
impl<'a> !Send for Prover<'a>
impl<'a> Sync for Prover<'a>
impl<'a> Unpin for Prover<'a>
impl<'a> !UnwindSafe for Prover<'a>
Blanket Implementations
sourceimpl<T> BorrowMut<T> for T where
T: ?Sized,
impl<T> BorrowMut<T> for T where
T: ?Sized,
const: unstable · sourcefn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more
impl<T> Downcast for T where
T: Any,
impl<T> Downcast for T where
T: Any,
fn into_any(self: Box<T, Global>) -> Box<dyn Any + 'static, Global>
fn into_any(self: Box<T, Global>) -> Box<dyn Any + 'static, Global>
Convert Box<dyn Trait>
(where Trait: Downcast
) to Box<dyn Any>
. Box<dyn Any>
can
then be further downcast
into Box<ConcreteType>
where ConcreteType
implements Trait
. Read more
fn into_any_rc(self: Rc<T>) -> Rc<dyn Any + 'static>
fn into_any_rc(self: Rc<T>) -> Rc<dyn Any + 'static>
Convert Rc<Trait>
(where Trait: Downcast
) to Rc<Any>
. Rc<Any>
can then be
further downcast
into Rc<ConcreteType>
where ConcreteType
implements Trait
. Read more
fn as_any(&self) -> &(dyn Any + 'static)
fn as_any(&self) -> &(dyn Any + 'static)
Convert &Trait
(where Trait: Downcast
) to &Any
. This is needed since Rust cannot
generate &Any
’s vtable from &Trait
’s. Read more
fn as_any_mut(&mut self) -> &mut (dyn Any + 'static)
fn as_any_mut(&mut self) -> &mut (dyn Any + 'static)
Convert &mut Trait
(where Trait: Downcast
) to &Any
. This is needed since Rust cannot
generate &mut Any
’s vtable from &mut Trait
’s. Read more