Struct NsAvidMBadEncodingProof

pub struct NsAvidMBadEncodingProof {
    pub ns_index: usize,
    pub ns_commit: AvidMCommit,
    pub ns_mt_proof: <<Keccak256Config as AvidMConfig>::MerkleTree as MerkleTreeScheme>::MembershipProof,
    pub ns_proof: AvidMBadEncodingProof,
}

A proof of incorrect encoding for a namespace. It consists of the index of the namespace, the merkle proof of the namespace payload against the namespaced VID commitment, and the proof of incorrect encoding.

Fields

ns_index: usize

The index of the namespace.

ns_commit: AvidMCommit

The commitment of the namespaced VID.

ns_mt_proof: <<Keccak256Config as AvidMConfig>::MerkleTree as MerkleTreeScheme>::MembershipProof

The outer merkle proof of the namespace against the namespaced VID commitment.

ns_proof: AvidMBadEncodingProof

The proof of incorrect encoding.

Implementations

impl NsAvidMBadEncodingProof

pub fn verify( &self, param: &AvidMParam, commit: &NsAvidMCommit, ) -> Result<Result<(), ()>, VidError>

Verify an incorrect encoding proof.

Trait Implementations

impl Clone for NsAvidMBadEncodingProof

fn clone(&self) -> NsAvidMBadEncodingProof

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for NsAvidMBadEncodingProof

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for NsAvidMBadEncodingProof

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl PartialEq for NsAvidMBadEncodingProof

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

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

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl Eq for NsAvidMBadEncodingProof

impl StructuralPartialEq for NsAvidMBadEncodingProof