トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

80df3bca7dd1df663ae6765447295d0afc74f9958b25616366c5114f3189cacd OP_CHECKSIG

2080df3bca7dd1df663ae6765447295d0afc74f9958b25616366c5114f3189cacdac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

98435592c20893b2ec148c8fa09d31e218393f1bb69ccf679a05f47a6d64ab74

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 98435592c20893b2ec148c8fa09d31e218393f1bb69ccf679a05f47a6d64ab74
2. TapBranch(98435592…6d64ab74, 46c7eccf…1725e9fa) = ddf848a0622bc27580890ad61f87182595284e8bffed50b41c55a6dea252d602

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

ddf848a0622bc27580890ad61f87182595284e8bffed50b41c55a6dea252d602

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

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

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

9f227e0ece2aae68d23f54510c2a322a67b0e813b1ea8019ff7292b74f73b8bb1afb8b817d726101d5ccf2aac8ada7c08d891835dcc24c842925381e673c999f