トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

9eceaff6589c9afd5d1d59ac6c6898f48a71bd794362cee7a9c7aa488f154e02 OP_CHECKSIG

209eceaff6589c9afd5d1d59ac6c6898f48a71bd794362cee7a9c7aa488f154e02ac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

53b89501429d5ca5027dd3b3b48ecc3280f22889adb11a85097927464271188f

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 53b89501429d5ca5027dd3b3b48ecc3280f22889adb11a85097927464271188f
2. TapBranch(53b89501…4271188f, 46c7eccf…1725e9fa) = 17ad5b5535ad7b19c2815eef32dd1c40a51a5b065a5708df8833fad401aadc69

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

17ad5b5535ad7b19c2815eef32dd1c40a51a5b065a5708df8833fad401aadc69

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

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

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

2b371e910bc62bdd53b38c5318e88f7349b57011fa67afd887d465594d57c61e7180cb5d042c89ba851316fdd45ea8dc56f61a088415212b60b95562d2b6b0ee