トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

ab1deb1fe8284d0e2c8a387a3b54f30433feb1f9e785c60f68f65140334d3e72 OP_CHECKSIG

20ab1deb1fe8284d0e2c8a387a3b54f30433feb1f9e785c60f68f65140334d3e72ac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

d69eb1a913533666cd1019fefb2666f3922513370bc466ff2a83f9e1f5c08242

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = d69eb1a913533666cd1019fefb2666f3922513370bc466ff2a83f9e1f5c08242
2. TapBranch(d69eb1a9…f5c08242, 46c7eccf…1725e9fa) = 49f9c6282762761911592f70f640869d6c29a3942b3b826ef409fe047312da6d

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

49f9c6282762761911592f70f640869d6c29a3942b3b826ef409fe047312da6d

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

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

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

7caa92476c82d7f6705dab08fc60c77a29aa73789a3fe1ea17e7b3d96d10b21babfe921e6ec7ebe6e4284ca4b0b132e80bcac8e77dd9eeb1c3a49602675d70d3