Struct CompoundInclusionProof 

pub struct CompoundInclusionProof {
    pub blob_proofs: Vec<BlobProof>,
    pub blober_pubkey: Pubkey,
    pub blober_account_state_proof: BloberAccountStateProof,
}

A proof that a specific Solana block contains blobs, and that there are no other blobs in the block.

This proof consists of four parts:

1. A list of blob proofs that prove that the blobs uploaded to the [blober] program hash to the given blob digest.
2. The public key of the [blober] PDA that was invoked to commite the blobs to.
3. A blober account state proof that proves that the [blober] was invoked exactly as many times as there are blobs.

The proof can then be verified by supplying the blockhash of the block in which the [blober] was invoked, as well as the blobs of data which were published.

Fields

blob_proofs: Vec<BlobProof>

blober_pubkey: Pubkey

blober_account_state_proof: BloberAccountStateProof

Implementations

impl CompoundInclusionProof

pub fn new( blob_proofs: Vec<BlobProof>, blober_pubkey: Pubkey, blober_account_state_proof: BloberAccountStateProof, ) -> CompoundInclusionProof

Creates an inclusion proof.

pub fn into_commitment(&self) -> CompoundInclusionProofCommitment

pub fn target_slot(&self) -> u64

pub fn hash_proofs(&self) -> [u8; 32]

pub fn verify( &self, blober: Pubkey, blober_state: &[u8], blobs: &[ProofBlob<impl AsRef<[u8]>>], ) -> Result<(), CompoundInclusionProofError>

Verifies that a specific Solana block contains the provided blobs, and that no blobs have been excluded.

Trait Implementations

impl Clone for CompoundInclusionProof

fn clone(&self) -> CompoundInclusionProof

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for CompoundInclusionProof

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for CompoundInclusionProof

fn deserialize<__D>( __deserializer: __D, ) -> Result<CompoundInclusionProof, <__D as Deserializer<'de>>::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl PartialEq for CompoundInclusionProof

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

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

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl Eq for CompoundInclusionProof

impl StructuralPartialEq for CompoundInclusionProof