Struct FriResponse

pub struct FriResponse {
    pub auth_structure: AuthenticationStructure,
    pub revealed_leaves: Vec<XFieldElement>,
}

A FriResponse is an AuthenticationStructure together with the values of the revealed leaves of the Merkle tree. Together, they correspond to the queried indices of the FRI codeword (of that round).

Fields

auth_structure: AuthenticationStructure

The authentication structure of the Merkle tree.

revealed_leaves: Vec<XFieldElement>

The values of the opened leaves of the Merkle tree.

Trait Implementations

impl<'arbitrary> Arbitrary<'arbitrary> for FriResponse

fn arbitrary(u: &mut Unstructured<'arbitrary>) -> Result<Self>

Generate an arbitrary value of Self from the given unstructured data.

fn arbitrary_take_rest(u: Unstructured<'arbitrary>) -> Result<Self>

Generate an arbitrary value of Self from the entirety of the given unstructured data.

fn size_hint(depth: usize) -> (usize, Option<usize>)

Get a size hint for how many bytes out of an Unstructured this type needs to construct itself.

impl BFieldCodec for FriResponse

type Error = FriResponseBFieldDecodingError

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 FriResponse

fn clone(&self) -> FriResponse

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for FriResponse

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

Formats the value using the given formatter.

impl Hash for FriResponse

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 FriResponse

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

impl StructuralPartialEq for FriResponse