トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

45844d39abaa2ef82a9e35161e0f8397f53fb56515ea388fb7fa91c9ffbf4034 OP_CHECKSIG

2045844d39abaa2ef82a9e35161e0f8397f53fb56515ea388fb7fa91c9ffbf4034ac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

19c6d94d35373629ecfa825f1330a63cb73d4690d447cb8fdc8634c9b98aed20

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 19c6d94d35373629ecfa825f1330a63cb73d4690d447cb8fdc8634c9b98aed20
2. TapBranch(19c6d94d…b98aed20, 46c7eccf…1725e9fa) = 28b04391ef1899e0d38f0aaca196d524ce31ac84ef04d6bfea69b1b2d45a613e

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

28b04391ef1899e0d38f0aaca196d524ce31ac84ef04d6bfea69b1b2d45a613e

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

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

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

ac31ae0dda043a98ffc1eb72a04a3dd10eb60f2db1a4203a585b4caba8eb6fff38a601fd2ff265d6d89c8eb099b11d71990a704f98c3bf8dbe1cde40e06ac5c3