Struct snarkvm_marlin::constraints::verifier::MarlinVerificationGadget

source · [−]

pub struct MarlinVerificationGadget<TargetField: PrimeField, BaseField: PrimeField, PC: PolynomialCommitment<TargetField, BaseField>, PCG: PCCheckVar<TargetField, PC, BaseField>, MM: MarlinMode>(_);

Expand description

The Marlin verification gadget.

Implementations

source

impl<TargetField, BaseField, PC, PCG, MM: MarlinMode> MarlinVerificationGadget<TargetField, BaseField, PC, PCG, MM> where
 TargetField: PrimeField,
 BaseField: PrimeField + PoseidonDefaultParametersField,
 PC: PolynomialCommitment<TargetField, BaseField>,
 PCG: PCCheckVar<TargetField, PC, BaseField>,

source

pub const PROTOCOL_NAME: &'static [u8 ]

The encoding of the protocol name for use as seed.

source

pub fn prepared_verify<CS: ConstraintSystem<BaseField>, PR: FiatShamirRng<TargetField, BaseField>, R: FiatShamirRngVar<TargetField, BaseField, PR>>(
 cs: CS,
 prepared_verifying_key: &PreparedCircuitVerifyingKeyVar<TargetField, BaseField, PC, PCG, PR, R, MM>,
 public_input: &[NonNativeFieldVar<TargetField, BaseField>],
 proof: &ProofVar<TargetField, BaseField, PC, PCG>
) -> Result<Boolean, MarlinError>

Verify with an established hashchain initial state.

source

pub fn verify<CS: ConstraintSystem<BaseField>, PR: FiatShamirRng<TargetField, BaseField>, R: FiatShamirRngVar<TargetField, BaseField, PR>>(
 cs: CS,
 verifying_key: &CircuitVerifyingKeyVar<TargetField, BaseField, PC, PCG, MM>,
 public_input: &[NonNativeFieldVar<TargetField, BaseField>],
 proof: &ProofVar<TargetField, BaseField, PC, PCG>
) -> Result<Boolean, MarlinError>

Verify with an established hashchain initial state.

Trait Implementations

source

impl<TargetField, BaseField, PC, PCG, FS, MM, V> SNARKVerifierGadget<MarlinSNARK<TargetField, BaseField, PC, FS, MM, V>> for MarlinVerificationGadget<TargetField, BaseField, PC, PCG, MM> where
 TargetField: PrimeField,
 BaseField: PrimeField + PoseidonDefaultParametersField,
 PC: PolynomialCommitment<TargetField, BaseField>,
 PCG: PCCheckVar<TargetField, PC, BaseField>,
 FS: FiatShamirRng<TargetField, BaseField>,
 MM: MarlinMode,
 V: ToConstraintField<TargetField> + Clone,

type InputGadget = NonNativeFieldInputVar<TargetField, BaseField>

type PreparedVerificationKeyGadget = PreparedCircuitVerifyingKeyVar<TargetField, BaseField, PC, PCG, FSA<TargetField, BaseField>, FSG<TargetField, BaseField>, MM>

type ProofGadget = ProofVar<TargetField, BaseField, PC, PCG>

type VerificationKeyGadget = CircuitVerifyingKeyVar<TargetField, BaseField, PC, PCG, MM>

source

fn input_gadget_from_bytes<CS: ConstraintSystem<BaseField>>(
cs: CS,
bytes: &[UInt8 ]
) -> Result<Self::InputGadget, SynthesisError>

source

fn check_verify<CS: ConstraintSystem<BaseField>>(
 cs: CS,
 verification_key: &Self::VerificationKeyGadget,
 input: &Self::InputGadget,
 proof: &Self::ProofGadget
) -> Result<(), SynthesisError>

source

fn prepared_check_verify<CS: ConstraintSystem<BaseField>>(
 cs: CS,
 prepared_verification_key: &Self::PreparedVerificationKeyGadget,
 input: &Self::InputGadget,
 proof: &Self::ProofGadget
) -> Result<(), SynthesisError>

Auto Trait Implementations

impl<TargetField, BaseField, PC, PCG, MM> RefUnwindSafe for MarlinVerificationGadget<TargetField, BaseField, PC, PCG, MM> where
 BaseField: RefUnwindSafe,
 MM: RefUnwindSafe,
 PC: RefUnwindSafe,
 PCG: RefUnwindSafe,
 TargetField: RefUnwindSafe,

