トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

6c5163f688011b63383f93880b0620c7f6af1f34e9876133defc034e7d3f9c86 OP_CHECKSIG

206c5163f688011b63383f93880b0620c7f6af1f34e9876133defc034e7d3f9c86ac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

c5fdfbb4f4070610cceebe7af273abe80cebe6076ffa100d49d4b99b430a322f

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = c5fdfbb4f4070610cceebe7af273abe80cebe6076ffa100d49d4b99b430a322f
2. TapBranch(c5fdfbb4…430a322f, 46c7eccf…1725e9fa) = 36403bec71899e5fd4cce5ba47bf848aa77a5955ad4b19900342721118ff9ef5

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

36403bec71899e5fd4cce5ba47bf848aa77a5955ad4b19900342721118ff9ef5

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

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

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

66a80e0a28dbf3fda8e20dff1fa309b6c3ec32443940b591e6cb8bb8fea23f6649a18be2f851b4f9ccc23882817b12371b63964a00be5bfa80d60c2227031b7d