ZKsync heeft Airbender Prime geïntroduceerd, een Ethereum-prover die realtime bewijzen van mainnet-blokken op één GPU demonstreerde — een mijlpaal die Ethereum-medeoprichter Vitalik Buterin ertoe aanzette op te roepen tot een hernieuwde focus op veiligheid binnen de ontwikkeling van zkEVM.

In tests bewees één NVIDIA RTX PRO 6000 Blackwell GPU 99% van 7.200 opeenvolgende Ethereum mainnet-blokken in minder dan 10 seconden per blok, inclusief witness-voorbereiding — de stap waarbij de data wordt verzameld die een prover nodig heeft om een bewijs te genereren. Elk blok werd binnen 12 seconden afgerond. Ethereum produceert ongeveer elke 12 seconden een nieuw blok, dus het bewijzen van elk blok binnen dat venster zorgt ervoor dat de verificatie gelijke tred houdt met de blokproductie. ZKsync kondigde de mijlpaal aan in een bericht op X.

Airbender Prime Demonstreert Realtime Ethereum-Proving

Een zkEVM genereert een cryptografisch bewijs dat een blok is uitgevoerd volgens de regels van Ethereum, zodat iedereen het resultaat kan verifiëren zonder de berekening zelf opnieuw uit te voeren. Volgens ZKsync gebruikt Airbender Prime hash-gebaseerde STARKs, een bewijsconstructie die is ontworpen om post-quantum veiligheid te bieden. De technologie combineert GKR sumcheck, WHIR polynoomverplichtingen en BLAKE2s-hashing.

Voor Layer 1-bewijzen zal het systeem Keccak-256-gebaseerde verplichtingen gebruiken in plaats van BN254-pairings. Het volgt ook de open RISC-V-standaard en bevat een zelfstandige verifier voor onafhankelijke bewijscontroles.

Volgens ZKsync staat Airbender Prime bovenaan het openbare leaderboard van ETHproofs — dat zkEVM-provers meet aan Ethereum mainnet-blokken — wat betreft gemiddelde bewijstijd, GPU-efficiëntie en kosten. Het project heeft ook live configuraties die draaien op twee en vier GPU's.

Vitalik Buterin Roept Op Tot Sterkere zkEVM-Veiligheid

Buterin feliciteerde het ZKsync-team met de mijlpaal. Hij zei dat de strijd om bewijssnelheid definitief was beslecht en betoogde dat de ontwikkeling van zkEVM nu prioriteit moet geven aan veiligheid.

Buterin identificeerde drie vereisten voor formele verificatie: bewijzen dat de aritmetisatie overeenkomt met de specificatie van Ethereum het vaststellen van een harde maximale verhouding tussen bewijkosten en block gas, en het verifiëren van de veiligheid van het bewijssysteem zelf. Aritmetisatie is de stap waarin een prover de uitvoeringsregels van Ethereum codeert in de wiskundige uitspraken die een bewijssysteem kan controleren. Zijn opmerkingen richten de aandacht op of bewijssystemen correcte uitvoering, voorspelbare bewijkosten en betrouwbare cryptografische bescherming kunnen aantonen.

ZKsync Richt Zich Op Onafhankelijk Verifieerbare Financiële Infrastructuur

ZKsync zei dat vooruitgang in kunstmatige intelligentie de ontdekking en exploitatie van softwarekwetsbaarheden kan versnellen. Het betoogde dat instellingen mechanismen nodig hebben die banken en tegenpartijen onafhankelijk kunnen verifiëren.

Het vereisen van zero-knowledge proofs voor grootboekupdates zou kunnen voorkomen dat gecompromitteerde uitvoeringsservers updates goedkeuren die in strijd zijn met ingecodeerde regels, aldus het bedrijf. De lagere hardwarevereisten van Airbender Prime zouden het genereren van bewijzen ook toegankelijker kunnen maken voor instellingen en onafhankelijke exploitanten.

Het project heeft als doel onafhankelijke verificatie binnen financiële infrastructuur te ondersteunen. ZKsync zei dat het verdere aankondigingen over Airbender Prime plant, zonder in zijn introductie aanvullende details te verstrekken.