トランザクション

入力 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 以上）。

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

98ccb52338234b082016655cba4d0fc793d4e5c1aae83aa3389033af8def894c6b5d939dc146ff49539c0c74e73b2171c19e128cbf2cdd461b7bdd00cf118fda