トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

2565dbd6d62dcb916eff12c52741266d535c1be757549c41cff28a2f53402e10 OP_CHECKSIG

202565dbd6d62dcb916eff12c52741266d535c1be757549c41cff28a2f53402e10ac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

3cb892663a2392a018a8a682433d79a95a0b029f910bd1f5c34f72ba51d4788e

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 3cb892663a2392a018a8a682433d79a95a0b029f910bd1f5c34f72ba51d4788e
2. TapBranch(3cb89266…51d4788e, 46c7eccf…1725e9fa) = d0c9f8e203d145531ff7c806c638f2d59b7d816e64336a370ba3ceb71079351f

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

d0c9f8e203d145531ff7c806c638f2d59b7d816e64336a370ba3ceb71079351f

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

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

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

8b9fe45cc91e31320949a8c83ff99c5c7a510e6fe7aa08694612baac5860954b3c8b87cb817c4ec6d5928e49012223bc26218c466964b96b89acc1e9833e65f7