トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

f7419fe2a85279af9373c16a5243354419093ca562c7356262b1cee5136f7df7 OP_CHECKSIG

20f7419fe2a85279af9373c16a5243354419093ca562c7356262b1cee5136f7df7ac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

bdaab7ccec3b0e27ec396b18bc10745d895e4bd0a51a6c15d15b8a3b5230dcc4

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = bdaab7ccec3b0e27ec396b18bc10745d895e4bd0a51a6c15d15b8a3b5230dcc4
2. TapBranch(bdaab7cc…5230dcc4, 46c7eccf…1725e9fa) = b480da9000291c0c0d7290069f23562840c74a849a568cace0c9aa1b9a54da35

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

b480da9000291c0c0d7290069f23562840c74a849a568cace0c9aa1b9a54da35

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

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

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

d5e928c5a3fdb48a8c6d9ce368a6b6c653e6e42a482d7b48d4342c5bd274fb4fe07248cded342a6cdae023762ed5421dd7a73f78ce0215cbe9c8a4fb8d6122d4