トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

ff9d11e47ea91a7c3ea9ab497ecf3e61d6a597e017dde24b691b9a03bee9adeb OP_CHECKSIG

20ff9d11e47ea91a7c3ea9ab497ecf3e61d6a597e017dde24b691b9a03bee9adebac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

a79cf098635dabbde89517148102761e1ef0852f5c01b3988e86ab24882cbc72

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = a79cf098635dabbde89517148102761e1ef0852f5c01b3988e86ab24882cbc72
2. TapBranch(a79cf098…882cbc72, 46c7eccf…1725e9fa) = 2f60f4e7dd634e8149a28c32e401a9f29286e161cf451db15baa3618ecdd27fb

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

2f60f4e7dd634e8149a28c32e401a9f29286e161cf451db15baa3618ecdd27fb

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

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

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

8ed21c9d53afacffaa00b41d2740f4aa8da404cb18ed54f37ba400708dc7ce8109cd6ac418b62f4cd9831c6cc436811544ef06e8bf521bfeec41a6e8fa99780a