トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

585af563b7359b95c4360b057d3cce4d680b9afae7296a1fe63288cc8f961f93 OP_CHECKSIG

20585af563b7359b95c4360b057d3cce4d680b9afae7296a1fe63288cc8f961f93ac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

b6731e2f5a2f544aa2c172ede9fed299f6ae17422e321a4149fe5981685d75d2

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = b6731e2f5a2f544aa2c172ede9fed299f6ae17422e321a4149fe5981685d75d2
2. TapBranch(b6731e2f…685d75d2, 46c7eccf…1725e9fa) = 26063b5872cc067110427fe23127b48df7aba53990a211447a41b03496d475f7

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

26063b5872cc067110427fe23127b48df7aba53990a211447a41b03496d475f7

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

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

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

2811eee8fe59bcca4f2eb4ee4e2ff49a0584d89c5bed44a52de2788386aad4266e5d036df503257e9a1d344a7414a2ac903d444fc88b5874407fc595e4c8651b