トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

156cce14d2a95ce884fb45739d0c4022f34f056743ddba920c124236a43eb1e1 OP_CHECKSIG

20156cce14d2a95ce884fb45739d0c4022f34f056743ddba920c124236a43eb1e1ac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

7896db6e12cbdbea265f13935d5e23ace544f30e3cf5e46ea3a7a5b3e7aceb5f

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 7896db6e12cbdbea265f13935d5e23ace544f30e3cf5e46ea3a7a5b3e7aceb5f
2. TapBranch(7896db6e…e7aceb5f, 46c7eccf…1725e9fa) = c7598cd26b772dc3e2cd9ed6441eb375e460a8860a80c9bea97216a26fd7dc83

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

c7598cd26b772dc3e2cd9ed6441eb375e460a8860a80c9bea97216a26fd7dc83

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

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

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

93381dec582598600bfdf2709d2cf843897931a75812e3e040abaa5bf4f6e5bc6f4bebdb29daf728b69fbd4d03f2feae6357269dfafc2a16bfe2c5e7a12affa3