トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

5defe966531363689776ceee12594cf074a35bf3014b103a33b12f2bbcb32c41 OP_CHECKSIG

205defe966531363689776ceee12594cf074a35bf3014b103a33b12f2bbcb32c41ac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

6ea150a326e9fa25551bd444f6ceb71be4f1ccc06897a93ca2a3e337764a627d

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 6ea150a326e9fa25551bd444f6ceb71be4f1ccc06897a93ca2a3e337764a627d
2. TapBranch(6ea150a3…764a627d, 46c7eccf…1725e9fa) = ca1464fb30e959d809e64afcf2fa1492b74c472688047a407b7cd2750ca71435

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

ca1464fb30e959d809e64afcf2fa1492b74c472688047a407b7cd2750ca71435

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

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

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

a3afbfe396e7cd3a9a2d81ec059d9381b1a0bd05ffc49b2a0458cc8bd9941b4e10d3178b157596988de319cb728c68b41a037d2f3775f8e3a649b883f9d8e86c