Struct CompoundCompletenessProof

pub struct CompoundCompletenessProof {
    pub bank_hash_proof: BankHashProof,
    /* private fields */
}

A proof that there are no blobs in a specific Solana block.

This proof consists of two parts:

1. An accounts delta hash proof that proves that the accounts_delta_hash does not include the [blober] account.
2. A bank hash proof that proves that the root hash of the accounts_delta_hash is the same as the root in the bank hash.

The proof can then be verified by supplying the blockhash of the block in which the [blober] was invoked.

Fields

bank_hash_proof: BankHashProof

Implementations

impl CompoundCompletenessProof

pub fn new( slot: Slot, blober_exclusion_proof: ExclusionProof, bank_hash_proof: BankHashProof, ) -> Self

Creates a completeness proof.

pub fn verify( &self, blober: Pubkey, blockhash: Hash, ) -> Result<(), CompoundCompletenessProofError>

Verifies that there are no blobs in a specific Solana block.

Trait Implementations

impl Clone for CompoundCompletenessProof

fn clone(&self) -> CompoundCompletenessProof

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for CompoundCompletenessProof

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for CompoundCompletenessProof

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl PartialEq for CompoundCompletenessProof

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

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 CompoundCompletenessProof

impl StructuralPartialEq for CompoundCompletenessProof