Struct CardanoBlocksProofsMessage 

pub struct CardanoBlocksProofsMessage {
    pub certificate_hash: String,
    pub certified_blocks: Option<MkSetProofMessagePart<CardanoBlockMessagePart>>,
    pub non_certified_blocks: Vec<String>,
    pub latest_block_number: BlockNumber,
    pub security_parameter: BlockNumberOffset,
}

A cryptographic proof for a set of Cardano blocks

Fields

certificate_hash: String

Hash of the certificate that validates this proof Merkle root

certified_blocks: Option<MkSetProofMessagePart<CardanoBlockMessagePart>>

Blocks that have been certified

non_certified_blocks: Vec<String>

Hashes of the blocks that could not be certified

latest_block_number: BlockNumber

Latest block number that has been certified by the associated Mithril certificate

security_parameter: BlockNumberOffset

Security parameter that has been certified by the associated Mithril certificate

Implementations

impl CardanoBlocksProofsMessage

pub fn blocks_hashes(&self) -> Vec<BlockHash>

Hashes of the Cardano blocks that have been certified

impl CardanoBlocksProofsMessage

pub fn new( certificate_hash: &str, certified_blocks: Option<MkSetProofMessagePart<CardanoBlockMessagePart>>, non_certified_blocks: Vec<String>, latest_block_number: BlockNumber, security_parameter: BlockNumberOffset, ) -> Self

Create a new ProofsV2CardanoBlocksMessage

pub fn verify(&self) -> Result<VerifiedCardanoBlocks, VerifyProofsV2Error>

Verify that all the certified blocks proofs are valid

The following checks will be executed:

1 - Check that each Merkle proof is valid

2 - Check that all proofs share the same Merkle root

3 - Assert that there’s at least one certified block

If every check is okay, the hex encoded Merkle root of the proof will be returned.

Trait Implementations

impl Clone for CardanoBlocksProofsMessage

fn clone(&self) -> CardanoBlocksProofsMessage

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for CardanoBlocksProofsMessage

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for CardanoBlocksProofsMessage

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Dummy for CardanoBlocksProofsMessage

fn dummy() -> Self

Return a dummy CardanoBlocksProofsMessage (test-only).

impl PartialEq for CardanoBlocksProofsMessage

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

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

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl StructuralPartialEq for CardanoBlocksProofsMessage