トランザクション

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

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

09fe3742e1f040ecb8dcdc86f52ddf7f6603b4c7c8fc85797ddb413dd99e0962d93bc4ca5e555b21cd1ae9a0a23c057eef4006d6fc78342da92d629540ae74c0