トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

5144a281d8d6e82751c4499e5269f1e4442a475d26fbff00c14158ac5780db61 OP_CHECKSIG

205144a281d8d6e82751c4499e5269f1e4442a475d26fbff00c14158ac5780db61ac

コントロールブロック

c1e831cb0aafd11892303744d5446ab106c6f7cebbb03d99d61c2a787d140a4ecf (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

e831cb0aafd11892303744d5446ab106c6f7cebbb03d99d61c2a787d140a4ecf

リーフハッシュ（TapLeaf）

238018c726f31ffd9dae318afbe7ec50a6a8a55fb5d50c5b95bac3b11a3a4c22

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 238018c726f31ffd9dae318afbe7ec50a6a8a55fb5d50c5b95bac3b11a3a4c22
2. TapBranch(238018c7…1a3a4c22, e831cb0a…140a4ecf) = 05fddca0004288262d5f7ca8be2a64377b2e27f4514ff146cf45ca109c8d11fc

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

05fddca0004288262d5f7ca8be2a64377b2e27f4514ff146cf45ca109c8d11fc

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

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

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

027fda0f163e4977ca02f51a510397b1cc1a74c6ef55483992d61372d519ecd3d12357082f30d10eb61393dddd7bafbc5ce31a96262983bfae6182c764c8b941