pub struct DevProof {
pub security: SecurityLevel,
pub app_bin_hash: [u8; 32],
pub input_words_hash: [u8; 32],
pub receipt: Receipt,
pub cycles: u64,
}Expand description
Development proof emitted by the transpiler-based prover.
Fields§
§security: SecurityLevel§app_bin_hash: [u8; 32]§input_words_hash: [u8; 32]§receipt: Receipt§cycles: u64Trait Implementations§
Source§impl<'de> Deserialize<'de> for DevProof
impl<'de> Deserialize<'de> for DevProof
Source§fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>where
__D: Deserializer<'de>,
fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>where
__D: Deserializer<'de>,
Deserialize this value from the given Serde deserializer. Read more
Auto Trait Implementations§
impl Freeze for DevProof
impl RefUnwindSafe for DevProof
impl Send for DevProof
impl Sync for DevProof
impl Unpin for DevProof
impl UnwindSafe for DevProof
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
Source§impl<T> CloneToUninit for Twhere
T: Clone,
impl<T> CloneToUninit for Twhere
T: Clone,
§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