トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

7a5a95e4e01d006ddde3882b13343770d48e6eadddd6705b0a6ea4cb05e2a5b3 OP_CHECKSIG

207a5a95e4e01d006ddde3882b13343770d48e6eadddd6705b0a6ea4cb05e2a5b3ac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

beda69261eb44437db24085af1fb825d18763849ff9c15ce1123e3953f68075c

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = beda69261eb44437db24085af1fb825d18763849ff9c15ce1123e3953f68075c
2. TapBranch(beda6926…3f68075c, 46c7eccf…1725e9fa) = 27202a18a8079d61b411e630ce34a1eab9a0ce52c78fc61fdca3e6b040d0504c

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

27202a18a8079d61b411e630ce34a1eab9a0ce52c78fc61fdca3e6b040d0504c

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

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

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

50859e57ff70e0f8137603b83885bcb498f40308075ac85f560d1954157df9e0536b7579f2712f31bbaf973da90cfbd953132a7c6cbd28b6edb800564c31e04c