トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

4af1295baa27e075daf4ba41d4acdc578f7ba0939a73a9bc7f4f6cefa6562888 OP_CHECKSIG

204af1295baa27e075daf4ba41d4acdc578f7ba0939a73a9bc7f4f6cefa6562888ac

コントロールブロック

c14b5c2be8e626fa758d55c158f429a758cfb137b355d567b2e4d3e58c7bd5f906 (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

4b5c2be8e626fa758d55c158f429a758cfb137b355d567b2e4d3e58c7bd5f906

リーフハッシュ（TapLeaf）

7f63aa09d060744ad8a990acc30446f0961f2d8e6b01be7849270da91b6332df

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 7f63aa09d060744ad8a990acc30446f0961f2d8e6b01be7849270da91b6332df
2. TapBranch(7f63aa09…1b6332df, 4b5c2be8…7bd5f906) = a45dd825e557dea74f8d5fe9a90908b55e1d9d200edb47136c431f588ac16ec8

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

a45dd825e557dea74f8d5fe9a90908b55e1d9d200edb47136c431f588ac16ec8

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

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

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

523b196e445a48cfcbd77817fc1e6ab7e34b7b5eaf71ab99ee44da819dfdc8ea3b24567d0039f855ab485d603c3b5dd69d686779b81dc27d823211e3216ded64