Nagbabala ang co-founder ng Solana na si Anatoly Yakovenko na maaaring sirain ng AI ang mga post-quantum cryptography signature scheme, na humihimok ng 2/3 multi-sig wallet support o native na proteksyon sa antas ng PDA.
Ang thread ay nagsimula sa maliit. Nag-post ang isang developer ng isang linya sa X. Pagkatapos ay pumasok ang co-founder ni Solana na si Anatoly Yakovenko, at mabilis itong naging seryoso.
Developer @shek_dev sa Xi-set off ang usapan sa pamamagitan ng pagpuna na si Solana ay malapit nang makakuha ng quantum-mogged. Ang konteksto ay isang live na pull request sa GitHub, kung saan nagbukas ang contributor na si abishekk92 ng isang pormal na verification suite para sa isang Falcon-512 signature verifier na binuo sa Ang post-quantum cryptography ni Solanasalansan.
Ang Tunay na Panganib na Walang Pinag-uusapan
Ang pull request sa GitHubay teknikal. Libu-libong linya ng pormal na pag-verify, adversarial test batteries, Lean proofs, Kani harnesses, at Miri memory safety checks sa bawat hindi ligtas na code path sa Falcon-512 verify pipeline. Ang gawain ay sumasaklaw sa byte-level codec canonicality, NTT kernel correctness, at isang maling alternatibo sa umiiral na key preparation function na nagbabalik ng error sa halip na mag-panic sa malformed input.
Doon tumalon si Yakovenko.
Pag-post sa X, Sumulat si Tolyna siya ay naniniwala na ang pinakamalaking kasalukuyang panganib ay AI breaking PQC signature schemes. Hindi malayong pag-aalala. Hindi isang theoretical edge case. Direkta ang kanyang mga salita: hindi lubos na nauunawaan ng industriya ang mga kahinaan sa pagpapatupad sa mga scheme na ito, at ang ibabaw ng mathematical na pag-atake ay hindi gaanong namamapa. Ang kanyang panawagan sa pagkilos ay 2/3 multi-signature wallet na suporta para sa PQC, o katutubong suporta na direktang binuo sa processor ng transaksyon sa pamamagitan ng Program Derived Addresses.
Ito ay hindi isang mahabang post. Lumapag naman ito.
Toly, Syscalls, at isang Developer na Pag-uusap ay Mabilis Gumalaw
Kanina sa parehong thread, Nagtanong si Yakovenko sa Xkung ang pagpapatupad ng Falcon-512 ay gumagamit ng harmonic ni Vlad. Tumugon si @shek_dev sa Xna hindi — tumatakbo ang trabaho sa Opus 4.7 at Codex 5.5, na may mga planong hayaang tumakbo ang Harmonic sa Bertoni na umakma sa idinagdag ng developer na si @deanmlittle sa pagpapatupad ng keccak. Pagkatapos ay ibinigay ni @shek_dev ang mga bagay sa Xsa @HarmonicMath para kunin.
Sa isang hiwalay na tugon sa parehong palitan, Nag-post si Yakovenko sa Xisang iminungkahing pag-aayos sa arkitektura: isang syscall para iangat ang status ng PDA is_signer sa antas ng processor ng transaksyon, na may mga bayad na sinisingil sa mga wastong pumirma sa dulo ng bawat bloke. “Gawin mo ito, pls,” isinulat niya.
Ang Falcon-512 PR mismo ay hindi humipo sa production compute. Ang mga benchmark mula sa pormal na sangay ng pag-verify ay nagpakita ng zero na pagbabago sa mga compute unit laban sa master — 195,786 CU sa magkabilang panig. Ang bagong function na try_prepare_pubkey ay halos pareho sa orihinal kung tawagin, humigit-kumulang 99k CUs, dahil pareho itong aritmetika na may mga paninindigan na muling isinulat habang bumabalik ang error sa halip na panic.
Ang Problema Ni Toly Talaga Ang Itinuturo
Ang mga PQC scheme tulad ng Falcon-512 ay pinagtibay sa bahagi dahil nilalabanan nila ang mga pag-atake mula sa mga quantum computer gamit ang algorithm ni Shor. Ang math ay tunog. Ang tanong ni Yakovenkoiba: ano ang mangyayari kapag sinimulan ng AI na suriin ang mga gaps sa pagpapatupad na hindi pa saklaw ng pormal na pag-verify.
Maaaring patunayan ng pormal na pag-verify na ang per-coefficient encoding ay injective. Maaari nitong i-pin na ang byte-packing ay canonical. Ang mga Lean proofs sa PR na ito ay eksaktong ginagawa — serializeFalcon_injective, packBytes_injective, zero-pad cancellation theorems. Anong pormal na pagpapatunay ang hindi pa saklaw sa PR na ito, at kinilala ito ng pangkat, ay ang buong-pipeline na kawastuhan ng NTT bilang isang pormal na pahayag.
Iyan ay hindi isang pagpuna sa trabaho. Ito ang kategorya ng gap na inilalarawan ni Yakovenko.
Ang panukalang multi-sig at ang diskarte sa syscall sa antas ng PDA ay hindi mga pag-aayos sa problema sa pormal na pag-verify. Ang mga ito ay structural fallbacks. Kung ang isang signature scheme ay masira — sa pamamagitan ng AI, sa pamamagitan ng isang nobelang mathematical attack, sa pamamagitan ng isang bagay na wala pang pinangalanan — ang 2-of-3 na kaayusan ay nangangahulugan na ang network ay hindi bumagsak sa isang punto ng pagkabigo.
Bukas na ang PR. Patuloy ang pag-uusap.
Pinagmulan: Live Bitcoin News
Mag-iwan ng Tugon