トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

5c86a8241a5efca69652ce8598468107d03404e84c27bf1a62fd1a25f1ae448d OP_CHECKSIG

205c86a8241a5efca69652ce8598468107d03404e84c27bf1a62fd1a25f1ae448dac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

f237f49e59d6e814cdbdd5fc0d0fec856e1f78d7ac4f747001df8ef73aa51a48

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = f237f49e59d6e814cdbdd5fc0d0fec856e1f78d7ac4f747001df8ef73aa51a48
2. TapBranch(f237f49e…3aa51a48, 46c7eccf…1725e9fa) = 085a32776226921333c9ce7f112319df592fbe92b8cac340aee096b317968a16

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

085a32776226921333c9ce7f112319df592fbe92b8cac340aee096b317968a16

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

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

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

1a613238597b5ac8aa7cd8164393e4c21179096e23d00967f1ff68ffa1eb2e656fb797cfbc25c7bdba7442fe66bb0e885dc30ed56860deda7e3c8d3a218f064e