トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

02a1d8516450f6025e455f91ee75185c50d985cde5fa0018ea5928450ddc9037 OP_CHECKSIG

2002a1d8516450f6025e455f91ee75185c50d985cde5fa0018ea5928450ddc9037ac

コントロールブロック

c1c4b3691a1ac1ec10f770d6930e72ea1c4e4da48bf2db75341020679add4f436a (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

c4b3691a1ac1ec10f770d6930e72ea1c4e4da48bf2db75341020679add4f436a

リーフハッシュ（TapLeaf）

c2c9ee484e6b6985f0f5228e5c578cc77d7d3ac6259df56526a3f8ff44d04b3d

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = c2c9ee484e6b6985f0f5228e5c578cc77d7d3ac6259df56526a3f8ff44d04b3d
2. TapBranch(c2c9ee48…44d04b3d, c4b3691a…dd4f436a) = ffe4a9cf2d98f2c094951ec85c1c2718edd34503dcdbcc6a6f127f1974c036c4

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

ffe4a9cf2d98f2c094951ec85c1c2718edd34503dcdbcc6a6f127f1974c036c4

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

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

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

c26a91ed660e9f6803859b72fad44cfbe49d770a12ce89cd9235d62997fc6a3fbccee666ae7b9d732f548459b0739e0708fdd2a874e047605a4cc47442662d40