Struct ControlBlock 

pub struct ControlBlock {
    pub leaf_version_and_parity: u8,
    pub internal_key: [u8; 32],
    pub merkle_path: Vec<[u8; 32]>,
}

A BIP-341 control block for script-path spending.

Fields

leaf_version_and_parity: u8

The leaf version (high 7 bits) combined with parity bit (low bit).

internal_key: [u8; 32]

The 32-byte x-only internal public key.

merkle_path: Vec<[u8; 32]>

The merkle proof path (0 to 128 hashes of 32 bytes each).

Implementations

impl ControlBlock

pub fn new( internal_key: [u8; 32], tree: &TapTree, leaf: &TapLeaf, output_key_parity: bool, ) -> Option<Self>

Create a control block for a specific leaf in a tree.

Arguments

• internal_key - The 32-byte x-only internal public key
• tree - The TapTree
• leaf - The target leaf to create a proof for
• output_key_parity - Whether the output key Q has odd y

pub fn to_bytes(&self) -> Vec<u8>

Serialize the control block to bytes.

Format: control_byte || internal_key (32) || merkle_path (32 * m)

pub fn from_bytes(data: &[u8]) -> Option<Self>

Parse a control block from bytes.

pub fn verify(&self, output_key: &[u8; 32], leaf: &TapLeaf) -> bool

Verify the control block against a given output key and leaf.

Reconstructs the merkle root from the proof path and verifies that taproot_tweak(internal_key, merkle_root) == output_key.

Trait Implementations

impl Clone for ControlBlock

fn clone(&self) -> ControlBlock

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ControlBlock

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

Formats the value using the given formatter.