Struct ArithConfig 

pub struct ArithConfig {
    pub degree: usize,
    pub n_constraints: usize,
    pub n_variables: usize,
    pub n_public_inputs: usize,
    pub n_witnesses: usize,
}

ArithConfig describes the configuration of a constraint system.

Fields

degree: usize

ArithConfig::degree specifies the degree of the constraint system.

n_constraints: usize

ArithConfig::n_constraints specifies the number of constraints in the constraint system.

n_variables: usize

ArithConfig::n_variables specifies the number of variables in the constraint system.

n_public_inputs: usize

ArithConfig::n_public_inputs specifies the number of public inputs in the constraint system.

n_witnesses: usize

ArithConfig::n_witnesses specifies the number of witnesses in the constraint system.

Implementations

impl ArithConfig

pub fn log_constraints(&self) -> usize

ArithConfig::log_constraints returns the base-2 logarithm of the number of constraints in the constraint system.

Trait Implementations

impl CanonicalDeserialize for ArithConfig

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 CanonicalSerialize for ArithConfig

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 Clone for ArithConfig

fn clone(&self) -> ArithConfig

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ArithConfig

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Default for ArithConfig

fn default() -> ArithConfig

Returns the “default value” for a type.

impl PartialEq for ArithConfig

fn eq(&self, other: &ArithConfig) -> bool

Equality operator ==.

fn ne(&self, other: &Rhs) -> bool

Inequality operator !=.

impl StructuralPartialEq for ArithConfig

impl Valid for ArithConfig

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.