トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

6b7b995a8f7577966f32a486c133a855631de75a3f4ddde4209b5472966cb19e OP_CHECKSIG

206b7b995a8f7577966f32a486c133a855631de75a3f4ddde4209b5472966cb19eac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

41f8379d521eeb89112b60b73dc2a937790365732df026ce1ca7eccd87fdc6b2

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 41f8379d521eeb89112b60b73dc2a937790365732df026ce1ca7eccd87fdc6b2
2. TapBranch(41f8379d…87fdc6b2, 46c7eccf…1725e9fa) = 6d19790a1dcf0668d048177e9e8ed044ddd335fc752f2743ba029e124b658039

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

6d19790a1dcf0668d048177e9e8ed044ddd335fc752f2743ba029e124b658039

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

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

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

1c2615ceae5b0a43dcf3528810b6214c3316b8a9e46ab6760ef2e09234a4facc1a99930e114d15c1d427b5a43ac7ac4ace85929bc0aee5d05ebfd97a167806dc