Struct ark_marlin::ahp::indexer::IndexInfo

pub struct IndexInfo<F> {
    pub num_variables: usize,
    pub num_constraints: usize,
    pub num_non_zero: usize,
    pub num_instance_variables: usize,
    // some fields omitted
}

Information about the index, including the field of definition, the number of variables, the number of constraints, and the maximum number of non-zero entries in any of the constraint matrices.

Fields

num_variables: usize

The total number of variables in the constraint system.

num_constraints: usize

The number of constraints.

num_non_zero: usize

The maximum number of non-zero entries in any constraint matrix.

num_instance_variables: usize

The number of input elements.

Implementations

impl<F: PrimeField> IndexInfo<F>

pub fn max_degree(&self) -> usize

The maximum degree of polynomial required to represent this index in the the AHP.

Trait Implementations

impl<F> CanonicalDeserialize for IndexInfo<F>

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

Reads Self from reader.

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

Reads Self from reader without compression.

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

Reads self from reader without compression, and without performing validity checks. Should be used only when the input is trusted.

impl<F> CanonicalSerialize for IndexInfo<F>

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

Serializes self into writer. It is left up to a particular type for how it strikes the serialization efficiency vs compression tradeoff. For standard types (e.g. bool, lengths, etc.) typically an uncompressed form is used, whereas for algebraic types compressed forms are used.

fn serialized_size(&self) -> usize

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

Serializes self into writer without compression.

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

Serializes self into writer without compression, and without performing validity checks. Should be used only when there is no danger of adversarial manipulation of the output.

fn uncompressed_size(&self) -> usize

impl<F> Clone for IndexInfo<F>

fn clone(&self) -> Self

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<F: PrimeField> ToBytes for IndexInfo<F>

fn write<W: Write>(&self, w: W) -> Result<()>

Serializes self into writer.

impl<F> Copy for IndexInfo<F>