トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

f88b726839588a84e2c45e664ed208e36ca1aa15f99c051eb3974fea059e9c72 OP_CHECKSIG

20f88b726839588a84e2c45e664ed208e36ca1aa15f99c051eb3974fea059e9c72ac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

27c5585f97dfe559bf8b7e03d5ba158cfd30f0e0cf96aadf04d45829f193d046

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 27c5585f97dfe559bf8b7e03d5ba158cfd30f0e0cf96aadf04d45829f193d046
2. TapBranch(27c5585f…f193d046, 46c7eccf…1725e9fa) = b56201942f85509d08b89ab0ec11d094a81ab3217f207e54a0b52305c83c9682

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

b56201942f85509d08b89ab0ec11d094a81ab3217f207e54a0b52305c83c9682

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

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

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

b3e4d4835f4aa6bc5d31d777dfadaa61d474891d919be835f561b6ac45b0a5b62d32abf01d4187717bb95080f57d29b071879df25dc2b76eeeafd5d828784c3e