Struct NovaKey 

pub struct NovaKey<A: Arith, CM: CommitmentDef> { /* private fields */ }

NovaKey is Nova’s decider key.

Trait Implementations

impl<A: Arith, CM: CommitmentDef> CanonicalDeserialize for NovaKey<A, CM>

fn deserialize_with_mode<R: Read>( reader: R, compress: Compress, validate: Validate, ) -> Result<Self, SerializationError>

The general deserialize method that takes in customization flags.

fn deserialize_compressed<R>(reader: R) -> Result<Self, SerializationError>

where R: Read,

Reads Self from reader using the compressed form if applicable. Performs validation if applicable.

fn deserialize_compressed_unchecked<R>( reader: R, ) -> Result<Self, SerializationError>

where R: Read,

Reads Self from reader using the compressed form if applicable, without validating the deserialized value.

fn deserialize_uncompressed<R>(reader: R) -> Result<Self, SerializationError>

where R: Read,

Reads Self from reader using the uncompressed form. Performs validation if applicable.

fn deserialize_uncompressed_unchecked<R>( reader: R, ) -> Result<Self, SerializationError>

where R: Read,

Reads Self from reader using the uncompressed form, without validating the deserialized value.

impl<A: Arith, CM: CommitmentDef> CanonicalSerialize for NovaKey<A, CM>

fn serialize_with_mode<W: Write>( &self, writer: W, compress: Compress, ) -> Result<(), SerializationError>

The general serialize method that takes in customization flags.

fn serialized_size(&self, compress: Compress) -> usize

Returns the size in bytes of the serialized version of self with the given compression mode.

fn serialize_compressed<W>(&self, writer: W) -> Result<(), SerializationError>

where W: Write,

Serializes self into writer using the compressed form if applicable.

fn compressed_size(&self) -> usize

Returns the size in bytes of the compressed serialized version of self.

fn serialize_uncompressed<W>(&self, writer: W) -> Result<(), SerializationError>

where W: Write,

Serializes self into writer using the uncompressed form.

fn uncompressed_size(&self) -> usize

Returns the size in bytes of the uncompressed serialized version of self.

impl<A: Clone + Arith, CM: Clone + CommitmentDef> Clone for NovaKey<A, CM>

where CM::Key: Clone,

fn clone(&self) -> NovaKey<A, CM>

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl<A: Arith, CM: CommitmentDef> DeciderKey for NovaKey<A, CM>

type ProverKey = NovaKey<A, CM>

DeciderKey::ProverKey is the type of the prover key contained in the decider key.

type VerifierKey = ()

DeciderKey::VerifierKey is the type of the verifier key contained in the decider key.

fn to_pk(&self) -> &Self::ProverKey

DeciderKey::to_pk returns the reference to the prover key.

fn to_vk(&self) -> &Self::VerifierKey

DeciderKey::to_vk returns the reference to the verifier key.

fn to_arith_config(&self) -> ArithConfig

DeciderKey::to_arith_config returns the constraint system configuration.

impl<A, CM> Relation<IncomingWitness<CM>, IncomingInstance<CM>> for NovaKey<A, CM>

where A: ArithRelation<Vec<CM::Scalar>, Vec<CM::Scalar>>, CM: CommitmentOps,

type Error = Error

Relation::Error defines the error type that may occur when checking the relation.

fn check_relation(&self, w: &IW<CM>, u: &IU<CM>) -> Result<(), Self::Error>

Relation::check_relation returns Ok(()) when w and u satisfy self, or an error otherwise.

impl<A, CM> Relation<RunningWitness<CM>, RunningInstance<CM>> for NovaKey<A, CM>

where A: for<'a> ArithRelation<RelaxedWitness<&'a [CM::Scalar]>, RelaxedInstance<&'a [CM::Scalar]>>, CM: CommitmentOps,

type Error = Error

Relation::Error defines the error type that may occur when checking the relation.

fn check_relation(&self, w: &RW<CM>, u: &RU<CM>) -> Result<(), Self::Error>

