トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

c5852d3b36084f1bd68a3d99be62154ada2466b5eb87d0e34feb35b82086b778 OP_CHECKSIG

20c5852d3b36084f1bd68a3d99be62154ada2466b5eb87d0e34feb35b82086b778ac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

2f29f4657f4bce4f8dba5e408a666d12c0ba983b6dd363d2d3490e4884b0be82

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 2f29f4657f4bce4f8dba5e408a666d12c0ba983b6dd363d2d3490e4884b0be82
2. TapBranch(2f29f465…84b0be82, 46c7eccf…1725e9fa) = e1847626882c2caa1ead235d1435c2ce94dc4b45ca8a1ab968a304aa2a0ff477

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

e1847626882c2caa1ead235d1435c2ce94dc4b45ca8a1ab968a304aa2a0ff477

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

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

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

f4875509b22492e76b89314331a9d6e38bc4cac55dc8b847e67c6e1fe7bc630c4db8302533566cfe1347069635e5038c9a7b7e3f74a4930ec7203df451d072a8