トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

2dbcf339959b644266ee271616a20f32d9d9e1f3116caa008bda1e2f69bd9280 OP_CHECKSIG

202dbcf339959b644266ee271616a20f32d9d9e1f3116caa008bda1e2f69bd9280ac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

60ee2bf26e3252012bc6914245df74d8c594160a5dcf5a9a8d08fca165bd5280

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 60ee2bf26e3252012bc6914245df74d8c594160a5dcf5a9a8d08fca165bd5280
2. TapBranch(60ee2bf2…65bd5280, 46c7eccf…1725e9fa) = 67f09e1bf7d8f49f35c34a82c25e0513141083dce96c3e8d2e455715436697bf

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

67f09e1bf7d8f49f35c34a82c25e0513141083dce96c3e8d2e455715436697bf

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

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

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

c51aa4d747f286eaa37b46e38bab3b9f099f910ce2e4e5462f35f5d7637205a0ee5e68a095261ab0c882736a508ce6d40dc1352fceb4047b40f0481cc28cae7f