トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

707f2489891e2d1e06bc2fa77b19669fb402ba628af06d9bd7988decbf479d19 OP_CHECKSIG

20707f2489891e2d1e06bc2fa77b19669fb402ba628af06d9bd7988decbf479d19ac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

8897eb28b15ccbc544f3961384e5c4de9f9e871eef8df4839b131ea0a78187d1

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 8897eb28b15ccbc544f3961384e5c4de9f9e871eef8df4839b131ea0a78187d1
2. TapBranch(8897eb28…a78187d1, 46c7eccf…1725e9fa) = 3bad47dbe0220441babf03f8f986ec4cfd5d2e0479ae04964f9a3a18eb6c67a8

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

3bad47dbe0220441babf03f8f986ec4cfd5d2e0479ae04964f9a3a18eb6c67a8

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

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

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

943d894f90520282c52bbff00901bd9f0e934ff097d20c370ffce6f9cca2a9072211389892173d3a93daf3336fa90a15784c58498a1e68921cbc13dd68b11f6f