トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

4512101c843bb12baea9a3b7c76a01845837b2f1f23e423f749e5cf9f413deeb OP_CHECKSIG

204512101c843bb12baea9a3b7c76a01845837b2f1f23e423f749e5cf9f413deebac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

53400ef2b14a586376d4d9862914a72ec69dab1c724389968e1859c72f76f936

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 53400ef2b14a586376d4d9862914a72ec69dab1c724389968e1859c72f76f936
2. TapBranch(53400ef2…2f76f936, 46c7eccf…1725e9fa) = 7f321f6df2ac0227d5ec17563618d8cf7469eee46b96f19bf2e091742320d951

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

7f321f6df2ac0227d5ec17563618d8cf7469eee46b96f19bf2e091742320d951

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

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

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

079f19e390bd06ee7a795a4b569b13f517a9ac78559d93fad0fae25713ca881f71dd94481377047636406fcbf637f8d8136be1c16711a80ddccb7eeb0d0c235e