トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

a9327684b7cb14b460a35bb515532cbba4817559cd4892c679d6a3f5cffa0f86 OP_CHECKSIG

20a9327684b7cb14b460a35bb515532cbba4817559cd4892c679d6a3f5cffa0f86ac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

ddc7e95322720fd3d5161a3cea36e05493b91e2321a63e8c4e4373b275365fbe

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = ddc7e95322720fd3d5161a3cea36e05493b91e2321a63e8c4e4373b275365fbe
2. TapBranch(ddc7e953…75365fbe, 46c7eccf…1725e9fa) = 26acf783828a081b8d4cace961f160a3c98f152ab01d6d17d49f5243afa3e179

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

26acf783828a081b8d4cace961f160a3c98f152ab01d6d17d49f5243afa3e179

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

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

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

0c0b67ba50253ea7e682251c3cfe2fda6c3e564bda1598d6405db9c244218e6267aad119e414532758a79b7f9f7695f67e5433d55a7f25afcec09c2bf1b6e6a5