Struct FriVerify

pub struct FriVerify {
    pub expansion_factor: u32,
    pub num_collinearity_checks: u32,
    pub domain_length: u32,
    pub domain_offset: BFieldElement,
    pub domain_generator: BFieldElement,
}

FRI verification of a Reed-Solomon codeword.

FriVerify checks that a Reed-Solomon codeword, provided as an oracle, has a low degree interpolant. Specifically, the algorithm takes a ProofStream object, runs the verifier of the FRI protocol, and (if successful) returns the lists of indices at which the codeword is probed along with the values of the codeword at those indices. The test succeeds with probability 1 if the codeword is of low degree; and with probability soundness error if the codeword is far from low-degree. If the test is not successful, the VM crashes.

Fields

expansion_factor: u32

num_collinearity_checks: u32

domain_length: u32

domain_offset: BFieldElement

domain_generator: BFieldElement

Implementations

impl FriVerify

pub fn dummy() -> Self

Return a dummy FRI verify structure that can be used when an instance is not needed but the compiler thinks it is. Is probably only needed when the FRI snippet is used in an external test.

pub fn extract_digests_required_for_proving( &self, proof_stream: &ProofStream, ) -> Vec<Digest>

pub fn to_fri(self) -> Fri

pub fn num_rounds(&self) -> usize

Computes the number of rounds

pub fn last_round_max_degree(&self) -> usize

Computes the max degree of the codeword interpolant after the last round

pub fn first_round_max_degree(&self) -> usize

Computes the max degree of the very first codeword interpolant

pub fn get_collinearity_check_x(&self, idx: u32, round: usize) -> XFieldElement

Get the x-coordinate of an A or B point in a collinearity check, given the point’s index and the round number in which the check takes place. In Triton VM, this method is called get_evaluation_argument.

Trait Implementations

impl BFieldCodec for FriVerify

type Error = FriVerifyBFieldDecodingError

fn decode(sequence: &[BFieldElement]) -> Result<Box<Self>, Self::Error>

fn encode(&self) -> Vec<BFieldElement>

fn static_length() -> Option<usize>

Returns the length in number of BFieldElements if it is known at compile-time. Otherwise, None.

impl Clone for FriVerify

fn clone(&self) -> FriVerify

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for FriVerify

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

Formats the value using the given formatter.

impl From<Fri> for FriVerify

fn from(fri: Fri) -> Self

Converts to this type from the input type.

impl PartialEq for FriVerify

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

fn label_friendly_name() -> String

fn get_field(field_name: &str) -> Vec<LabelledInstruction>

Returns tasm code that returns a pointer the field of the object, assuming:

fn get_field_with_size(field_name: &str) -> Vec<LabelledInstruction>

Returns tasm code that returns a pointer the field of the object, along with the size of that field in number of BFieldElements, assuming:

fn get_field_start_with_jump_distance( field_name: &str, ) -> Vec<LabelledInstruction>

Returns tasm code that returns a pointer to the start of the field of the object, along with the jump distance to the next field. Note that:

fn compute_size_and_assert_valid_size_indicator( library: &mut Library, ) -> Vec<LabelledInstruction>

Return the size of a struct and crash if any contained size-indicator is not valid.

fn decode_iter<Itr: Iterator<Item = BFieldElement>>( iterator: &mut Itr, ) -> Result<Box<Self>, Box<dyn Error + Send + Sync>>

Decode as Self.

const MAX_OFFSET: u32 = 268_435_456u32

Maximum jump distance for encoded size and length indicators. The field getters will compare any length or size indicator read from memory against this value and crash the VM if the indicator is larger or equal.

fn decode_from_memory( memory: &HashMap<BFieldElement, BFieldElement>, address: BFieldElement, ) -> Result<Box<Self>, Box<dyn Error + Send + Sync>>

impl Copy for FriVerify

impl Eq for FriVerify

impl StructuralPartialEq for FriVerify