トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

1a15a74c0e612faebd64f9ae034c4cd699c585787efdef3da29822c1bc3865d2 OP_CHECKSIG

201a15a74c0e612faebd64f9ae034c4cd699c585787efdef3da29822c1bc3865d2ac

コントロールブロック

c112a5648498c681d5e0a50e43b4227c440f56295386daec9a66f5c10bb14542b9 (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

12a5648498c681d5e0a50e43b4227c440f56295386daec9a66f5c10bb14542b9

リーフハッシュ（TapLeaf）

c219cea361d457b986d51d71272379dd192d24f3ecec920a6e4c55fce2e7e0c3

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = c219cea361d457b986d51d71272379dd192d24f3ecec920a6e4c55fce2e7e0c3
2. TapBranch(c219cea3…e2e7e0c3, 12a56484…b14542b9) = 8fbdac2a54f7015fed6eff618080d386b17a0ff09b0947b1bf4466be04cb5835

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

8fbdac2a54f7015fed6eff618080d386b17a0ff09b0947b1bf4466be04cb5835

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

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

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

f0628d66117e9c7a7c55de1767d78c67412eceaf874cfade4edd280a4bd1ccc261bf1f95c56cb5871eb0e66552bfb72207966233f4ce2c1ccfed84620b233d8d