トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

88fcc8ce426a8aef06c0b0d6088d0375bfd5a07758adc30b0896d481da51c9d5 OP_CHECKSIG

2088fcc8ce426a8aef06c0b0d6088d0375bfd5a07758adc30b0896d481da51c9d5ac

コントロールブロック

c182786da78e74ac64d13a030926ce216930ef2e57c01be8e1a9af1e4fad09a813 (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

82786da78e74ac64d13a030926ce216930ef2e57c01be8e1a9af1e4fad09a813

リーフハッシュ（TapLeaf）

fd738da9abb4f5ce82cd8cb77214cbf2eb544fc4b3366996f2f077ade4fc1dc0

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = fd738da9abb4f5ce82cd8cb77214cbf2eb544fc4b3366996f2f077ade4fc1dc0
2. TapBranch(fd738da9…e4fc1dc0, 82786da7…ad09a813) = 367e76c1b312ee61614e1cae7b698b844294f2edf27baf6595f27cafb26f44d3

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

367e76c1b312ee61614e1cae7b698b844294f2edf27baf6595f27cafb26f44d3

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

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

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

7c8bc64e71862e2952b0c79f02efd1ecec4ad2006c208c8fab849032571e6503ded7cbb1d077d7d3e088149d745d4df4f9f3fc9d6666e5d120a172e536a6b313