トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

14c4a7e0dd2f979b3bb6912f4e72bb485ab0d8e38cd326545eed1e633ccc57b8 OP_CHECKSIG

2014c4a7e0dd2f979b3bb6912f4e72bb485ab0d8e38cd326545eed1e633ccc57b8ac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

90f9c6b497ee84dde3fa1b09c2735312b27645dff7331c0903b370b9aa902d09

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 90f9c6b497ee84dde3fa1b09c2735312b27645dff7331c0903b370b9aa902d09
2. TapBranch(90f9c6b4…aa902d09, 46c7eccf…1725e9fa) = 537268584d67d23c160fdbd2e81ecc94f591a2544217c4db389c765beb9fa111

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

537268584d67d23c160fdbd2e81ecc94f591a2544217c4db389c765beb9fa111

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

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

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

8debb7ee7c1171cf8d4e00c359716b9c293c2f072e2a5199d01c40b35f4647f9113b7c6bff872355ed3e0857791ec751c88fd19f9843da13c70af8b0901636b9