トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

2a993268414b1c5f50c7950eef9d90ea573d57809c5cbbafdafddf2010502e93 OP_CHECKSIG

202a993268414b1c5f50c7950eef9d90ea573d57809c5cbbafdafddf2010502e93ac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

5f01e4e07302fe02d5e5661fbbaf85e9ad3046c1d764c8fd5db2598ff37f90f0

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 5f01e4e07302fe02d5e5661fbbaf85e9ad3046c1d764c8fd5db2598ff37f90f0
2. TapBranch(5f01e4e0…f37f90f0, 46c7eccf…1725e9fa) = 6444bfb0a4efc207158276491b0181bf1d89ca9a1d5899b94af9f8bea91ffaab

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

6444bfb0a4efc207158276491b0181bf1d89ca9a1d5899b94af9f8bea91ffaab

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

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

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

8ec557ca14674d44c8a4fee70899482e202a8353ec613ca93aa30f5cf38c349ad4a3c45a60919b02cd008e563cc39aa04e2a1682656c3cb02da8494cf5a4aff3