トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

8e1c537281b47e2cb096af32d6b449c272f25ce5b5dda22f4422e521bf87f05c OP_CHECKSIG

208e1c537281b47e2cb096af32d6b449c272f25ce5b5dda22f4422e521bf87f05cac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

2f4c686da0c2998015d405c7469bc30313de66896ac8e3e6f1f0e0aee8c7adab

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 2f4c686da0c2998015d405c7469bc30313de66896ac8e3e6f1f0e0aee8c7adab
2. TapBranch(2f4c686d…e8c7adab, 46c7eccf…1725e9fa) = 007c065b4ef31fc855b50654c8730141e44ebd4def4176e4c1a1ee06136b6a85

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

007c065b4ef31fc855b50654c8730141e44ebd4def4176e4c1a1ee06136b6a85

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

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

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

80f23e186ee14221dc01f523a8468d2413ba5d128ee34df8c0c1f97c227890d9c25f2b10e1cbeab2baf653e2820d3df2761c24f3cfc1198b5c0da9c0b647f1db