トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

bee9f69da7d705c17b536e7170bd8a3887e14059e2c9209f1a7dcc283cd5d30d OP_CHECKSIG

20bee9f69da7d705c17b536e7170bd8a3887e14059e2c9209f1a7dcc283cd5d30dac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

d40a00a5f227b0840e545316e981796b0f109611fa548a45809879d25e25d0bf

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = d40a00a5f227b0840e545316e981796b0f109611fa548a45809879d25e25d0bf
2. TapBranch(d40a00a5…5e25d0bf, 46c7eccf…1725e9fa) = 759aaa45b3688a5e018a46925d8caf9355c9926884250925be9cd598e72ef0da

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

759aaa45b3688a5e018a46925d8caf9355c9926884250925be9cd598e72ef0da

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

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

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

27fee3740da1140ffbf5351fa27143ebc0d511d1f76feabd309976c3a38c5b598eae3c379a6ce3f31f216fb1cb8d6d5effa8a5e217b8769ddf2129f249a40a20