トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

a3a1a520832e185bc22ac29eb2d17047adab2a394c95ba4580a786742d278385 OP_CHECKSIG

20a3a1a520832e185bc22ac29eb2d17047adab2a394c95ba4580a786742d278385ac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

2e3ae8ef1c996f858992fffd49ddd6ee5415bcb68423584bcd87d9c0f5b145ff

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 2e3ae8ef1c996f858992fffd49ddd6ee5415bcb68423584bcd87d9c0f5b145ff
2. TapBranch(2e3ae8ef…f5b145ff, 46c7eccf…1725e9fa) = d15f5228b72a1ff556ac3f0bb2323a4138c374231fbd46082af779d919412ba3

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

d15f5228b72a1ff556ac3f0bb2323a4138c374231fbd46082af779d919412ba3

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

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

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

80e31cc38506c6e8a29c981e383fa66f98c228acaad62013fa65d71bedc70bee133067732fad6f66441a506dd8505922ab850b1f57bed5472e164b23d3026a04