Struct ark_marlin::IndexVerifierKey

pub struct IndexVerifierKey<F: PrimeField, PC: PolynomialCommitment<F, DensePolynomial<F>>> {
    pub index_info: IndexInfo<F>,
    pub index_comms: Vec<PC::Commitment>,
    pub verifier_key: PC::VerifierKey,
}

Verification key for a specific index (i.e., R1CS matrices).

Fields

index_info: IndexInfo<F>

Stores information about the size of the index, as well as its field of definition.

index_comms: Vec<PC::Commitment>

Commitments to the indexed polynomials.

verifier_key: PC::VerifierKey

The verifier key for this index, trimmed from the universal SRS.

Implementations

impl<F: PrimeField, PC: PolynomialCommitment<F, DensePolynomial<F>>> IndexVerifierKey<F, PC>

pub fn iter(&self) -> impl Iterator<Item = &PC::Commitment>

Iterate over the commitments to indexed polynomials in self.

Trait Implementations

impl<F: PrimeField, PC: PolynomialCommitment<F, DensePolynomial<F>>> CanonicalDeserialize for IndexVerifierKey<F, PC>

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: PrimeField, PC: PolynomialCommitment<F, DensePolynomial<F>>> CanonicalSerialize for IndexVerifierKey<F, PC>

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: PrimeField, PC: PolynomialCommitment<F, DensePolynomial<F>>> Clone for IndexVerifierKey<F, PC>

fn clone(&self) -> Self

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<F: PrimeField, PC: PolynomialCommitment<F, DensePolynomial<F>>> ToBytes for IndexVerifierKey<F, PC>

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

Serializes self into writer.