トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

215b3bf0dcc1c2e4e508dbd035c7a3d3ede13e89ba1d083eeff40ca1848a5baa OP_CHECKSIG

20215b3bf0dcc1c2e4e508dbd035c7a3d3ede13e89ba1d083eeff40ca1848a5baaac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

e15302be590e5a10d3bf3180d03f87837d03b887e1396aec604a93ed72aa2a8f

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = e15302be590e5a10d3bf3180d03f87837d03b887e1396aec604a93ed72aa2a8f
2. TapBranch(e15302be…72aa2a8f, 46c7eccf…1725e9fa) = f7c709c9168f4346b53bcc53341306459d6ef054592d7e13c5d1bc4cabbce130

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

f7c709c9168f4346b53bcc53341306459d6ef054592d7e13c5d1bc4cabbce130

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

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

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

ad5fc61ece09e8c35b2e57e10d9342c3bf6bec064c00bfab3ca1e3a728c300feb7b92fc8ab37d1b8fd15d28176d78e112a73148bdd6da5022c07841c2aa5a029