トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

14aa8fdf69304a7996cd9c2ef2c24ee4004292352b5e4a5d163feb986ef97be9 OP_CHECKSIG

2014aa8fdf69304a7996cd9c2ef2c24ee4004292352b5e4a5d163feb986ef97be9ac

コントロールブロック

c1c9731cbe9f5f7507f6a7f00ce31cab41e2f67e76fc4616d126c389bc5543c0fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

c9731cbe9f5f7507f6a7f00ce31cab41e2f67e76fc4616d126c389bc5543c0fa

リーフハッシュ（TapLeaf）

73314a82f19ef46bfd2f4e6e01535e9dd06c49ab14ca82e9e8e0d59522100fc5

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 73314a82f19ef46bfd2f4e6e01535e9dd06c49ab14ca82e9e8e0d59522100fc5
2. TapBranch(73314a82…22100fc5, c9731cbe…5543c0fa) = 56d98d3ec897e2fd005c5d554693eca8b218fe307aa45a064681a6f8958858c0

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

56d98d3ec897e2fd005c5d554693eca8b218fe307aa45a064681a6f8958858c0

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

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

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

754b2b8fb07fbdd86333f44e08f314626c53ecaf1027fa25896db28449a4753242c7d173e4f69bf24acb57388ae4604551b42eb618554ffe454a51fd2567e4be