トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

9683a40dc3a14ccf46f1f4aedc5af767e4aa5615bafcf0295d6668c63e67d064 OP_CHECKSIG

209683a40dc3a14ccf46f1f4aedc5af767e4aa5615bafcf0295d6668c63e67d064ac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

33d70898f7040497e197364bcc27ae40db7c9d9a84a3fdb3d109cc6a5e4e6935

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 33d70898f7040497e197364bcc27ae40db7c9d9a84a3fdb3d109cc6a5e4e6935
2. TapBranch(33d70898…5e4e6935, 46c7eccf…1725e9fa) = 2f40ab263eef977e96cb47bb2779507108f8bc78be542d91dd095d94ec823ff7

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

2f40ab263eef977e96cb47bb2779507108f8bc78be542d91dd095d94ec823ff7

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

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

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

f5b8127b788d647dc7305237631001e2a94663ee819d41b4785bf9d52e1baf56b9cb13efccce71b3faa3e8e318e3dea316b1af43239da9cdcba4899a3d00e9a2