トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

75032292cf29955bf809a1fbd6d1d82ec8a36795d666f6609d3375def0dbe885 OP_CHECKSIG

2075032292cf29955bf809a1fbd6d1d82ec8a36795d666f6609d3375def0dbe885ac

コントロールブロック

c1544dd3ffa6a9101415a892ece3e23dfe2fa12cb8e7cca18ea9429b9c531b1cbe (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

544dd3ffa6a9101415a892ece3e23dfe2fa12cb8e7cca18ea9429b9c531b1cbe

リーフハッシュ（TapLeaf）

1c752f3e2da0c0483c0d81432627457c2d58347ab409469ecf50272cbb9ad82f

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 1c752f3e2da0c0483c0d81432627457c2d58347ab409469ecf50272cbb9ad82f
2. TapBranch(1c752f3e…bb9ad82f, 544dd3ff…531b1cbe) = aea95420b65c960263c25b39ebce4c138a98dfea23e2a3497eb3201cc8eb8811

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

aea95420b65c960263c25b39ebce4c138a98dfea23e2a3497eb3201cc8eb8811

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

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

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

139fb7a3059b42e0b903a00fd4a41717444fe99d574be3e1db4350a49a444675dea6fb7264925321976f6f6e3e115167c07814472805409bd60c56026981b4e1