トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

c636682362631cfeea1d0ad0993bd06a7eb796b0c857daeec3221c9bc84cf770 OP_CHECKSIG

20c636682362631cfeea1d0ad0993bd06a7eb796b0c857daeec3221c9bc84cf770ac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

73280d48f2537a2e2320a933e3636b05ea25c4dec00a08a03ed66b332615ace0

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 73280d48f2537a2e2320a933e3636b05ea25c4dec00a08a03ed66b332615ace0
2. TapBranch(73280d48…2615ace0, 46c7eccf…1725e9fa) = 3554c345ef546f6ee16e6c0fbebdb98f0136b9b685f7d1f44bbc7e050454b6cd

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

3554c345ef546f6ee16e6c0fbebdb98f0136b9b685f7d1f44bbc7e050454b6cd

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

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

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

8c3a03f9d0f0ae02bc52445886d56e9b435dc2c9845b56a284f1cc9684c2a47ff21db49c4e24b5216137f1aece460b3805ef92f69a5202cf706312db3e4ccf0d