トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

76ffffcb190feff6df2a84befc2b706deefefe7fbe9e631e2e2b3b28a4137f13 OP_CHECKSIG

2076ffffcb190feff6df2a84befc2b706deefefe7fbe9e631e2e2b3b28a4137f13ac

コントロールブロック

c1866a60da9ff30896d7197b3f765ffb48b63c27e8fcc7f7ed53f5d8771ff0fc08 (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

866a60da9ff30896d7197b3f765ffb48b63c27e8fcc7f7ed53f5d8771ff0fc08

リーフハッシュ（TapLeaf）

7d2b65f9b2a972888ccf5273cd0eaf0554ae75eafb033ceb751d77cefdcc59d8

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 7d2b65f9b2a972888ccf5273cd0eaf0554ae75eafb033ceb751d77cefdcc59d8
2. TapBranch(7d2b65f9…fdcc59d8, 866a60da…1ff0fc08) = b56e3b37ff20476d8f6ea07440f542089ff714d48eedd85cfec5e278d5c2574f

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

b56e3b37ff20476d8f6ea07440f542089ff714d48eedd85cfec5e278d5c2574f

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

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

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

871d24af7c2bf0851790fe3a978932f8798f49d5e6cb58a825cf9c32239ccadc315cf489a6fc098fd35129e680f119f639e5fdd0ad896f888a55240e8fd06257