トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

e6d10cc3f3f4eb65b10d71fda9a5d140ead00b57df0a9a8678307e5d4708ef1b OP_CHECKSIG

20e6d10cc3f3f4eb65b10d71fda9a5d140ead00b57df0a9a8678307e5d4708ef1bac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

a0aa7b9b82a6fe2e4b404fc63f32fa92b106bd2d719b9823ac4a9b90a0e2bdfb

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = a0aa7b9b82a6fe2e4b404fc63f32fa92b106bd2d719b9823ac4a9b90a0e2bdfb
2. TapBranch(a0aa7b9b…a0e2bdfb, 46c7eccf…1725e9fa) = 1c56555a6132cf509a90599ecc5ea3aef0933478390128ff2c93f597b49efcf8

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

1c56555a6132cf509a90599ecc5ea3aef0933478390128ff2c93f597b49efcf8

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

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

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

0475a8d9ff9a16cd666c9245a4164c95072ada748d9998ee086a31332e6677aba21148ffdc79e88ec9b6189dd069993a127922e4f9b7da4dbcbcac56c2d980b9