トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

12bde8aea1b5d85bb54076af3e7863d76b8190d195d395c3f7ddeddde21d8ade OP_CHECKSIG

2012bde8aea1b5d85bb54076af3e7863d76b8190d195d395c3f7ddeddde21d8adeac

コントロールブロック

c11a8ef5400fc1c7f5777cfc99ab9a4d0e90fbe9f8a6da409da32291f76feba1a9 (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

1a8ef5400fc1c7f5777cfc99ab9a4d0e90fbe9f8a6da409da32291f76feba1a9

リーフハッシュ（TapLeaf）

595f32bd738100e12ef2d52072a4831c72aff26cdf62df502436c1d8bcba966f

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 595f32bd738100e12ef2d52072a4831c72aff26cdf62df502436c1d8bcba966f
2. TapBranch(595f32bd…bcba966f, 1a8ef540…6feba1a9) = 9a30aa66107b3f0c584f4a78f6ba58d7a04fc11da23ae5ef852afc672afb60b9

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

9a30aa66107b3f0c584f4a78f6ba58d7a04fc11da23ae5ef852afc672afb60b9

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

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

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

248c649a6151fb886a4ab94df8a870da7649765a0d121e2ec84b8ecf03716bebfd29ba5c2c7dd1a9e9a3f2e77c603aa4b7407c7d444911d520469951cb5069a9