トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

178d2ba858e77decaf2a8633242822220e8434af6ad5e9dcbf75a0a7fa62a01b OP_CHECKSIG

20178d2ba858e77decaf2a8633242822220e8434af6ad5e9dcbf75a0a7fa62a01bac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

8f12e982999076076475118f70762d462192061dd6f3ee916b05af88b69ccbc4

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 8f12e982999076076475118f70762d462192061dd6f3ee916b05af88b69ccbc4
2. TapBranch(8f12e982…b69ccbc4, 46c7eccf…1725e9fa) = e333675a56e1af025465bfe6c2d6e3f1dae2b9edb0979ed38fb13a5946f9ce21

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

e333675a56e1af025465bfe6c2d6e3f1dae2b9edb0979ed38fb13a5946f9ce21

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

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

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

13a332a7a67aa14111f08056c344a53185bed8938e18732918ab11d13c632e3b4ffe61a0f6cf092844f90817413334f7acb7b49b5a6da3eab0f65d0abeff3a50