トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

f0169d122afbe02b13d90a12f685628edad73e428a2330b17ece4727f6b6d15b OP_CHECKSIG

20f0169d122afbe02b13d90a12f685628edad73e428a2330b17ece4727f6b6d15bac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

a0e291497ced86dacb7fe7c14236110d0ee83c1d88c890584eb5dd2d9a14a5aa

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = a0e291497ced86dacb7fe7c14236110d0ee83c1d88c890584eb5dd2d9a14a5aa
2. TapBranch(a0e29149…9a14a5aa, 46c7eccf…1725e9fa) = 669c4ef7d85abe5d696e4a84cfb35fd3a0d0e765540873712a845ee6f6ea24fa

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

669c4ef7d85abe5d696e4a84cfb35fd3a0d0e765540873712a845ee6f6ea24fa

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

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

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

4271eda14d042434928b6f7c4a93d3eafbee3b591110599fb7cfdacf3c5da44d5c63f1ccb0d0f8455901f68f627bd7ced8840cf7ccec64cb6e0e5329be28b237