De Ethereum Foundation (EF) heeft een substantiële financiële toezegging aangekondigd, waarbij ze “tientallen miljoenen” dollars investeert in het bevorderen van zero-knowledge Virtual Machines (zkVM’s), een geavanceerde technologie die klaar staat om de schaalbaarheid en veiligheid binnen het Ethereum-ecosysteem te verbeteren.
Justin Ðrake, een onderzoeker bij de Ethereum Foundation, onthulde de investering via een bericht op X: “De EF investeert tientallen miljoenen in zkVM’s:Verified-zkevm.org – zkRISC-V formele verificatie poseidon-initiative.info – Poseidon cryptanalysis ethproofs .org—L2beat voor zkVMs, Soon™ DM me over het bijdragen aan de publieke goederen van zkVM :)”
Ethereum Foundation investeert miljoenen in zkEVM-onderzoek
De hoeksteen van deze investering is het zkEVM Formal Verification Project, gedetailleerd beschreven opVerified-zkevm.org. Dit initiatief heeft tot doel formele verificatiemethoden toe te passen op zkEVM’s, waardoor hun betrouwbaarheid en veiligheid wordt gegarandeerd. Volgens het projectoverzicht streeft de EF naar “bugvrije zkEVM’s” door subsidies en premies over een periode van 18-24 maanden in meerdere fasen te verdelen.
“Het project zal het bewustzijn vergroten van formele verificatiemethoden die worden toegepast op zkEVM’s, de toepassing ervan documenteren en het gebruik ervan vergroten”, aldus het projectoverzicht. Daarnaast heeft het tot doel de coördinatie tussen verschillende teams binnen het ecosysteem te verbeteren, tools en standaarden voor onderhoud en uitbreidbaarheid te ontwikkelen, en een betere integratie van formele verificatiemethoden in softwareontwikkelings- en onderhoudsprocessen te onderzoeken.
De reikwijdte van het project is beperkt tot RISC-V zkVM’s die in staat zijn een EVM uit te voeren die is gecompileerd naar RISC-V, waardoor een zkEVM wordt geproduceerd. Het is gestructureerd in drie primaire sporen:
RISC-V zkVM-track: Richt zich op het verifiëren van de juiste implementatie van een RISC-V CPU, rekenkunde en circuits. Het benadrukt dat ervoor moet worden gezorgd dat circuits noch te weinig, noch te veel beperkingen hebben en dat berekeningen nauwkeurig zijn. Formele verificatie van precompiles is ook inbegrepen.
EVM-track: Heeft tot doel aan te tonen dat een EVM die op RISC-V draait, voldoet aan de EVM-specificatie. Kandidaten voor verificatie moeten performante en compileerbare EVM-implementaties presenteren op RISC-V zkVM’s, zoals revm/Reth.
Cryptografiespoor: Streeft naar het verifiëren van de specificaties, beveiligingsbewijzen en implementaties van cryptografische primitieven en protocollen die worden gebruikt door zkVM’s, met de nadruk op FRI- en Circle STARKs-integraties.
Het project benadrukt flexibiliteit in de aanpak om de expertise van de gemeenschap te benutten en de vergelijking van verschillende methodologieën te vergemakkelijken. “We zullen waar mogelijk verschillende benaderingen ondersteunen om te profiteren van de gevarieerde expertise binnen de gemeenschap”, schetst het project, eraan toevoegend dat succesvolle methodologieën in de volgende fasen prioriteit kunnen krijgen.
Aanvragen voor fase 1, die zich richten op het opzetten van onderhoudbare en uitbreidbare raamwerken, zijn momenteel open. Voorstellen moeten gedetailleerde overzichten, technische benaderingen, projectmanagementplannen en teaminformatie bevatten.
Een ander belangrijk onderdeel van de investering van EF is het Poseidon Initiative, zoals beschreven op poseidon-initiative.info. Poseidon en Poseidon2 zijn hashfuncties die zijn geoptimaliseerd voor verifieerbare rekenprotocollen, speciaal ontworpen om de circuitgrootte over prime-velden te minimaliseren. Deze hash-functies zijn een integraal onderdeel van verschillende Ethereum-applicaties die gebruik maken van zero-knowledge proofs.
Het initiatief heeft tot doel de beveiligingsanalyse van Poseidon-instanties te verbeteren en hun geschiktheid voor hoogwaardige toepassingen binnen Ethereum te bepalen. Fase 1 van het project loopt tot december 2025 en fase 2 staat gepland voor medio 2025 en zal in december 2026 worden afgerond. Het project wordt beheerd door de Ethereum Foundation Poseidon Group (EFPG), bestaande uit experts als George Kadianakis, Dmitry Khovratovich en Antonio. Sanso, en staat onder toezicht van een adviesraad met daarin opmerkelijke figuren als Eli Ben-Sasson van StarkNet en Daira-Emma Hopwood van ZCash.
Een belangrijk kenmerk van het Poseidon Initiative is het uitgebreide premieprogramma, dat in totaal $130.000 aan beloningen biedt voor doorbraken in de cryptanalyse. Er zijn premies beschikbaar voor verschillende beveiligingsniveaus voor verschillende Poseidon-instanties, waardoor onderzoekers worden gestimuleerd om kwetsbaarheden te ontdekken of beveiligingsaannames te valideren. Het oplossen van een 32-bits preimage-aanval op Poseidon-256 zou een onderzoeker bijvoorbeeld $10.000 kunnen opleveren, terwijl hogere beveiligingsniveaus tot $15.000 kunnen opleveren.
Daarnaast ondersteunt het initiatief workshops, retraites en scholen gericht op Poseidon-cryptanalyse, waardoor samenwerking en kennisuitwisseling binnen de cryptografische gemeenschap wordt bevorderd. Er zijn ook kortetermijnsubsidies variërend van $20.000 tot $40.000 beschikbaar voor onderzoek naar kritische beveiligingsvragen gerelateerd aan Poseidon-varianten, Groebner-basisaanvallen en niet-algebraïsche aanvalsvectoren.
Hoewel ethproofs.org nog in ontwikkeling is, wordt verwacht dat het zal dienen als een platform voor L2beat-integraties voor zkVM’s, waardoor de transparantie en verantwoording in de prestaties en beveiligingsstatistieken van zkVM verder worden verbeterd.
Op het moment van schrijven werd ETH verhandeld tegen $3.590.
Uitgelichte afbeelding gemaakt met DALL.E, grafiek van TradingView.com
