トランザクション

入力 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 以上）。

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

d3ad4c9dc5571727732e39b62caffc14e86a1d1888dc6f358865f7c5d67a3e84099a8f12dba2d28eba8e348869211688884dba464a3cfaff4bd7a1e58e13b44f