Struct FriLayerProof 

pub struct FriLayerProof<H: MerkleHasherLifted> {
    pub fri_witness: Vec<SecureField>,
    pub decommitment: MerkleDecommitmentLifted<H>,
    pub commitment: H::Hash,
}

Proof of an individual FRI layer.

Fields

fri_witness: Vec<SecureField>

Values that the verifier needs but cannot deduce from previous computations, in the order they are needed. This complements the values that were queried. These must be supplied directly to the verifier.

decommitment: MerkleDecommitmentLifted<H>

commitment: H::Hash

Trait Implementations

impl<H: Clone + MerkleHasherLifted> Clone for FriLayerProof<H>

where H::Hash: Clone,

fn clone(&self) -> FriLayerProof<H>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<H: Debug + MerkleHasherLifted> Debug for FriLayerProof<H>

where H::Hash: Debug,

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

Formats the value using the given formatter.

impl<'de, H> Deserialize<'de> for FriLayerProof<H>

where H: Deserialize<'de> + MerkleHasherLifted, H::Hash: Deserialize<'de>,

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl<H> Serialize for FriLayerProof<H>

where H: Serialize + MerkleHasherLifted, H::Hash: Serialize,

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.