トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

995f362c5f9b204d397f7138a9badbbf1e819d7ff058832f92fff2cc39b7e460 OP_CHECKSIG

20995f362c5f9b204d397f7138a9badbbf1e819d7ff058832f92fff2cc39b7e460ac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

b53c1acf8da3e54a73c8447f032c02fbec3dc98582e1e16c90910a9589407791

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = b53c1acf8da3e54a73c8447f032c02fbec3dc98582e1e16c90910a9589407791
2. TapBranch(b53c1acf…89407791, 46c7eccf…1725e9fa) = 524ff9c8b52dc4b3d25ea3e6a0dbe8095f5580e34d9b06558290d0dce4e280a1

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

524ff9c8b52dc4b3d25ea3e6a0dbe8095f5580e34d9b06558290d0dce4e280a1

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

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

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

8b13fc81b9c7472ee77151b24c281a21d525b95fdaf7416f09e54e85d5d8d59f69e146e430f2ea87a17d5a5a7e70229b722985441b13278c0f35b7bfbe6fa21f