トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

ab1deb1fe8284d0e2c8a387a3b54f30433feb1f9e785c60f68f65140334d3e72 OP_CHECKSIG

20ab1deb1fe8284d0e2c8a387a3b54f30433feb1f9e785c60f68f65140334d3e72ac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

d69eb1a913533666cd1019fefb2666f3922513370bc466ff2a83f9e1f5c08242

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = d69eb1a913533666cd1019fefb2666f3922513370bc466ff2a83f9e1f5c08242
2. TapBranch(d69eb1a9…f5c08242, 46c7eccf…1725e9fa) = 49f9c6282762761911592f70f640869d6c29a3942b3b826ef409fe047312da6d

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

49f9c6282762761911592f70f640869d6c29a3942b3b826ef409fe047312da6d

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

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

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

4765152e1f74a6469c4d409963b1186430646e0e9d9318a82dd7990cd7b4f5ae9c0f6fa95d92460158731b0050be4765478a926512e3f6782bb636b865590d3f