トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

a41ff6b99ff160b1a390b4b3ce5ac19584d435e70b218f702afbf8f2833355f4 OP_CHECKSIG

20a41ff6b99ff160b1a390b4b3ce5ac19584d435e70b218f702afbf8f2833355f4ac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

0b4d5a8bba17afcc32f9d0af9f716e38bdd38218e0eb0a441c14a2a370c3002e

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 0b4d5a8bba17afcc32f9d0af9f716e38bdd38218e0eb0a441c14a2a370c3002e
2. TapBranch(0b4d5a8b…70c3002e, 46c7eccf…1725e9fa) = 964bc5cf07aec3bb35ebf7b46a3ef7ed481d1a194272cc2e1f6194a6fc4cf9ae

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

964bc5cf07aec3bb35ebf7b46a3ef7ed481d1a194272cc2e1f6194a6fc4cf9ae

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

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

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

f51dac505b0a304706a8e00e60e8d4be38489bbbc7c519b195ac28e4b8c452e81a35b21469fc40e065a5d345b159cf4f64362140d5c28fead1483a1b685d73b8