トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

16d22f558af17e16d0f2638f635d0e12ed9d1436353282aba6408400fb297871 OP_CHECKSIG

2016d22f558af17e16d0f2638f635d0e12ed9d1436353282aba6408400fb297871ac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

07e0782dde26944288f20ac905ece35c3936ff2bc6be45533b9018cb9cc212df

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 07e0782dde26944288f20ac905ece35c3936ff2bc6be45533b9018cb9cc212df
2. TapBranch(07e0782d…9cc212df, 46c7eccf…1725e9fa) = c89aac49034556fdc804810e79a8bae7f01e235acd2479778bfb882ea03a7a06

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

c89aac49034556fdc804810e79a8bae7f01e235acd2479778bfb882ea03a7a06

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

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

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

7b28ad280ecfb878f574161d772c30267e405c0e8f7a49560f76a5cac4deb9f0af3a85463fb47b6feabe80937de1a1a433819a6d2710d8db6960f24302b032f3