トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

183825e8bf68964d80f437cbce3a65e7a4853e8137d7f7bd82b138dc3b58ec5b OP_CHECKSIG

20183825e8bf68964d80f437cbce3a65e7a4853e8137d7f7bd82b138dc3b58ec5bac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

bb164400db4189cbf5bc7254c55fb4695c9cca73318a28dbdc00fd37465cbd0d

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = bb164400db4189cbf5bc7254c55fb4695c9cca73318a28dbdc00fd37465cbd0d
2. TapBranch(bb164400…465cbd0d, 46c7eccf…1725e9fa) = ff8825a378d9128a834e716f940fe76420a8f7b75bc083c476da43096e4f6613

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

ff8825a378d9128a834e716f940fe76420a8f7b75bc083c476da43096e4f6613

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

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

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

393d2c6a703291eac59726f19974f5b2443bb3b4004156e96c2b049710c8bbfb94fb913dd252d4ccd4224ec3779d8ad3d4953e2141259b113246217b4037df3e