トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

fc908572342bcc9eba972c9a8eb31f849979dc48e50598c696210ca6d769f4ea OP_CHECKSIG

20fc908572342bcc9eba972c9a8eb31f849979dc48e50598c696210ca6d769f4eaac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

ac478098fdd69c9a7efa8b36701f381834059bf4eeebf94e28b8fbf401d61fcd

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = ac478098fdd69c9a7efa8b36701f381834059bf4eeebf94e28b8fbf401d61fcd
2. TapBranch(ac478098…01d61fcd, 46c7eccf…1725e9fa) = c7b24b8abb495bf34b2c03109dc7d8b7c26b6875c1f7062adb0bb0dd03d10f6c

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

c7b24b8abb495bf34b2c03109dc7d8b7c26b6875c1f7062adb0bb0dd03d10f6c

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

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

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

1fd996741bde6f1501220315a6d5b6b1df3507b9acb6c72592da9be13692dbc78a56be618bf65a5eb0efb2f2a451cde22cf7c1a9f8bd2943efd921331baa80c6