トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

cd274c5b62dd75cbae6286b4672e175b58d10a217f67657e0101a7242d1b9988 OP_CHECKSIG

20cd274c5b62dd75cbae6286b4672e175b58d10a217f67657e0101a7242d1b9988ac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

fd01bd03b0cda7d79648e88a6477a053f3391d360b3716be1e60edb09c520d7b

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = fd01bd03b0cda7d79648e88a6477a053f3391d360b3716be1e60edb09c520d7b
2. TapBranch(fd01bd03…9c520d7b, 46c7eccf…1725e9fa) = e649f102a2538a2677f540608e077406a392dacec04d8e44a9f196cf408b2a9c

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

e649f102a2538a2677f540608e077406a392dacec04d8e44a9f196cf408b2a9c

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

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

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

c2c3c8ae07df3c9ca6b19f1cea50b84aa4c002f9fd57138687c18b178a4866126cea5309f840bcd3802438f81964456fd7a0f59341579eacf5325e1092fc36a9