トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

f074dc4598ee8d35132c7c45da0b7bb2ed6b71ae16bde8c6bff6fd14db63a2f4 OP_CHECKSIG

20f074dc4598ee8d35132c7c45da0b7bb2ed6b71ae16bde8c6bff6fd14db63a2f4ac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

0a84060133d11e71243174a8249b3b73db3dddf7d813ab9a8a3454bf2c14c356

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 0a84060133d11e71243174a8249b3b73db3dddf7d813ab9a8a3454bf2c14c356
2. TapBranch(0a840601…2c14c356, 46c7eccf…1725e9fa) = 51552f37d482a66159f4281599c343c206cd7c2b03721097b0657c45b4d47df4

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

51552f37d482a66159f4281599c343c206cd7c2b03721097b0657c45b4d47df4

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

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

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

193998a45e13c1c59fd534eac6c31c4824babab43c23368ffeded620d3592ba7bbccc03549455d6b5853fe731cf17fa203e3473a97c322ef7adc874dbd4ae00e