トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

c9fa15f2428b0b8e8f94ec9f2a999e56371787d3efe8ceeca2b75227dc8bd847 OP_CHECKSIG

20c9fa15f2428b0b8e8f94ec9f2a999e56371787d3efe8ceeca2b75227dc8bd847ac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

74e07666f50512662a0f9f85ab50a60db28faeda02aece95629f8b019a781401

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 74e07666f50512662a0f9f85ab50a60db28faeda02aece95629f8b019a781401
2. TapBranch(74e07666…9a781401, 46c7eccf…1725e9fa) = 76986d99ba6d383fa5a462668d50b0ddf3e6ab86131db48307275f29e9c4e46a

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

76986d99ba6d383fa5a462668d50b0ddf3e6ab86131db48307275f29e9c4e46a

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

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

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

732b491b0d866e50d5645ed4ec16d4949210f282ed5015fbeba4b92ccab169533f7fa3864941c6aead5e9d5c83ec863c33c67191aec3b30433d4ae26f4b1c046