pub struct DevProverBuilder { /* private fields */ }Expand description
Builder for creating a configured development prover.
Implementations§
Source§impl DevProverBuilder
impl DevProverBuilder
pub fn new(app_bin_path: impl AsRef<Path>) -> Self
pub fn with_cycles(self, cycles: usize) -> Self
pub fn maybe_cycles(self, cycles: Option<usize>) -> Self
pub fn with_text_path(self, text_path: impl AsRef<Path>) -> Self
pub fn with_security(self, security: SecurityLevel) -> Self
pub fn maybe_text_path(self, text_path: Option<impl AsRef<Path>>) -> Self
pub fn build(self) -> Result<DevProver>
Auto Trait Implementations§
impl Freeze for DevProverBuilder
impl RefUnwindSafe for DevProverBuilder
impl Send for DevProverBuilder
impl Sync for DevProverBuilder
impl Unpin for DevProverBuilder
impl UnwindSafe for DevProverBuilder
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
§impl<T> CudaVariable<T> for T
impl<T> CudaVariable<T> for T
§impl<T> CudaVariableMut<T> for T
impl<T> CudaVariableMut<T> for T
§impl<T> Instrument for T
impl<T> Instrument for T
§fn instrument(self, span: Span) -> Instrumented<Self>
fn instrument(self, span: Span) -> Instrumented<Self>
§fn in_current_span(self) -> Instrumented<Self>
fn in_current_span(self) -> Instrumented<Self>
Source§impl<T> IntoEither for T
impl<T> IntoEither for T
Source§fn into_either(self, into_left: bool) -> Either<Self, Self>
fn into_either(self, into_left: bool) -> Either<Self, Self>
Converts
self into a Left variant of Either<Self, Self>
if into_left is true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read moreSource§fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
Converts
self into a Left variant of Either<Self, Self>
if into_left(&self) returns true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read more