トランザクション

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

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

55b421619b02f81ce365d198954c32cd90c345b4aba53eb2592cc765b8dba7b661067deb4d27e9538440358810cd015dac76428e97bec853e62d7c3d78e2eeb9