トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

0abf9b22360e04e1fa96e1ce83f79e090c0e288f9a84e2b16c801c25beb59b12 OP_CHECKSIG

200abf9b22360e04e1fa96e1ce83f79e090c0e288f9a84e2b16c801c25beb59b12ac

コントロールブロック

c1b2dabe6730a56623987e82461dce68752ba46694b687c43c9d2fcbd006320e04 (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

b2dabe6730a56623987e82461dce68752ba46694b687c43c9d2fcbd006320e04

リーフハッシュ（TapLeaf）

78873f3fa84eae70d1ff772e078f49f3a32e43955f8d63afc660b0b6c6d5d444

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 78873f3fa84eae70d1ff772e078f49f3a32e43955f8d63afc660b0b6c6d5d444
2. TapBranch(78873f3f…c6d5d444, b2dabe67…06320e04) = a93ea44d0eb6239bd9407f1e37c84d829c9e12ea022af1c3c94cb36851a3795c

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

a93ea44d0eb6239bd9407f1e37c84d829c9e12ea022af1c3c94cb36851a3795c

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

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

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

bb3fe110d2e8cb2606d75026192bdf615d7741d0ace305bda0a3efd355acd5ebdd2282c4fede09bfc03123fc579b8075fef31c05ec964b7c991481437e6d665f