トランザクション

入力 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 以上）。

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

e0e966a0647ac2670a176f8cbc0acbf34c86aef12edfc30c004cbfbcf690c12f6e120671e87d170169cf64ec97238c5b7e45c94bd4d3ee872255dd20606d684c