トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

8ffb54aa1ef723791f005b388e4f881d6c71d9b52b2ab4ccb615358de6797489 OP_CHECKSIG

208ffb54aa1ef723791f005b388e4f881d6c71d9b52b2ab4ccb615358de6797489ac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

d1c4a418cae2f4e939460715e08441a8a9c61209a51bdbafef67828ee637bbc6

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = d1c4a418cae2f4e939460715e08441a8a9c61209a51bdbafef67828ee637bbc6
2. TapBranch(d1c4a418…e637bbc6, 46c7eccf…1725e9fa) = b27fef50d4bbba5ecb7a391371fa78f425d9a8c6f61754b452270a999453696f

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

b27fef50d4bbba5ecb7a391371fa78f425d9a8c6f61754b452270a999453696f

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

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

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

d2590179366f44d8f5fcc342ff6a86166247f48b7d6fdb58e35a4dd7877383a466a42cb59cd7f5b0e80e509f349d1d87fef51b78888affe36e64ffb3607cdf7e