トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

bee9f69da7d705c17b536e7170bd8a3887e14059e2c9209f1a7dcc283cd5d30d OP_CHECKSIG

20bee9f69da7d705c17b536e7170bd8a3887e14059e2c9209f1a7dcc283cd5d30dac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

d40a00a5f227b0840e545316e981796b0f109611fa548a45809879d25e25d0bf

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = d40a00a5f227b0840e545316e981796b0f109611fa548a45809879d25e25d0bf
2. TapBranch(d40a00a5…5e25d0bf, 46c7eccf…1725e9fa) = 759aaa45b3688a5e018a46925d8caf9355c9926884250925be9cd598e72ef0da

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

759aaa45b3688a5e018a46925d8caf9355c9926884250925be9cd598e72ef0da

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

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

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

359b24bdec4d00b4cf1f3885144fbe6f3a1a4cac57b36690896eec10c1d5c3266a4b9c22c127b675aa96702c8451bcef46f2f2216cc3ba234103afb40d2d979b