impl<TargetField, BaseField, PC, PCG, MM> Send for MarlinVerificationGadget<TargetField, BaseField, PC, PCG, MM> where
PC: Send,
PCG: Send,

impl<TargetField, BaseField, PC, PCG, MM> Sync for MarlinVerificationGadget<TargetField, BaseField, PC, PCG, MM> where
PC: Sync,
PCG: Sync,

impl<TargetField, BaseField, PC, PCG, MM> Unpin for MarlinVerificationGadget<TargetField, BaseField, PC, PCG, MM> where
 BaseField: Unpin,
 MM: Unpin,
 PC: Unpin,
 PCG: Unpin,
 TargetField: Unpin,

impl<TargetField, BaseField, PC, PCG, MM> UnwindSafe for MarlinVerificationGadget<TargetField, BaseField, PC, PCG, MM> where
 BaseField: UnwindSafe,
 MM: UnwindSafe,
 PC: UnwindSafe,
 PCG: UnwindSafe,
 TargetField: UnwindSafe,

Blanket Implementations

source

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

source

pub fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more

source

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

const: unstable · source

pub fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more

source

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

const: unstable · source

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

Mutably borrows from an owned value. Read more

source

impl<T> From<T> for T

const: unstable · source

pub fn from(t: T) -> T

Performs the conversion.

source

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

const: unstable · source

pub fn into(self) -> U

Performs the conversion.

impl<T> Pointable for T

pub const ALIGN: usize

The alignment of pointer.

type Init = T

The type for initializers.

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

Initializes a with the given initializer. Read more

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

Dereferences the given pointer. Read more

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

Mutably dereferences the given pointer. Read more

pub unsafe fn drop(ptr: usize)

Drops the object pointed to by the given pointer. Read more

source

impl<T> Same<T> for T

type Output = T

Should always be Self

source

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

type Error = Infallible

The type returned in the event of a conversion error.

const: unstable · source

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

Performs the conversion.

source

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

type Error = >::Error

The type returned in the event of a conversion error.

const: unstable · source

pub fn try_into(self) -> Result<U, >::Error>

Performs the conversion.

Struct snarkvm_marlin::constraints::verifier::MarlinVerificationGadget

Implementations

impl<TargetField, BaseField, PC, PCG, MM: MarlinMode> MarlinVerificationGadget<TargetField, BaseField, PC, PCG, MM> where TargetField: PrimeField, BaseField: PrimeField + PoseidonDefaultParametersField, PC: PolynomialCommitment<TargetField, BaseField>, PCG: PCCheckVar<TargetField, PC, BaseField>,

pub const PROTOCOL_NAME: &'static [u8]

Trait Implementations

type InputGadget = NonNativeFieldInputVar<TargetField, BaseField>

type PreparedVerificationKeyGadget = PreparedCircuitVerifyingKeyVar<TargetField, BaseField, PC, PCG, FSA<TargetField, BaseField>, FSG<TargetField, BaseField>, MM>

type ProofGadget = ProofVar<TargetField, BaseField, PC, PCG>

type VerificationKeyGadget = CircuitVerifyingKeyVar<TargetField, BaseField, PC, PCG, MM>

fn input_gadget_from_bytes<CS: ConstraintSystem<BaseField>>( cs: CS, bytes: &[UInt8]) -> Result<Self::InputGadget, SynthesisError>

fn check_verify<CS: ConstraintSystem<BaseField>>( cs: CS, verification_key: &Self::VerificationKeyGadget, input: &Self::InputGadget, proof: &Self::ProofGadget) -> Result<(), SynthesisError>

fn prepared_check_verify<CS: ConstraintSystem<BaseField>>( cs: CS, prepared_verification_key: &Self::PreparedVerificationKeyGadget, input: &Self::InputGadget, proof: &Self::ProofGadget) -> Result<(), SynthesisError>

Auto Trait Implementations

impl<TargetField, BaseField, PC, PCG, MM> RefUnwindSafe for MarlinVerificationGadget<TargetField, BaseField, PC, PCG, MM> where BaseField: RefUnwindSafe, MM: RefUnwindSafe, PC: RefUnwindSafe, PCG: RefUnwindSafe, TargetField: RefUnwindSafe,

