Enum EvalcheckHint

pub enum EvalcheckHint {
    NewClaim,
    DuplicateClaim(u32),
}

A hint is an instruction that the prover sends to the verifier, instructing them how to check the current claim efficiently.

There are many scenarios, based on the structure of the multilinear oracle set, where multiple evaluation claims reduce to the same subclaim. Deduplicating these and ensuring that the verifier only checks them once is an important performance feature. The data structures a verifier would need to deduplicate on their its own are complex, and so instead the prover sends hints to the verifier if it can check a claim more efficiently by reusing work.

Variants

NewClaim

DuplicateClaim(u32)

Trait Implementations

impl Clone for EvalcheckHint

fn clone(&self) -> EvalcheckHint

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for EvalcheckHint

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

Formats the value using the given formatter.

impl PartialEq for EvalcheckHint

fn eq(&self, other: &EvalcheckHint) -> 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 Eq for EvalcheckHint

impl StructuralPartialEq for EvalcheckHint