トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

b62004c698fbaeeab5cf66523d98aa9888ee7e69a80918139e2279c87ffc2c3f OP_CHECKSIG

20b62004c698fbaeeab5cf66523d98aa9888ee7e69a80918139e2279c87ffc2c3fac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

31040f7d18af24be9e46a4f8e5265d71b38945158970d5bff72433d44942be62

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 31040f7d18af24be9e46a4f8e5265d71b38945158970d5bff72433d44942be62
2. TapBranch(31040f7d…4942be62, 46c7eccf…1725e9fa) = 61c408628caf78e315e886777fb48a189f92667b8bfa91479037fc67824a57cd

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

61c408628caf78e315e886777fb48a189f92667b8bfa91479037fc67824a57cd

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

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

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

b446de5f5d586a51e2ab51641ce5d74f874a646f37854ec81150f05b4843a5a36bda766005f6f274d40851f46e5f5681484ac3df1ed979cf1e041fd4472abe64