トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

e27453d6d70593856db2732fa343b3b5b3e0ce291263635ed8cf5ed914fce27c OP_CHECKSIG

20e27453d6d70593856db2732fa343b3b5b3e0ce291263635ed8cf5ed914fce27cac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

f620578e18d6929e129b3ff501985ef1b5655a810bcdb3efe6a33926e31c94a9

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = f620578e18d6929e129b3ff501985ef1b5655a810bcdb3efe6a33926e31c94a9
2. TapBranch(f620578e…e31c94a9, 46c7eccf…1725e9fa) = 570bc9d09a7e517b244e25b6627e490377f6452efe4ae6d62eee2dc732029ef4

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

570bc9d09a7e517b244e25b6627e490377f6452efe4ae6d62eee2dc732029ef4

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

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

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

70030c4ad9c5e254331071504565c8c8c7e6d102c74c489ea77f56e1bd8b9cb0e76c660677202b2e6b835bc3ca5fb85545b8cbcfbf6bebc2899a7f1e7b1d33ac