トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

370626444f99eee67a91ee9f0c95465def06084b4b3e69bc9c096821ca055e39 OP_CHECKSIG

20370626444f99eee67a91ee9f0c95465def06084b4b3e69bc9c096821ca055e39ac

コントロールブロック

c165dd00d93ac42de9419f023467f5d641cab3cec96d3584588b4d8cb47887252e (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

65dd00d93ac42de9419f023467f5d641cab3cec96d3584588b4d8cb47887252e

リーフハッシュ（TapLeaf）

9dff6f41a49f48fbcd77e14977b445cdee2b71c453355d493b638064341f404a

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 9dff6f41a49f48fbcd77e14977b445cdee2b71c453355d493b638064341f404a
2. TapBranch(9dff6f41…341f404a, 65dd00d9…7887252e) = 1610c0045f0442eb1637f03ccc06a56006ef905ee8d7fa3748a9d9411a2bbfac

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

1610c0045f0442eb1637f03ccc06a56006ef905ee8d7fa3748a9d9411a2bbfac

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

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

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

d5b7b99e19d6a9b418e03813fe4931025e7d0fc9a9a4ef3a3862db2eae38da20f591ec0005d1c7c2a0f0c8e919520ea3fa878c92ba1f4ca3632d190364fc72e8