トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

e44878640c87c432aa23f3d722fd49d937874d5c292e971fadfabbe17736c952 OP_CHECKSIG

20e44878640c87c432aa23f3d722fd49d937874d5c292e971fadfabbe17736c952ac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

006bd5e9e6b1916821cfc21b5c2cde4f42b1f5bbeb55c03e7025d30a9a5728fd

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 006bd5e9e6b1916821cfc21b5c2cde4f42b1f5bbeb55c03e7025d30a9a5728fd
2. TapBranch(006bd5e9…9a5728fd, 46c7eccf…1725e9fa) = 1588e50b3e4ef65f53682766dd030cf9f3b515612ab1b95de5edc778b142d23c

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

1588e50b3e4ef65f53682766dd030cf9f3b515612ab1b95de5edc778b142d23c

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

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

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

3e3ebd7a1c11337127e1ec6e77791f6b3d98a9924d8fbc4271424b9e156fe439267e30bac49f4dd15863780e6dae3b7d439c7f869f454955f02572f629dc602d