Struct vls_protocol::msgs::DebugTxoProof

pub struct DebugTxoProof(pub TxoProof);

A debug wrapper around a TxoProof

Tuple Fields

0: TxoProof

Methods from Deref<Target = TxoProof>

pub fn verify( &self, block_height: u32, block_header: &BlockHeader, external_block_hash: Option<&BlockHash>, prev_filter_header: &FilterHeader, outpoint_watches: &[OutPoint], secp: &Secp256k1<All> ) -> Result<(), VerifyError>

Verify the proof. For each of the watched outpoints, check that it was proven as unspent or that a matched spending transaction was included in the SPV sub-proof. For each matched transaction, also check that its outputs were proven as unspent or that a further spending transaction was included in the SPV sub-proof.

After calling this, you can securely use [get_spending_transaction()] for outputs in [outpoint_watches] or for outputs of matched spending transactions.

external_block_hash is the block hash of the block that was provided externally to the proof. It must be provided iff the proof is an external block proof.

Correctness argument:

• the attestation proves that the block hash was the tip of the chain at the time of the attestation
• the attestation covers the compact filter
• if there is a false positive, the whole block is included, and it can be verified via its hash
• if a spending transaction is omitted, a watched outpoint will match the compact filter and verification will fail
• if an incorrect spending transaction is included, the SPV proof will fail

pub fn filter_header(&self) -> FilterHeader

Get the filter header for the block

pub fn spending_transaction(&self, outpoint: &OutPoint) -> Option<Transaction>

Get the matched transaction that spends this outpoint, if it is spent in the block. You must call [verify()] first.

Trait Implementations

impl Debug for DebugTxoProof

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

Formats the value using the given formatter.

impl Decodable for DebugTxoProof

fn consensus_decode<D: Read + ?Sized>(d: &mut D) -> Result<Self, Error>

Decode an object with a well-defined format.

fn consensus_decode_from_finite_reader<R>(reader: &mut R) -> Result<Self, Error>

where R: Read + ?Sized,

Decode Self from a size-limited reader.

impl Deref for DebugTxoProof

type Target = TxoProof

The resulting type after dereferencing.

fn deref(&self) -> &Self::Target

Dereferences the value.