トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

d050a71b7115b34b3bd2dcb0dfef866639f3d403beec91a3d531ae7d90c36e36 OP_CHECKSIG

20d050a71b7115b34b3bd2dcb0dfef866639f3d403beec91a3d531ae7d90c36e36ac

コントロールブロック

c1b3219f2b4b65186b637110e54ad6a7f00edfc8696cf2630d7d368a5bfe824ed5 (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

b3219f2b4b65186b637110e54ad6a7f00edfc8696cf2630d7d368a5bfe824ed5

リーフハッシュ（TapLeaf）

0216e869acaae3e5e357a1c682c0354f3f7cbc019cc1f4df3c89f16e02714b31

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 0216e869acaae3e5e357a1c682c0354f3f7cbc019cc1f4df3c89f16e02714b31
2. TapBranch(0216e869…02714b31, b3219f2b…fe824ed5) = 860cb41c00c536c404409920ef92d782cc70f03d95081a06ac7c31dde4e3c24f

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

860cb41c00c536c404409920ef92d782cc70f03d95081a06ac7c31dde4e3c24f

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

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

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

6ea76aeff87828068e2f6d6741a573fec77f5ea053e20165030551cd042febb6ae8ae6d3b39fddfc93cc77f5a4a210d812e816b2485392ea25e7be56211d9719