Relation::check_relation returns Ok(()) when w and u satisfy self, or an error otherwise.

impl<A, CM> Relation<TaggedVec<<CM as CommitmentDef>::Scalar, 'w'>, TaggedVec<<CM as CommitmentDef>::Scalar, 'u'>> for NovaKey<A, CM>

where A: ArithRelation<Vec<CM::Scalar>, Vec<CM::Scalar>>, CM: CommitmentDef,

type Error = Error

Relation::Error defines the error type that may occur when checking the relation.

fn check_relation( &self, w: &PW<CM::Scalar>, u: &PU<CM::Scalar>, ) -> Result<(), Self::Error>

Relation::check_relation returns Ok(()) when w and u satisfy self, or an error otherwise.

impl<A: Arith, CM: CommitmentDef> Valid for NovaKey<A, CM>

const TRIVIAL_CHECK: bool

Whether the check method is trivial (i.e. always returns Ok(())). If this is true, the batch_check method will skip all checks and return Ok(()). This should be set to true for types where check is trivial, e.g. integers, field elements, etc. This is false by default. This is primarily an optimization to skip unnecessary checks in batch_check.

fn check(&self) -> Result<(), SerializationError>

Checks whether self is valid. If self is valid, returns Ok(()). Otherwise, returns an error describing the failure. This method is called by deserialize_with_mode if validate is Validate::Yes.

fn batch_check<'a>( batch: impl Iterator<Item = &'a Self> + Send, ) -> Result<(), SerializationError>

where Self: 'a,

Checks whether all items in batch are valid. If all items are valid, returns Ok(()). Otherwise, returns an error describing the first failure.

impl<A: Arith, CM: CommitmentOps> WitnessInstanceSampler<IncomingWitness<CM>, IncomingInstance<CM>> for NovaKey<A, CM>

type Source = Assignments<<CM as CommitmentDef>::Scalar, Vec<<CM as CommitmentDef>::Scalar>>

WitnessInstanceSampler::Source defines the type of the source from which a satisfying pair is sampled.

type Error = Error

WitnessInstanceSampler::Error defines the error type that may occur when sampling a satisfying pair.

fn sample( &self, z: Self::Source, rng: impl RngCore, ) -> Result<(IW<CM>, IU<CM>), Error>

WitnessInstanceSampler::sample draws a random satisfying pair.

impl<A, CM> WitnessInstanceSampler<RunningWitness<CM>, RunningInstance<CM>> for NovaKey<A, CM>

where A: for<'a> ArithRelation<RelaxedWitness<&'a [CM::Scalar]>, RelaxedInstance<&'a [CM::Scalar]>, Evaluation = Vec<CM::Scalar>>, CM: CommitmentOps,

type Source = ()

WitnessInstanceSampler::Source defines the type of the source from which a satisfying pair is sampled.

type Error = Error

WitnessInstanceSampler::Error defines the error type that may occur when sampling a satisfying pair.

fn sample( &self, _: Self::Source, rng: impl RngCore, ) -> Result<(RW<CM>, RU<CM>), Error>

WitnessInstanceSampler::sample draws a random satisfying pair.

impl<A: Arith, CM: CommitmentDef> WitnessInstanceSampler<TaggedVec<<CM as CommitmentDef>::Scalar, 'w'>, TaggedVec<<CM as CommitmentDef>::Scalar, 'u'>> for NovaKey<A, CM>

type Source = Assignments<<CM as CommitmentDef>::Scalar, Vec<<CM as CommitmentDef>::Scalar>>

WitnessInstanceSampler::Source defines the type of the source from which a satisfying pair is sampled.

type Error = Error

WitnessInstanceSampler::Error defines the error type that may occur when sampling a satisfying pair.

fn sample( &self, z: Self::Source, _rng: impl RngCore, ) -> Result<(PW<CM::Scalar>, PU<CM::Scalar>), Error>

WitnessInstanceSampler::sample draws a random satisfying pair.