Struct CommittedSparsePolynomial 

pub struct CommittedSparsePolynomial { /* private fields */ }

Canonical externally supplied sparse multilinear polynomial.

Implementations

impl CommittedSparsePolynomial

pub fn new( num_vars: usize, terms: Vec<SparseMonomial>, ) -> Result<Self, SparseProofError>

Creates and validates an externally supplied sparse polynomial.

pub fn num_vars(&self) -> usize

Number of variables in the Boolean domain.

pub fn terms(&self) -> &[SparseMonomial]

Canonical sparse monomials.

pub fn num_terms(&self) -> usize

Number of nonzero terms.

pub fn max_degree(&self) -> usize

Maximum monomial degree.

pub fn commitment(&self) -> TranscriptDigest

Domain-separated BLAKE2b-256 commitment to the canonical polynomial.

pub fn to_bytes(&self) -> Vec<u8>

Encodes the polynomial into the canonical PHSMv1 binary format.

pub fn from_bytes(bytes: &[u8]) -> Result<Self, SparseProofError>

Decodes and validates a canonical PHSMv1 polynomial.

Trait Implementations

impl Clone for CommittedSparsePolynomial

fn clone(&self) -> CommittedSparsePolynomial

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for CommittedSparsePolynomial

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

Formats the value using the given formatter.

impl Eq for CommittedSparsePolynomial

impl PartialEq for CommittedSparsePolynomial

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

Tests for self and other values to be equal, and is used by ==.

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

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl StructuralPartialEq for CommittedSparsePolynomial