トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

42ab26ab22870f41e66d338a4d71414a07b67352e455eb79bdd7ffaa2708d03b OP_CHECKSIG

2042ab26ab22870f41e66d338a4d71414a07b67352e455eb79bdd7ffaa2708d03bac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

3d4210e7b2b268b46bd0e174fac87960742f1fab1f0194931122be12c0ba25a8

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 3d4210e7b2b268b46bd0e174fac87960742f1fab1f0194931122be12c0ba25a8
2. TapBranch(3d4210e7…c0ba25a8, 46c7eccf…1725e9fa) = 701d19d6285a73d38a4d123669966fc3b2620178292bc53f66cfcbe984d0648b

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

701d19d6285a73d38a4d123669966fc3b2620178292bc53f66cfcbe984d0648b

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

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

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

21826f75a33f0d15d62237904893f9cae329d747da073a2a900a5fa72ac6ddad91f7310bb22d849a1b1ccb1bf5d4627e6e00ee17632cb12322589fc3522f19b9