トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

7b6ca197ca8322f75561292e1f09cd2451232d5d72f20396d221677bb9bbaf40 OP_CHECKSIG

207b6ca197ca8322f75561292e1f09cd2451232d5d72f20396d221677bb9bbaf40ac

コントロールブロック

c19b853bfc887dc7526f06cb3f8d782005d6690ade074b9caf40038fd03e5cde4a (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

9b853bfc887dc7526f06cb3f8d782005d6690ade074b9caf40038fd03e5cde4a

リーフハッシュ（TapLeaf）

fa9cc16b6cddb64dadb345a7df29628d9010ae1e1690b080b15cefcbd0848b52

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = fa9cc16b6cddb64dadb345a7df29628d9010ae1e1690b080b15cefcbd0848b52
2. TapBranch(fa9cc16b…d0848b52, 9b853bfc…3e5cde4a) = e3601d438447bb5f76af94e9a083f8e7db950a82af490d55542127912f6b207f

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

e3601d438447bb5f76af94e9a083f8e7db950a82af490d55542127912f6b207f

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

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

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

ebcffec5db9f3f02833b6328cb6c2fff9576362d7dc302ea80082b2b8db9be7b897f0abf81913b48d1418697e3cf1d23c064eee2c3517f10c1193640c7f0bb44