Cardano's Hoskinson daagt Vitalik uit vanwege AI-bedreigingen voor crypto

Cardano-oprichter Charles Hoskinson heeft Ethereum-medeoprichter Vitalik Buterin uitgedaagd vanwege zijn waarschuwing dat vooruitgang in synthetische intelligentie de kwantumresistente cryptografie kan verzwakken, met het argument dat de huidige veiligheidseisen al vele jaren van wiskundige aanvallen veroorzaken.

Hoskinson reageerde op 9 oktober op Buterins kwesties over op roosters gebaseerde cryptografie, die wordt gebruikt in een aantal modieuze veiligheidstechnieken. Hij voerde aan dat de oprichter van Ethereum een ​​nieuwe aanval van goede naam niet had onderkend die het verlaten van deze strategieën of het aanzienlijk vergroten van de omvang van cryptografische sleutels zou kunnen rechtvaardigen. Het meningsverschil volgt op de waarschuwing van Buterin dat AI wiskundige snelkoppelingen kan ontdekken die onderzoekers niet hebben gevonden met behulp van typische strategieën.

De oprichter van Cardano betwist de AI-veiligheidswaarschuwing van Vitalik

Het geschil begon na Buterin gewaarschuwd dat snelle vooruitgang in AI-ondersteunde rekenkunde problemen kan opleveren voor de aannames achter cryptografische technieken die momenteel als veilig worden beschouwd.

Hij erkende op roosters gebaseerde cryptografie als een geselecteerde zorg, met het argument dat steeds meer succesvolle AI-technieken meer milieuvriendelijke methoden kunnen blootleggen om wiskundige problemen op te lossen die worden gebruikt om digitale gegevens te bewaken.

Volgens hem zou de vooruitgang in de geautomatiseerde wiskundige analyse vele jaren aan ontdekkingen in een veel korter interval kunnen comprimeren. Dergelijke vooruitgang kan bouwers ertoe aanzetten de veiligheid van de huidige algoritmen te heroverwegen.

Buterin, in tegenstelling tot de potentiële groei door vooruitgang op het gebied van factorisatie van gehele getallen, waar onderzoekers strategieën vonden die ervoor zorgden dat berekeningen een stuk eenvoudiger waren dan eerdere schattingen hadden aangegeven.

De mede-oprichter van Ethereum betoogde dat op roosters gebaseerde veiligheid een identieke doorbraak zou kunnen betekenen, waardoor sommige huidige parameterselecties ontoereikend zijn.

Hoskinson verwierp de vergelijkbaarheid, met het argument dat het historische verleden van factorisatie van gehele getallen geen bewijs levert van een even zwak punt in roostertechnieken.

“De analogie met factoring klopt niet”, schreef Hoskinson, waarin hij uitlegde dat de verbeteringen in de factorisatie van gehele getallen afhankelijk waren van bepaalde wiskundige methoden die nog niet zijn gedemonstreerd met betrekking tot de roosterproblemen die in de moderne cryptografie worden gebruikt.

De oprichter van Cardano wees met zijn analyse opnieuw op de introductie van het Lenstra-Lenstra-Lovász-algoritme voor roosterkorting in 1982. Hij noemde daaropvolgende verbeteringen in het zeven van roosters en verschillende aanvalsstrategieën als voorbeelden van vele jaren van testen.

Volgens Hoskinson zijn de veiligheidsparameters die worden gebruikt door modieuze, op roosters gebaseerde algoritmen al verantwoordelijk voor de geïdentificeerde vooruitgang in deze methoden.

Zijn antwoord werd aangenomen zorgen over AI-ondersteunde aanvallen op cryptocurrency-portefeuilles opgericht door Ethereum Basis-onderzoeker Justin Drake op 7 oktober.

Drake waarschuwde dat zeer effectieve AI-technieken uiteindelijk aanvallen op de elliptische curve-cryptografie kunnen blootleggen die wordt gebruikt om blockchain-transacties te autoriseren. Buterin steunde het nemen van deze vooruitzichten aanzienlijk, maar ontmoedigde klanten om te hard te rijden om hun geld in een nieuwe portemonnee te manoeuvreren.

Hoskinson verdedigt roostercryptografie die wordt gebruikt in veiligheidseisen

Een centraal onderdeel van Hoskinsons betoog betreft ML-KEM en ML-DSA, twee cryptografische technieken die zijn gestandaardiseerd door het Amerikaanse Nationwide Institute of Requirements and Expertise (NIST).

ML-KEM maakt het mogelijk dat gebeurtenissen gedeelde cryptografische geheimen en technieken vaststellen, terwijl ML-DSA digitale handtekeningen levert die worden gebruikt om gegevens te authenticeren en autorisatie te bevestigen.

NIST goedgekeurd beide technieken in augustus 2024 onder FIPS 203 en FIPS 204, na jaren van analyse en publieke analyse. Het bedrijf standaardiseerde SLH-DSA, een hash-gebaseerd systeem voor digitale handtekeningen, individueel onder FIPS 205.

Hoskinson voerde aan dat ML-KEM en ML-DSA waren gekozen nadat onderzoekers totaal verschillende strategieën hadden onderzocht om op roosters gebaseerde wiskundige problemen aan te pakken.

Hij beweerde dat het bestaan ​​van een wiskundige constructie een algoritme niet routinematig onveilig maakt, vooral niet als veiligheidsparameters worden gekozen met behulp van gevestigde aanvalskostenberekeningen.

Buterin had aangegeven dat toekomstige ontwikkelingen op het gebied van AI een aanzienlijke uitbreiding van de schaal van op roosters gebaseerde sleutels zouden kunnen rechtvaardigen, ongetwijfeld met een element van tien.

