トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

5e83b498910af5bdbf335f56d63dc73fac4654582d9e2836ad6fbfd6bbe56892 OP_CHECKSIG

205e83b498910af5bdbf335f56d63dc73fac4654582d9e2836ad6fbfd6bbe56892ac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

20e86aa9cc4095887999cc0c35d8e1a5c9e75fbe0f7e5a24ed1c83fb27b74af0

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 20e86aa9cc4095887999cc0c35d8e1a5c9e75fbe0f7e5a24ed1c83fb27b74af0
2. TapBranch(20e86aa9…27b74af0, 46c7eccf…1725e9fa) = 227da5570fec0634c1ed30de770b4ba46c165ce65a1fe07bfbc8691f9489893e

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

227da5570fec0634c1ed30de770b4ba46c165ce65a1fe07bfbc8691f9489893e

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

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

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

c8c1a93bda958f194f9c89025a1d9bfd5b9459eef452330d9858eb55a10fd8626e1f6df50c52aae38bc48515959c30cc6e080fc0fd4635f8fc28616c7dab968a