トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

36d75d2fb85a8ae47538a323c51812b2f55a0b5eff691114a7a0ef202a8a8905 OP_CHECKSIG

2036d75d2fb85a8ae47538a323c51812b2f55a0b5eff691114a7a0ef202a8a8905ac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

641f9946ef533d264cbd98e286e63c6c36b667b4bcab2ad12442a7fd1ed87598

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 641f9946ef533d264cbd98e286e63c6c36b667b4bcab2ad12442a7fd1ed87598
2. TapBranch(641f9946…1ed87598, 46c7eccf…1725e9fa) = 7ed0edbe7a6e271ac573b081b8778ea1880cf3a112836f9636e42bd01fe30401

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

7ed0edbe7a6e271ac573b081b8778ea1880cf3a112836f9636e42bd01fe30401

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

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

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

ec03afe6ce3cd259170bb0bf13deeecec7a6f2e825665f1c94d955f41188b533229616dc7fa29f9f6b27f03d5a051620bd7e27deaf8479a82c8d3384d3d3b615