トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

85ad134715662be5bb287b5cb693302fa454a393db319b66c0c8340cee354fe3 OP_CHECKSIG

2085ad134715662be5bb287b5cb693302fa454a393db319b66c0c8340cee354fe3ac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

7c28598ad2bc4e3cfe5ae6e6cca1e7354a392e367e01a240f1d2858674fb1ec2

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 7c28598ad2bc4e3cfe5ae6e6cca1e7354a392e367e01a240f1d2858674fb1ec2
2. TapBranch(7c28598a…74fb1ec2, 46c7eccf…1725e9fa) = b3f8f86a73100444e3600c0ca468f86044cd23c4d7dfb197742edbc39b24cd73

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

b3f8f86a73100444e3600c0ca468f86044cd23c4d7dfb197742edbc39b24cd73

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

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

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

c7d5c30dc3d91593797c07fc3d8eeeb9415a0419dbc71ea6d1765c294990617a79cdd3ed9a17682b2eb985faac4d2a6b9c3550a167b0601fdaf85f7fdc264b8d