Struct GpuProver

Source

pub struct GpuProver { /* private fields */ }

Expand description

GPU prover wrapper that owns and reuses a single UnrolledProver instance.

§Poisoning

Actual proving happens on a separate thread, and in case the program cannot be proven, the prover can panic. Prover panics are not unwind safe, so the thread and the prover will be disposed of, making this prover object poisoned, e.g. not usable for future proving attempts. Once poisoned, the prover will return an error on all operations.

After poisioning, you can instantiate a new prover if required.

Struct GpuProver Copy item path

§Poisoning

Implementations§

impl GpuProver

pub fn is_poisoned(&self) -> bool

Trait Implementations§

impl Drop for GpuProver

fn drop(&mut self)

impl Prover for GpuProver

fn prove(&self, input_words: &[u32]) -> Result<ProveResult>

Auto Trait Implementations§

impl !Freeze for GpuProver

impl RefUnwindSafe for GpuProver

impl Send for GpuProver

impl Sync for GpuProver

impl Unpin for GpuProver

impl UnwindSafe for GpuProver

Blanket Implementations§

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

fn type_id(&self) -> TypeId

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

fn borrow(&self) -> &T

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

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

impl<T> CudaVariable<T> for T

unsafe fn as_ref(&self) -> &T

fn as_ptr(&self) -> *const T

fn as_c_void_ptr(&self) -> *const c_void

impl<T> CudaVariableMut<T> for T

unsafe fn as_mut(&mut self) -> &mut T

fn as_mut_ptr(&mut self) -> *mut T

fn as_mut_c_void_ptr(&mut self) -> *mut c_void

impl<T> From<T> for T

fn from(t: T) -> T

impl<T> Instrument for T

fn instrument(self, span: Span) -> Instrumented<Self>

fn in_current_span(self) -> Instrumented<Self>

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

fn into(self) -> U

impl<T> IntoEither for T

fn into_either(self, into_left: bool) -> Either<Self, Self>

fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>where F: FnOnce(&Self) -> bool,

impl<T> Pointable for T

const ALIGN: usize

type Init = T

unsafe fn init(init: <T as Pointable>::Init) -> usize

unsafe fn deref<'a>(ptr: usize) -> &'a T

unsafe fn deref_mut<'a>(ptr: usize) -> &'a mut T

unsafe fn drop(ptr: usize)

impl<T> Same for T

type Output = T

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

type Error = Infallible

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

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

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

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

impl<T> TyEq<T> for T

fn rw(self) -> T

fn rwi(x: T) -> T

impl<T> WithSubscriber for T

fn with_subscriber<S>(self, subscriber: S) -> WithDispatch<Self>where S: Into<Dispatch>,

fn with_current_subscriber(self) -> WithDispatch<Self>

Struct GpuProver

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

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

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

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

fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
where F: FnOnce(&Self) -> bool,

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

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

fn with_subscriber<S>(self, subscriber: S) -> WithDispatch<Self>
where S: Into<Dispatch>,