pub struct CpuProverBuilder { /* private fields */ }Expand description
Builder for creating a configured cached CPU prover.
Implementations§
Source§impl CpuProverBuilder
impl CpuProverBuilder
pub fn new(app_bin_path: impl AsRef<Path>) -> Self
pub fn with_worker_threads(self, worker_threads: usize) -> Self
pub fn maybe_worker_threads(self, worker_threads: Option<usize>) -> Self
pub fn with_cycles(self, cycles: usize) -> Self
pub fn maybe_cycles(self, cycles: Option<usize>) -> Self
pub fn with_ram_bound(self, ram_bound: usize) -> Self
pub fn maybe_ram_bound(self, ram_bound: Option<usize>) -> Self
pub fn with_security(self, security: SecurityLevel) -> Self
pub fn build(self) -> Result<CpuProver>
Auto Trait Implementations§
impl Freeze for CpuProverBuilder
impl RefUnwindSafe for CpuProverBuilder
impl Send for CpuProverBuilder
impl Sync for CpuProverBuilder
impl Unpin for CpuProverBuilder
impl UnwindSafe for CpuProverBuilder
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