トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

56475aa63efe385875877a5fba16b17c80f409167b4d3b3ec3483c601f43d9e7 OP_CHECKSIG

2056475aa63efe385875877a5fba16b17c80f409167b4d3b3ec3483c601f43d9e7ac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

ebf99d30d3e674d20e264ca78d9e1225060fd0be34ef4da7a93df0c7f4863638

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = ebf99d30d3e674d20e264ca78d9e1225060fd0be34ef4da7a93df0c7f4863638
2. TapBranch(ebf99d30…f4863638, 46c7eccf…1725e9fa) = aad181028796bdd2b44864a1335fb7e95e8cc2b06e12c7bdc7b4d0e257e9f38e

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

aad181028796bdd2b44864a1335fb7e95e8cc2b06e12c7bdc7b4d0e257e9f38e

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

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

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

bf6f11927792d6a90da551abeecca64604d44069a7f4c768bd14bf3ed0a4d8d2d3c18a9fe7baea9088328f89cb4c03ab110357b6cb0ab6688e5a4a5cc75d737c