トランザクション

入力 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 以上）。

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

b21347d548f6639ad4af9b1773e2c657b322ba7da340d0c4d33af766fa0793aead5696e297a0daa7ad96846a8847375b7ed7b656336869a41b9d665609b7253a