Struct VerifyFriAuthenticationPaths

pub struct VerifyFriAuthenticationPaths;

Verify Merkle authentication paths in a FRI context.

Verify a batch of Merkle membership claims in a FRI context where only the a-indices are known and the b-indices must be calculated on the fly. This snippet can be used for both a and b-indices. For a-indices the xor_bit_mask value must be set to the domain length, and for b indices, xor_bit_mask must be set to 3/2 times the domain length. The xor_bit_mask is used to convert a leaf index into a Merkle tree node index.

Behavior: crashes the VM if just one of the authentication paths is invalid. Goes into an infinite loop if a node index value is initialized to 0 or 1 through wrong domain-length values. Also cannot handle empty lists, so this snippet must verify at least one authentication path.

Trait Implementations

impl BasicSnippet for VerifyFriAuthenticationPaths

fn inputs(&self) -> Vec<(DataType, String)>

fn outputs(&self) -> Vec<(DataType, String)>

fn entrypoint(&self) -> String

fn code(&self, _library: &mut Library) -> Vec<LabelledInstruction>

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

fn link_for_isolated_run(&self) -> Vec<LabelledInstruction>

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

Intial stack on program start, when the snippet runs in isolation.

fn stack_diff(&self) -> isize

impl Clone for VerifyFriAuthenticationPaths

fn clone(&self) -> VerifyFriAuthenticationPaths

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for VerifyFriAuthenticationPaths

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

Formats the value using the given formatter.

impl Default for VerifyFriAuthenticationPaths

fn default() -> VerifyFriAuthenticationPaths

Returns the “default value” for a type.

impl Hash for VerifyFriAuthenticationPaths

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl PartialEq for VerifyFriAuthenticationPaths

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

impl Eq for VerifyFriAuthenticationPaths

impl StructuralPartialEq for VerifyFriAuthenticationPaths