トランザクション

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

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

821be7462bf84e566e2be63cb05c950966a6dd1dee1b733a25f4273cb150362cc92f4278ef1bf6efa4ff9f1b84036af4c449b751f924920a543913ea86c73ba9