トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

7e67d295f494b7d62de16f5a0a0a8a719f6a45aa8208fd2da63b09b5689194e0 OP_CHECKSIG

207e67d295f494b7d62de16f5a0a0a8a719f6a45aa8208fd2da63b09b5689194e0ac

コントロールブロック

c1770fee36577fb5a90f584bc070eed696bc44b112818fd141c6f4f69e02e52da9 (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

770fee36577fb5a90f584bc070eed696bc44b112818fd141c6f4f69e02e52da9

リーフハッシュ（TapLeaf）

a2f3323c20d13c84292b07b9cc2a9a0ba84e5ddbc9085a4f0e21d545850ce7c0

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = a2f3323c20d13c84292b07b9cc2a9a0ba84e5ddbc9085a4f0e21d545850ce7c0
2. TapBranch(a2f3323c…850ce7c0, 770fee36…02e52da9) = 3b35a1cc12d6779409a5fc68531ec6a972352602da0d835e46eb5b65b37e1b0c

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

3b35a1cc12d6779409a5fc68531ec6a972352602da0d835e46eb5b65b37e1b0c

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

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

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

0b8d028775b183f7d4b64d00f46cba025c80e3dba1b40026ceaeb82b508d038e023adb5322cd8cca145f5ff1a07bc3f3ecf37657084e1134565bf26932f24329