トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

596ae9a35230aab7d6c1059cff049d19b8e9a08ef80b1f1b339721adc73abed7 OP_CHECKSIG

20596ae9a35230aab7d6c1059cff049d19b8e9a08ef80b1f1b339721adc73abed7ac

コントロールブロック

c1888cc2d8704cd330a8b7b73bd5dea75aafe9c1174eb556312bc2efe43e3d06ba (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

888cc2d8704cd330a8b7b73bd5dea75aafe9c1174eb556312bc2efe43e3d06ba

リーフハッシュ（TapLeaf）

a1331697bfad5f620bf53ee7a292bf9181c46736dae552c4c89736548d4bcfd2

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = a1331697bfad5f620bf53ee7a292bf9181c46736dae552c4c89736548d4bcfd2
2. TapBranch(a1331697…8d4bcfd2, 888cc2d8…3e3d06ba) = 62fd37b7079cb176a021ea0bdc29ab1011a47eb6f0fa5f1050fcd94b595e0b5f

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

62fd37b7079cb176a021ea0bdc29ab1011a47eb6f0fa5f1050fcd94b595e0b5f

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

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

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

7c1879b2ba58dbd80989af91f94812cf27ee6743e19997afd823131c80f00669cdf67228c758465c18c71ab69a01145ff22e4cb404e9cdbaded7ec6211d22829