impl<TargetField, BaseField, PC, PCG, MM> Send for MarlinVerificationGadget<TargetField, BaseField, PC, PCG, MM> where PC: Send, PCG: Send,

impl<TargetField, BaseField, PC, PCG, MM> Sync for MarlinVerificationGadget<TargetField, BaseField, PC, PCG, MM> where PC: Sync, PCG: Sync,

impl<TargetField, BaseField, PC, PCG, MM> Unpin for MarlinVerificationGadget<TargetField, BaseField, PC, PCG, MM> where BaseField: Unpin, MM: Unpin, PC: Unpin, PCG: Unpin, TargetField: Unpin,

impl<TargetField, BaseField, PC, PCG, MM> UnwindSafe for MarlinVerificationGadget<TargetField, BaseField, PC, PCG, MM> where BaseField: UnwindSafe, MM: UnwindSafe, PC: UnwindSafe, PCG: UnwindSafe, TargetField: UnwindSafe,

Blanket Implementations

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

pub fn type_id(&self) -> TypeId

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

pub fn borrow(&self) -> &T

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

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

impl<T> From<T> for T

pub fn from(t: T) -> T

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

pub fn into(self) -> U

impl<T> Pointable for T

pub const ALIGN: usize

type Init = T

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

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

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

pub unsafe fn drop(ptr: usize)

impl<T> Same<T> for T

type Output = T

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

type Error = Infallible

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

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

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

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

impl<V, T> VZip<V> for T where V: MultiLane<T>,

pub fn vzip(self) -> V

impl<TargetField, BaseField, PC, PCG, MM: MarlinMode> MarlinVerificationGadget<TargetField, BaseField, PC, PCG, MM> where
TargetField: PrimeField,
BaseField: PrimeField + PoseidonDefaultParametersField,
PC: PolynomialCommitment<TargetField, BaseField>,
PCG: PCCheckVar<TargetField, PC, BaseField>,

pub const PROTOCOL_NAME: &'static [u8 ]

fn input_gadget_from_bytes<CS: ConstraintSystem<BaseField>>(
cs: CS,
bytes: &[UInt8 ]
) -> Result<Self::InputGadget, SynthesisError>

fn check_verify<CS: ConstraintSystem<BaseField>>(
cs: CS,
verification_key: &Self::VerificationKeyGadget,
input: &Self::InputGadget,
proof: &Self::ProofGadget
) -> Result<(), SynthesisError>

fn prepared_check_verify<CS: ConstraintSystem<BaseField>>(
cs: CS,
prepared_verification_key: &Self::PreparedVerificationKeyGadget,
input: &Self::InputGadget,
proof: &Self::ProofGadget
) -> Result<(), SynthesisError>

impl<TargetField, BaseField, PC, PCG, MM> RefUnwindSafe for MarlinVerificationGadget<TargetField, BaseField, PC, PCG, MM> where
BaseField: RefUnwindSafe,
MM: RefUnwindSafe,
PC: RefUnwindSafe,
PCG: RefUnwindSafe,
TargetField: RefUnwindSafe,

impl<TargetField, BaseField, PC, PCG, MM> Send for MarlinVerificationGadget<TargetField, BaseField, PC, PCG, MM> where
PC: Send,
PCG: Send,

impl<TargetField, BaseField, PC, PCG, MM> Sync for MarlinVerificationGadget<TargetField, BaseField, PC, PCG, MM> where
PC: Sync,
PCG: Sync,

impl<TargetField, BaseField, PC, PCG, MM> Unpin for MarlinVerificationGadget<TargetField, BaseField, PC, PCG, MM> where
BaseField: Unpin,
MM: Unpin,
PC: Unpin,
PCG: Unpin,
TargetField: Unpin,

impl<TargetField, BaseField, PC, PCG, MM> UnwindSafe for MarlinVerificationGadget<TargetField, BaseField, PC, PCG, MM> where
BaseField: UnwindSafe,
MM: UnwindSafe,
PC: UnwindSafe,
PCG: UnwindSafe,
TargetField: UnwindSafe,

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>,

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

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

impl<V, T> VZip<V> for T where
V: MultiLane<T>,