トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

705150d4b5012db79659cd21336f9d926799830043336127a020b385f2855651 OP_CHECKSIG

20705150d4b5012db79659cd21336f9d926799830043336127a020b385f2855651ac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

ddfd048806a92ab28c5a725d9c3214463681414ad29ad567ef52ecf07d8f317e

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = ddfd048806a92ab28c5a725d9c3214463681414ad29ad567ef52ecf07d8f317e
2. TapBranch(ddfd0488…7d8f317e, 46c7eccf…1725e9fa) = df4c909db3e13107f0fe374fc16c9fde6066989bfbb0c595f2a17e2c469c3f02

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

df4c909db3e13107f0fe374fc16c9fde6066989bfbb0c595f2a17e2c469c3f02

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

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

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

f9f8b85eacfb56958511a4cbe505b20782753f976991b3ed937b78e05957195b5a9f37fe184c001103bc452a103c41a602c7c6f3647d102c8dda424f2a03c7e5