トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

9eceaff6589c9afd5d1d59ac6c6898f48a71bd794362cee7a9c7aa488f154e02 OP_CHECKSIG

209eceaff6589c9afd5d1d59ac6c6898f48a71bd794362cee7a9c7aa488f154e02ac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

53b89501429d5ca5027dd3b3b48ecc3280f22889adb11a85097927464271188f

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 53b89501429d5ca5027dd3b3b48ecc3280f22889adb11a85097927464271188f
2. TapBranch(53b89501…4271188f, 46c7eccf…1725e9fa) = 17ad5b5535ad7b19c2815eef32dd1c40a51a5b065a5708df8833fad401aadc69

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

17ad5b5535ad7b19c2815eef32dd1c40a51a5b065a5708df8833fad401aadc69

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

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

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

8049859e2484d8479a0d0c107774c384a002de5906bb275e4961d84fa23453cef47744b3d1d8e4bf9fc6df9711384bf0799f966130068e4f00736a86c6e6fa2a