トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

af1a2d966f38e25425d30163df50da30b4efbe42d2c1d0135f9c79310c5303f6 OP_CHECKSIG

20af1a2d966f38e25425d30163df50da30b4efbe42d2c1d0135f9c79310c5303f6ac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

ba510440880cc03677e703fb773f86daa6a6659e9c5bec4c9d430243de344fa8

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = ba510440880cc03677e703fb773f86daa6a6659e9c5bec4c9d430243de344fa8
2. TapBranch(ba510440…de344fa8, 46c7eccf…1725e9fa) = c11c9b02c181558c2e919952ddc4972a90e13fe17f77d1c57dd6022f8db3f3cd

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

c11c9b02c181558c2e919952ddc4972a90e13fe17f77d1c57dd6022f8db3f3cd

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

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

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

1fea7c15e80513b39e0883f0e167477228a2770695b704f5ab3ec3cebb5074e8414d4f3338029c2343aea136b6d1958b80a907cef8a6bd114e5789fdfdd65feb