トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

5fc48f88615182a2bba440e3951a148ee415ec8871ca27dff0426e3ec90e2f81 OP_CHECKSIG

205fc48f88615182a2bba440e3951a148ee415ec8871ca27dff0426e3ec90e2f81ac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

b0fd8f32625351a1cee3b9335a36584ab9342389001657fc9059ae9c17e725fb

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = b0fd8f32625351a1cee3b9335a36584ab9342389001657fc9059ae9c17e725fb
2. TapBranch(b0fd8f32…17e725fb, 46c7eccf…1725e9fa) = e794fcfa9b72d954443026ab81f39a304e754e1c421f1a5496034f1513fd5e79

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

e794fcfa9b72d954443026ab81f39a304e754e1c421f1a5496034f1513fd5e79

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

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

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

d031cd45e67a97d119f7fe7d2772765ec52c8bb4c36c15268b183739e4b4aacc41ae9c38b9f7058bdae04b78fb94c46dda1140a5d46bdbde509deaeed3f3d17a