トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

d3f21adc827d241d216b8d2e8a0de6d1e94ce24e2d00a436dc24094bfd930059 OP_CHECKSIG

20d3f21adc827d241d216b8d2e8a0de6d1e94ce24e2d00a436dc24094bfd930059ac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

a59353c4c7cd7108bea8f3ac85d5ef864bbf14765829c404facbb3318144a86a

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = a59353c4c7cd7108bea8f3ac85d5ef864bbf14765829c404facbb3318144a86a
2. TapBranch(a59353c4…8144a86a, 46c7eccf…1725e9fa) = 1dd524d0de64c76aa98e5173ed87151ec2afe18e69279babdf0f23934119f4eb

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

1dd524d0de64c76aa98e5173ed87151ec2afe18e69279babdf0f23934119f4eb

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

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

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

da95f73be6c598af5fd8aec2c922bd7440d6df7c36b0430cf1bd32c4d96f1b8f897abb9a0b8afc877744d1c295b47bb62a665303702939c0681c6bca2390df80