トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

b6f0e7c064916bbcb1d45ac6304b95f5c11f98e6d80560563c91b7bba0dc792d OP_CHECKSIG

20b6f0e7c064916bbcb1d45ac6304b95f5c11f98e6d80560563c91b7bba0dc792dac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

42bc3c997a3e34cb155122501117ef7e677fb811d3a37567d392f9b5cd8ba2cd

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 42bc3c997a3e34cb155122501117ef7e677fb811d3a37567d392f9b5cd8ba2cd
2. TapBranch(42bc3c99…cd8ba2cd, 46c7eccf…1725e9fa) = 6fde51737eccf92cbff56c771529f584106139f41d3cff4216f21d1329b648c6

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

6fde51737eccf92cbff56c771529f584106139f41d3cff4216f21d1329b648c6

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

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

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

ec414cb4499c13f5a664e9e439053fc9807ee1541d3e1ed5cdfc5e21a11859f7898594d96204c99be2f57d2db035a2519aac478065d05d5c811c0beb0651e580