Struct CardanoBlocksProofs 

pub struct CardanoBlocksProofs {
    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,
}

Available on crate feature unstable only.

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<String>

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, ) -> CardanoBlocksProofsMessage

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<(), Error>

Formats the value using the given formatter.

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

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Dummy for CardanoBlocksProofsMessage

fn dummy() -> CardanoBlocksProofsMessage

Return a dummy CardanoBlocksProofsMessage (test-only).

impl PartialEq for CardanoBlocksProofsMessage

fn eq(&self, other: &CardanoBlocksProofsMessage) -> bool

Equality operator ==.

fn ne(&self, other: &Rhs) -> bool

Inequality operator !=.

impl Serialize for CardanoBlocksProofsMessage

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 StructuralPartialEq for CardanoBlocksProofsMessage