トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

95f5c4c3144105febfc4520fca6946e57e8b98df2db6bf882292e7398540b004 OP_CHECKSIG

2095f5c4c3144105febfc4520fca6946e57e8b98df2db6bf882292e7398540b004ac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

2505d405c93a7f6cb2a4d9b88d4ec3026d4472552def7cfea821b14ff0c46a8c

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 2505d405c93a7f6cb2a4d9b88d4ec3026d4472552def7cfea821b14ff0c46a8c
2. TapBranch(2505d405…f0c46a8c, 46c7eccf…1725e9fa) = 99e817fbb80cdb43a8864d4c345d756694e3d6e48a17471e7af8e7b2be0d09c0

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

99e817fbb80cdb43a8864d4c345d756694e3d6e48a17471e7af8e7b2be0d09c0

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

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

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

b6ebed1e1108b4593faa61eeb8df187468386c9004afedd8ef9ea64f83799da3750f66ac89afd4889a642fc4a2567802735bfe34d461c1080d8593d82e5aa4dd