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 UnsafeUnpin 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> ⓘ
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