Mengapa perlu untuk menampilkan titik di jalur skrip dan memeriksa apakah itu cocok dengan koordinat Y dari Q di jalur skrip? – Beragampengetahuan

Menurut BIP341 [

1. “First, we define taproot_tweak_pubkey for 32-byte BIP340 public key arrays. The function returns a bit indicating the tweaked public key’s Y coordinate as well as the public key byte array. The parity bit will be required for spending the output with a script path.“

2. This is shown in the “Script validation rules” section:

If q ≠ x(Q) or c[0] & 1 y y (q) mod 2, gagal [10]

3. Ikuti referensi [10]Itu

“Mengapa perlu sedikit mengekspos pada jalur skrip dan memeriksa apakah cocok dengan keseimbangan koordinat Y dari Q? Saldo koordinat y memiliki keseimbangan yang dinaikkan x -koordinat Q ke satu -satunya titik. Meskipun ini tidak perlu untuk memverifikasi komitmen taproot verifikasi di atas, perlu untuk memungkinkan verifikasi batch. Selain itu, Q dapat dipaksa untuk memiliki koordinat yang seragam, tetapi ini perlu mencoba dengan kunci publik internal yang berbeda (atau pesan yang berbeda) sampai Q memiliki atribut. Tidak ada sisi yang tidak menguntungkan untuk menambahkan inspeksi sekolah boneka, karena blok kontrol tidak akan digunakan. “

Saya mengerti (saya pikir) mengapa verifikasi boneka taproot_tweak_pubkey di saksi “blok kontrol” tidak diperlukan untuk verifikasi pengeluaran path-skrip P2TR.

• Orang tua, orang yang dapat menghabiskan utxo untuk saksi;
• Dan verifikasi aturan verifikasi transaksi (seperti node);
• Mereka semua membangun taproot_tweak_pubkey: root merkle yang sama, publik internal yang sama, taproot_tweak_pubkey yang sama.

Namun demikian, saya pikir masih ada alasan keamanan yang cukup mengapa menambahkan verifikasi kopling penambahan ke aturan verifikasi dalam jalur-skrip P2TR ditambahkan ke P2TR-Script-path.

Pertanyaan utama saya adalah mengapa “perlu untuk mengizinkan verifikasi persetujuan”?

Terima kasih banyak, semua orang menghabiskan waktu untuk mendidik kami di Bitcoin!