トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

70e0f7d468dc46b333eedda0eab338733d816575e2ebd027e18bc69b117794a5 OP_CHECKSIG

2070e0f7d468dc46b333eedda0eab338733d816575e2ebd027e18bc69b117794a5ac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

43777b254d58997958fc47fbd5baf4ae4d8d5d5552c87f91c4a373001e2a2982

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 43777b254d58997958fc47fbd5baf4ae4d8d5d5552c87f91c4a373001e2a2982
2. TapBranch(43777b25…1e2a2982, 46c7eccf…1725e9fa) = 2b358795d7df752adab92e8624b39d6064866604d49ddd19a0dc9986c14c739a

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

2b358795d7df752adab92e8624b39d6064866604d49ddd19a0dc9986c14c739a

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

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

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

4ccbbaebb560d132e67bae8ace0f4d4a82f43dba97fde922b24bcbca53041871a8561a7cf7f5e6b5090f48461dcbf70bb15381d4f1794a05acab1c38a20eff97