トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

8766974701eb5af68ee0ba0fdddb5bb2db32b72ba9c6027e2c77a335df588250 OP_CHECKSIG

208766974701eb5af68ee0ba0fdddb5bb2db32b72ba9c6027e2c77a335df588250ac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

27d17827b284965497b0c68e69702bc021354e04a145ea7eb3e9f97deffccc0e

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 27d17827b284965497b0c68e69702bc021354e04a145ea7eb3e9f97deffccc0e
2. TapBranch(27d17827…effccc0e, 46c7eccf…1725e9fa) = 303a2f7eb0d50dc27d09de82025ab34b48dbe761675281656f987a75297d9134

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

303a2f7eb0d50dc27d09de82025ab34b48dbe761675281656f987a75297d9134

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

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

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

835183f20916dfd2fd1557a389600e223a7f46c3f3b7a21b2ce2a1b83e71023f4256f707df011dffbaa7b728ce62bbd12f7c33cacdf5f54cccf120c9f69cfffc