トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

0d7d4248bc348395f084997a4d3f4e1e7973a2d5376780207ea04fe0489d7ff8 OP_CHECKSIG

200d7d4248bc348395f084997a4d3f4e1e7973a2d5376780207ea04fe0489d7ff8ac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

20a3ca1bc099fc954b4a901b68f458e798d23775a92efffde545065854805ad0

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 20a3ca1bc099fc954b4a901b68f458e798d23775a92efffde545065854805ad0
2. TapBranch(20a3ca1b…54805ad0, 46c7eccf…1725e9fa) = ab389b3befe7946605772aa7434209748d647da34abdcdf1a80ce4f89daf4a38

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

ab389b3befe7946605772aa7434209748d647da34abdcdf1a80ce4f89daf4a38

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

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

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

28531680d3dea3c2c1198fa9dff1d04d0e5ac17187e1c497b99718f5e8322b431c44b33175e2f4feab3ab15f5fd04370f5542ad79cb9655aae7b9f22c101d5dd