トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

90b174d8b04a93df41993ed49e3b6c9633bbbbaca850deb8ac2b861ae92b2d0e OP_CHECKSIG

2090b174d8b04a93df41993ed49e3b6c9633bbbbaca850deb8ac2b861ae92b2d0eac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

27a872ccd48617a6c7119eed84dd67a927de31e3a396d759a5c7730495ad950a

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 27a872ccd48617a6c7119eed84dd67a927de31e3a396d759a5c7730495ad950a
2. TapBranch(27a872cc…95ad950a, 46c7eccf…1725e9fa) = ae3811f1d1d4b42d6e4678491699135d1fc82be89501eaee866302073d9ba608

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

ae3811f1d1d4b42d6e4678491699135d1fc82be89501eaee866302073d9ba608

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

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

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

d4210d700e81911dec09b1a4c053eb9b636ee29f2a7f1b75713673470391533c8a6daba2cccf7b9ea52b1c391f34db588ec0f35b1968a13c568bbe210f47054e