トランザクション

入力 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 以上）。

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

5f088ce12522500b548958435413322c3ae524abb811aad89d2e8d130b64f718a1bd10e872b33e62bd3cd8dc22805b77208c1fe93f1e69ad9db6830cd1f2df58