トランザクション

入力 0 の P2MR スクリプトパス支出

ノードはこの支出を次のように検証します：公開されたリーフをハッシュし、コントロールブロック内の Merkle パスをたどってルートまで計算し、そのルートが出力の 32 バイトのウィットネスプログラムと等しいことを求めます。このページでも同じ手順で計算し直しています。

リーフバージョン

0xc0

リーフスクリプト

73d4b35597b5bf5dfb315ebfa7e943feaab8fd40ebe7c795a6706cab0853d1d6 OP_CHECKSIG

2073d4b35597b5bf5dfb315ebfa7e943feaab8fd40ebe7c795a6706cab0853d1d6ac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

コントロールバイトの最下位ビット

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

766ecf48d374bcc5fb74aee8c555adc321ec2045116b6671b684db6389203faa

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 766ecf48d374bcc5fb74aee8c555adc321ec2045116b6671b684db6389203faa
2. TapBranch(766ecf48…89203faa, 46c7eccf…1725e9fa) = 2f17b3d5e8d41c9a7b9862a0f54ee4c92dcef1314f6b41b425fd6d81f33e4034

出力のウィットネスプログラム

2f17b3d5e8d41c9a7b9862a0f54ee4c92dcef1314f6b41b425fd6d81f33e4034

✓ 一致：公開されたリーフは、この出力がコミットしているものです。

リーフスクリプトは実行されました（リーフバージョン 0xc0、深さ 1 以上）。

スクリプトに渡されたスタック要素

bb419c4cb45f55c632a223892ca235f301c661c5b0a1ca6028ddc96529dbd2bdfc93cea80ba3ebfcc50f33156ff8b5a47530d681b30bf8fce081fbea88216a47