Hoskinson verwierp dat voorstel en beschreef het als ‘numerologie’, omdat de geïnstrueerde verbetering niet werd ondersteund door een bepaald algoritme of een bepaalde berekening.

Volgens de oprichter van Cardano is het selecteren van grotere sleutels zonder een bijbehorende aanval te bedenken geen betrouwbare techniek om de veiligheid te meten.

Hij betoogde dat onderzoekers eerst de rekenprijs van een gloednieuwe aanval moeten vaststellen voordat ze uitzoeken of de huidige cryptografische parameters al dan niet moeten worden aangepast.

NIST beschrijft momenteel ML-KEM en ML-DSA als algoritmen waarvan wordt aangenomen dat ze aanvallen van voldoende zeer effectieve kwantumcomputersystemen kunnen weerstaan. De eisen houden niet in dat de technieken immuun zijn voor elke potentiële wiskundige ontdekking.

Het op hash gebaseerde veiligheidsplan van Ethereum krijgt kritiek

De problemen van Buterin houden verband met het werk van Ethereum op het gebied van cryptografische technieken die zijn ontworpen om toekomstige aanvallen op kwantumcomputers te weerstaan.

De Lean Ethereum-analyse van de gemeenschap geeft steeds meer de voorkeur aan op hash gebaseerde handtekeningen, samen met op WOTS en SPHINCS gebaseerde constructies, voor functies waar de plaatsbouwers ze kunnen gebruiken.

Buterin heeft betoogd dat op hash gebaseerde benaderingen een grotere veiligheid op de lange termijn zouden kunnen bieden, omdat ze niet afhankelijk zijn van dezelfde wiskundige aannames als op roosters gebaseerde technieken.

Niettemin betwistte Hoskinson de suggestie dat hash-functies routinematig veiliger zijn omdat ze een veel minder exploiteerbare constructie zouden moeten hebben.

Hij wees op historische zwakheden in MD5 en SHA-1, twee hash-algoritmen die onderzoekers efficiënt aanvielen via de zwakheden van hun interne ontwerpen.

Hoskinson verklaarde dat zelfs SHA-256 geen wiskundig bewijs heeft dat immuniteit tegen alle mogelijke aanvallen aantoont.

“De zekerheid ervan is dat niemand het nog heeft gebroken”, schreef hij, met het argument dat dezelfde alledaagse controle zou moeten gelden voor alle cryptografische huishoudens.

Hij trok de eerdere analyse van Ethereum van Poseidon en Poseidon2 in twijfel, hash-functies die zijn ontworpen voor milieuvriendelijk gebruik in bepaalde blockchain-proof technieken.

Ethereum-onderzoekers hebben dat al gedaan verwijderd van Poseidon in hun laag-1-routekaartwaarbij de voorkeur wordt gegeven aan gevestigde opties die lijken op SHA-2 en BLAKE2s.

In augustus definieerde Ethereum Basis-onderzoeker Justin Drake dat verbeteringen in binaire veldbewijstechnieken typische hashes extra zinvol hadden gemaakt voor toekomstige gemeenschapsontwerpen.

Hoskinson voerde aan dat op hash gebaseerde handtekeningen nuttig blijven als hun beperkingen acceptabel zijn, maar dat ze niet elke operatie kunnen veranderen die wordt uitgevoerd door cryptografie met publieke sleutels.

Het meningsverschil strekt zich uit tot encryptietechnieken die worden gebruikt in veilige berichtenuitwisseling, websites en verschillende functies die beveiligde communicatie tussen gebeurtenissen tot stand zouden moeten brengen.

Het AI-cryptografiedebat bereikt de veiligheid van blockchain-zakken

Het alternatief tussen de twee oprichters komt omdat blockchain-bouwers rekening houden met hoe je digitale eigendommen kunt beschermen voor toekomstige ontwikkelingen op het gebied van AI en quantum computing.

Buterin heeft klanten voorgesteld om te overwegen cryptocurrency te bewaren op adressen waarvan de publieke sleutels niet zijn ontdekt door middel van uitgaande transacties, op voorwaarde dat ze dat veilig kunnen doen.

Hij benadrukte dat het advies geen overhaaste migraties rechtvaardigt, die hun eigen veiligheidsrisico's met zich mee kunnen brengen.

De oprichter van Ethereum heeft dit ondersteund plannen om Ethereum resistent te maken tegen kwantumaanvallensamen met aanpassingen aan transactiehandtekeningen, consensusmechanismen en zero-knowledge proof-technieken.

Hoskinson stelt dat de analyse van op roosters gebaseerde strategieën naast het werk aan op hash gebaseerde opties moet plaatsvinden.

De controverse heeft bedrijven bereikt die steeds meer institutionele bewaringstechnieken gebruiken. In Kon, BitGo heeft kwantumbestendige portemonnee-ondertekening getest gebruikmakend van ML-DSA-knowhow ontwikkeld in samenwerking met Silence Laboratories.

Bij de demonstratie werd onderzocht of post-kwantumsignaturen al dan niet kunnen functioneren binnen de huidige institutionele procedures. Het was een gecontroleerd onderzoek, geen bewijs dat de cryptografie van de huidige pocket was beschadigd.

Verschillende blockchain-netwerken zijn bezig met vergelijkbare beveiligingen. Sui's post-kwantumveiligheidsroutekaart bestaat uit elke op roosters gebaseerde en hash-gebaseerde handtekeningkeuzes voor toekomstige accountauthenticatie.

Hoskinson's reactie van 9 oktober kondigde geen gloednieuwe cryptografische verbetering van Cardano of een implementatieschema aan. Hij vroeg om elke nieuw gevonden aanval om tests, prijsevaluaties en overzichten te doorstaan ​​voordat bouwers de veiligheidsparameters herzien of gevestigde algoritmen verlaten.