トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

bb12cc47f50f7a4adde7725f4ebb36d08b7598340b15d4b0fdf68a392e0357e6 OP_CHECKSIG

20bb12cc47f50f7a4adde7725f4ebb36d08b7598340b15d4b0fdf68a392e0357e6ac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

f0bb7a3a29dced18c99982217093e33ad0c717ffd8a78fbe169b044711576235

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = f0bb7a3a29dced18c99982217093e33ad0c717ffd8a78fbe169b044711576235
2. TapBranch(f0bb7a3a…11576235, 46c7eccf…1725e9fa) = 3edc1f3670f940c441416bc6af316990720a5046bad39fca8c39f143ca4035f1

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

3edc1f3670f940c441416bc6af316990720a5046bad39fca8c39f143ca4035f1

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

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

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

cd2894f725d1e1f2e5068dca4f88f81fb74e98ec7afabda93f48a08f8867ae43f35e744ead38d1b93c3c054d0582fe8a61f9bafcdf0f39018214708b68529a3f