Skip to main content

Module bitcoin_block_contains_transaction

binius_examples::circuits

Module bitcoin_block_contains_transaction 

Source
Expand description

Proof that a Bitcoin block contains a certain transaction.

Functionsยง

block_contains_transaction
Asserts that transaction_hash has a valid merkle path to the merkle root in block_header, and that block_header hashes to block_hash.