トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

37358dc46010ef8705d519ba41c30705be1858c2e4418d85860a99b5e358f105 OP_CHECKSIG

2037358dc46010ef8705d519ba41c30705be1858c2e4418d85860a99b5e358f105ac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

f91973f1c1254bfdd47b7530cdc23f96e0369b281a99e1dcc9e8737c93377b4f

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = f91973f1c1254bfdd47b7530cdc23f96e0369b281a99e1dcc9e8737c93377b4f
2. TapBranch(f91973f1…93377b4f, 46c7eccf…1725e9fa) = a0ee8c0d6f4b162e06958bd305a9001b60804ec98c3622cebadebcb043365468

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

a0ee8c0d6f4b162e06958bd305a9001b60804ec98c3622cebadebcb043365468

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

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

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

1b7fcf7b95a42a31604ff20dd8b29f3fcaa0f204d6f87c94d4d11e2433619d918920764f82a3ab7534130ef566cd736bb277e166999b723949eaa251bc81415b