Struct AbstractNovaGadget 

pub struct AbstractNovaGadget<CM, const CHALLENGE_BITS: usize = 128> { /* private fields */ }

AbstractNovaGadget is the in-circuit gadget for AbstractNova.

Trait Implementations

impl<CM, const CHALLENGE_BITS: usize> FoldingSchemeDefGadget for AbstractNovaGadget<CM, CHALLENGE_BITS>

where CM: CommitmentDefGadget<Widget: GroupBasedCommitment>,

type Widget = AbstractNova<<CM as CommitmentDefGadget>::Widget, <CM as CommitmentDefGadget>::ConstraintField, CHALLENGE_BITS>

FoldingSchemeDefGadget::Widget points to the out-of-circuit folding scheme widget.

type CM = CM

FoldingSchemeDefGadget::CM is the commitment scheme gadget.

type RU = RunningInstanceVar<CM>

FoldingSchemeDefGadget::RU is the type of in-circuit running instance variable.

type IU = IncomingInstanceVar<CM>

FoldingSchemeDefGadget::IU is the type of in-circuit incoming instance variable.

type VerifierKey = ()

FoldingSchemeDefGadget::VerifierKey is the type of in-circuit verifier key variable.

type Challenge = [Boolean<<CM as CommitmentDefGadget>::ConstraintField>; CHALLENGE_BITS]

FoldingSchemeDefGadget::Challenge is the type of in-circuit challenge variable.

type Proof<const M: usize, const N: usize> = <CM as CommitmentDefGadget>::CommitmentVar

FoldingSchemeDefGadget::Proof is the type of in-circuit proof variable.

impl<CM, const B: usize> FoldingSchemeFullVerifierGadget<1, 1> for AbstractNovaGadget<CM, B>

where CM: CommitmentDefGadget<Widget: GroupBasedCommitment>, CM::CommitmentVar: CurveVar<<CM::Widget as CommitmentDef>::Commitment, CM::ConstraintField>,

fn verify( _vk: &Self::VerifierKey, transcript: &mut impl TranscriptGadget<CM::ConstraintField>, [U]: [&Self::RU; 1], [u]: [&Self::IU; 1], proof: &Self::Proof<1, 1>, ) -> Result<Self::RU, SynthesisError>

FoldingSchemeFullVerifierGadget::verify defines the proof verification gadget that matches its out-of-circuit widget crate::FoldingSchemeVerifier::verify.

impl<CM, const B: usize> FoldingSchemePartialVerifierGadget<1, 1> for AbstractNovaGadget<CM, B>

where CM: CommitmentDefGadget<Widget: GroupBasedCommitment>,

fn verify_hinted( _vk: &Self::VerifierKey, transcript: &mut impl TranscriptGadget<CM::ConstraintField>, [U]: [&Self::RU; 1], [u]: [&Self::IU; 1], proof: &Self::Proof<1, 1>, ) -> Result<Self::RU, SynthesisError>

FoldingSchemePartialVerifierGadget::verify_hinted defines the proof verification gadget that matches its out-of-circuit widget crate::FoldingSchemeVerifier::verify.

impl<CM, const B: usize> FoldingSchemePartialVerifierGadget<2, 0> for AbstractNovaGadget<CM, B>

where CM: CommitmentDefGadget<Widget: GroupBasedCommitment>,

fn verify_hinted( _vk: &Self::VerifierKey, transcript: &mut impl TranscriptGadget<CM::ConstraintField>, [U1, U2]: [&Self::RU; 2], _: [&Self::IU; 0], proof: &Self::Proof<2, 0>, ) -> Result<Self::RU, SynthesisError>

FoldingSchemePartialVerifierGadget::verify_hinted defines the proof verification gadget that matches its out-of-circuit widget crate::FoldingSchemeVerifier::verify.