un studiu care a generat știri importante despre confidențialitatea cripto a constatat că sistemele de dovezi zero-knowledge, inclusiv Railgun, PrivacyPools, Aleo și Aztec, sunt imune matematic la atacurile cuantice, deoarece se bazează pe securitatea teoretică informațională, mai degrabă decât pe criptare, ceea ce înseamnă că rămân sigure chiar și împotriva atacatorilor infinit de puternici, inclusiv viitoarele calculatoare cuantice.
Știri despre confidențialitatea cripto au sosit marți cu o constatare semnificativă: aceeași amenințare a calculului cuantic care a declanșat foi de parcurs de urgență la Ripple, Bitcoin și Ethereum pare să nu se aplice sistemelor de dovezi zero-knowledge care păstrează confidențialitatea. Un studiu co-autorizat de cercetători Coinbase alături de echipe de la Stanford și Fundația Ethereum a concluzionat că rețele precum Railgun și PrivacyPools se bazează pe un model de securitate fundamental diferit de cel pe care calculatoarele cuantice sunt proiectate să îl atace.
Studiul a fost partajat cu DL News și concluzionează că sistemele de dovezi zero-knowledge „se bazează pe sisteme teoretice informaționale care sunt sigure chiar și împotriva atacatorilor infinit de puternici datorită modului în care informațiile sunt structurate și partajate, nu datorită criptării.” Această distincție nu este o chestiune de grad. Este o diferență categorică între securitatea computațională și securitatea teoretică informațională.
Securitatea standard a blockchain-ului, inclusiv protecția portofelelor Bitcoin și a conturilor Ethereum, se bazează pe dificultatea computațională: presupunerea că spargerea problemei matematice subiacente necesită mai mult calcul decât posedă orice atacator. Calculatoarele cuantice care utilizează algoritmul lui Shor pot, în teorie, rezolva anumite categorii ale acestor probleme matematice exponențial mai rapid decât calculatoarele clasice, motiv pentru care semnăturile pe curbe eliptice ale Bitcoin sunt considerate potențial vulnerabile.
Dovezile zero-knowledge funcționează diferit. Ele permit unei părți să dovedească cunoașterea unui secret fără a dezvălui secretul în sine, iar garanția de securitate provine din principii teoretice informaționale, mai degrabă decât din dificultatea computațională. Chiar și un computer cu putere de procesare infinită nu poate extrage mai multe informații decât a fost proiectată dovada să dezvăluie. Această proprietate structurală face instrumentele de confidențialitate bazate pe ZK imune la algoritmul lui Shor și la orice atac cuantic care vizează dificultatea computațională.
Railgun este un protocol de confidențialitate care protejează sumele și adresele tranzacțiilor folosind dovezi ZK pe Ethereum. PrivacyPools este un protocol conceput pentru a permite confidențialitate conformă, permițând utilizatorilor să dovedească faptul că fondurile lor nu provin din surse sancționate, fără a-și dezvălui istoricul complet al tranzacțiilor. Aleo este un blockchain de Nivel 1 construit nativ în jurul dovezilor ZK. Aztec este un Strat 2 Ethereum cu execuție privată a contractelor inteligente prin dovezi ZK.
Toate cele patru se bazează pe securitatea teoretică informațională pentru garanțiile lor de confidențialitate de bază. Concluzia studiului Coinbase înseamnă că, atunci când calculatoarele cuantice vor ajunge în cele din urmă să amenințe securitatea cheilor Bitcoin, proprietățile de confidențialitate ale acestor rețele vor rămâne intacte. Vulnerabilitatea lor, dacă există, ar proveni din alte componente ale arhitecturii lor, cum ar fi semnăturile pe curbe eliptice subiacente utilizate pentru autentificarea contului, care reprezintă un strat de securitate separat de sistemul de dovezi ZK în sine.
Această constatare apare în contextul în care dezbaterea mai amplă privind riscul cuantic al Bitcoin produce fricțiune de guvernanță în întregul ecosistem. Dezbaterea privind amenințarea cuantică în Bitcoin s-a axat pe dacă să se forțeze migrarea monedelor sau să se bazeze pe actualizări opționale. Infrastructura de confidențialitate bazată pe ZK ocolește complet această dezbatere, deoarece modelul său de securitate de bază era deja imun la cuantic prin design.
Pentru dezvoltatorii DeFi și utilizatorii instituționali care evaluează alegerile de infrastructură pe orizonturi de timp lungi, studiul oferă o bază concretă pentru a trata instrumentele de confidențialitate bazate pe ZK ca fiind categoric mai rezistente la viitor decât conturile blockchain tradiționale bazate pe transparență, în ceea ce privește amenințarea cuantică. Co-fondatorul Ethereum, Vitalik Buterin, a susținut public protocoale precum Railgun pe motive mai largi, argumentând că confidențialitatea ar trebui să fie o opțiune implicită pentru utilizatorii blockchain. Constatarea imunității cuantice adaugă o dimensiune de securitate acestui argument.