Struct snarkvm_dpc::virtual_machine::noop::Noop
source · [−]pub struct Noop<N: Network>(_);
Implementations
Trait Implementations
sourceimpl<N: Network> Function<N> for Noop<N>
impl<N: Network> Function<N> for Noop<N>
sourcefn function_id(&self) -> N::FunctionID
fn function_id(&self) -> N::FunctionID
Returns the function ID.
sourcefn function_type(&self) -> FunctionType
fn function_type(&self) -> FunctionType
Returns the circuit type.
sourcefn synthesize<CS: ConstraintSystem<N::InnerScalarField>>(
&self,
cs: &mut CS,
public: &ProgramPublicVariables<N>
) -> Result<(), SynthesisError>
fn synthesize<CS: ConstraintSystem<N::InnerScalarField>>(
&self,
cs: &mut CS,
public: &ProgramPublicVariables<N>
) -> Result<(), SynthesisError>
Synthesizes the circuit inside the given constraint system.
sourcefn execute(
&self,
public: ProgramPublicVariables<N>,
_private: &dyn ProgramPrivateVariables<N>
) -> Result<N::ProgramProof>
fn execute(
&self,
public: ProgramPublicVariables<N>,
_private: &dyn ProgramPrivateVariables<N>
) -> Result<N::ProgramProof>
Executes the function, returning an proof.
sourcefn verify(
&self,
public: &ProgramPublicVariables<N>,
proof: &N::ProgramProof
) -> bool
fn verify(
&self,
public: &ProgramPublicVariables<N>,
proof: &N::ProgramProof
) -> bool
Returns true if the execution of the function is valid.
Auto Trait Implementations
impl<N> RefUnwindSafe for Noop<N> where
N: RefUnwindSafe,
impl<N> Send for Noop<N>
impl<N> Sync for Noop<N>
impl<N> Unpin for Noop<N> where
N: Unpin,
impl<N> UnwindSafe for Noop<N> where
N: UnwindSafe,
Blanket Implementations
sourceimpl<T> BorrowMut<T> for T where
T: ?Sized,
impl<T> BorrowMut<T> for T where
T: ?Sized,
const: unstable · sourcepub fn borrow_mut(&mut self) -> &mut T
pub fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more