トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

b6cab3bbaf9379916c24d197bb9a26f0ced745659b77ac73d1bdb2761c78e80b OP_CHECKSIG

20b6cab3bbaf9379916c24d197bb9a26f0ced745659b77ac73d1bdb2761c78e80bac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

5d65271ba337b453e0cd7e5c49e0963b0ee3df12c841a7d2487053bc2ce2dbce

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 5d65271ba337b453e0cd7e5c49e0963b0ee3df12c841a7d2487053bc2ce2dbce
2. TapBranch(5d65271b…2ce2dbce, 46c7eccf…1725e9fa) = 350eeece29673891f00c5aaec1adad529dec3a754587792613e02ac980cf4610

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

350eeece29673891f00c5aaec1adad529dec3a754587792613e02ac980cf4610

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

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

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

37853c0fe50508a9e3506e7561f803dcb7e6b7086591f10d053885ba8c9c0328dc81700baa295a9233f99113272ef6b30ace9fdfab9b3d969133d1f4df4d480c