Struct RowProof

pub struct RowProof { /* private fields */ }

A proof of inclusion of a range of row roots in a DataAvailabilityHeader.

Implementations

impl RowProof

pub fn row_roots(&self) -> &[NamespacedHash]

Get the list of row roots this proof proves.

pub fn verify(&self, root: Hash) -> Result<()>

Verify the proof against the hash of DataAvailabilityHeader, proving the inclusion of rows.

Errors

This function will return an error if:

• the proof is malformed. Number of proofs, row roots and the span between starting and ending row need to match.
• the verification of any inner merkle proof fails

Example

let eh = get_extended_header();
let dah = eh.dah;

let proof = dah.row_proof(0..=1).unwrap();

assert!(proof.verify(dah.hash()).is_ok());

Trait Implementations

impl Clone for RowProof

fn clone(&self) -> RowProof

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for RowProof

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for RowProof

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl From<RowProof> for RowProof

fn from(value: RowProof) -> Self

Converts to this type from the input type.

impl PartialEq for RowProof

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

fn encode<B>(self, buf: &mut B) -> Result<(), Error>

where B: BufMut,

Encode into a buffer in Protobuf format.

fn encode_length_delimited<B>(self, buf: &mut B) -> Result<(), Error>

where B: BufMut,

Encode with a length-delimiter to a buffer in Protobuf format.

fn decode<B>(buf: B) -> Result<Self, Error>

where B: Buf,

Constructor that attempts to decode an instance from a buffer.

fn decode_length_delimited<B>(buf: B) -> Result<Self, Error>

where B: Buf,

Constructor that attempts to decode a length-delimited instance from the buffer.

fn encoded_len(self) -> usize

Returns the encoded length of the message without a length delimiter.

fn encode_vec(self) -> Vec<u8>

Encodes into a Protobuf-encoded Vec<u8>.

fn decode_vec(v: &[u8]) -> Result<Self, Error>

Constructor that attempts to decode a Protobuf-encoded instance from a Vec<u8> (or equivalent).

fn encode_length_delimited_vec(self) -> Vec<u8>

Encode with a length-delimiter to a Vec<u8> Protobuf-encoded message.

fn decode_length_delimited_vec(v: &[u8]) -> Result<Self, Error>

Constructor that attempts to decode a Protobuf-encoded instance with a length-delimiter from a Vec<u8> or equivalent.

impl Serialize for RowProof

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

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl TryFrom<RowProof> for RowProof

type Error = Error

The type returned in the event of a conversion error.

fn try_from(value: RawRowProof) -> Result<Self>

Performs the conversion.

impl StructuralPartialEq for RowProof