トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

5e8d5cb4b2c6f4159fb9bbe6f906f74ebc0e3a9551f6b256d9d34e8b2f067d7c OP_CHECKSIG

205e8d5cb4b2c6f4159fb9bbe6f906f74ebc0e3a9551f6b256d9d34e8b2f067d7cac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

97fb5d92a87c80c299f9fdd3a5864d9a6ef611581bbb251cb12732c19f998264

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 97fb5d92a87c80c299f9fdd3a5864d9a6ef611581bbb251cb12732c19f998264
2. TapBranch(97fb5d92…9f998264, 46c7eccf…1725e9fa) = e6eb2fbcd860c89bee1e728eef9974dde0c0705d26b0c979d46b520189f6778d

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

e6eb2fbcd860c89bee1e728eef9974dde0c0705d26b0c979d46b520189f6778d

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

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

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

48bb669408a8f2d7ac6b3eb986c6c7a888af07f83c8a3142756882091fb48d1bfd6febd3816f34deb0c03b4daccff223555ceee1dc5b1ba6681db9c828636270