トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

55d91b07bece88400366fe4c3fc14b620ae94e61e5cf27add139e9b00fab75b5 OP_CHECKSIG

2055d91b07bece88400366fe4c3fc14b620ae94e61e5cf27add139e9b00fab75b5ac

コントロールブロック

c10ead0542cc41c11c2b1eb69f975a159319d9b32f865cf0f733f7eac395e8c9b0 (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

0ead0542cc41c11c2b1eb69f975a159319d9b32f865cf0f733f7eac395e8c9b0

リーフハッシュ（TapLeaf）

453666e11fbe6179c5fd6ea9cb8ac98e07a4a702720604b6a9d6d2531575d1ca

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 453666e11fbe6179c5fd6ea9cb8ac98e07a4a702720604b6a9d6d2531575d1ca
2. TapBranch(453666e1…1575d1ca, 0ead0542…95e8c9b0) = 821984839c2c4edebadafb0ab73239db26055006b41168718b50f66bf33bd826

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

821984839c2c4edebadafb0ab73239db26055006b41168718b50f66bf33bd826

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

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

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

47a794a0e1aed86738ae63c347b6173ccefee2f493526592ae349cef9f58165fee8223c8a082b53bb312e1a8d03cc818e1862af1930bdb9059046aec7f9c9b25