トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

e144f1f96602b8399199f3d1404d3012eba330e69208a3e25ddd9a4854341f75 OP_CHECKSIG

20e144f1f96602b8399199f3d1404d3012eba330e69208a3e25ddd9a4854341f75ac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

28b3c97d91f6394d2ac4f47fd53fa7b36c1db3876ecd3e3af89399437b100a11

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 28b3c97d91f6394d2ac4f47fd53fa7b36c1db3876ecd3e3af89399437b100a11
2. TapBranch(28b3c97d…7b100a11, 46c7eccf…1725e9fa) = 864b013c337e6a4231ee904757f21106c6d794ca1b7943708a34288193d8c476

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

864b013c337e6a4231ee904757f21106c6d794ca1b7943708a34288193d8c476

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

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

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

37b8c5bf5454a33396da50468eb4e34576b75562e191078462b0ab2b7a7d5a4cbe1d334863779f8a85b4d2f4e19a66453e533714c54ef7b923719cb2376889fa