トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

121e134fb012a5f42106229c94d9dd554381a2708805c616cd5fcbb4a76c641e OP_CHECKSIG

20121e134fb012a5f42106229c94d9dd554381a2708805c616cd5fcbb4a76c641eac

コントロールブロック

c15cd5d9f8bf188ed2256ee5ae4e4bdf5771ff695728d62bd559c30cc4cf110273 (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

5cd5d9f8bf188ed2256ee5ae4e4bdf5771ff695728d62bd559c30cc4cf110273

リーフハッシュ（TapLeaf）

09b7013c20fb6b769d029f810c22d7f43283829401213cd082b9fdccb1de806e

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 09b7013c20fb6b769d029f810c22d7f43283829401213cd082b9fdccb1de806e
2. TapBranch(09b7013c…b1de806e, 5cd5d9f8…cf110273) = 66344b52a497f177c5cb69f31358a6221563d368a0d1db66291994fd284c92fd

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

66344b52a497f177c5cb69f31358a6221563d368a0d1db66291994fd284c92fd

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

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

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

0d875da3cd0937b5e0b52245569d7d55fc3efcb6fef355d806a3ca56bcce6392a5697fbb4c19dfbc70fde98c2e8ed38cfb8074f214918fd256d48f3e47550c77