1/ De flesta ZK-provare är byggda för att producera korrekta bevis. Få är byggda för att vara snabba, granskabara och produktionsklara. Del I introducerade grafförst-bevis. Del II visade siffrorna. Del III är färdplanen för att få Venus i produktion. Välkommen till finalen av zkVM-trilogin. 🧵

2/ Fas 1: Uppträdande. Vi bygger med den beräkningsmässiga grafen – inte HAL – som kärngränssnitt för exekveringen från dag ett. Tidiga cudaGraph-integrationer visar redan 9–12 % förbättringar på RTX 5090. Mål: 15%+, med multi-GPU som nästa poäng. Varje optimering blir en sammansatt funktion.

3/ Fas 2: Säkerhet Samma graf som driver prestanda kan också maskinkontrollera bevisprotokollet självt. Den viktigaste insikten: ZK-argumenttyper är små och uppräkneliga – SumCheck delas upp i bara två. Bygg ett ändligt betrodd bibliotek, verifiera vilket protokoll som helst mekaniskt.

4/ Fas 3: integration av rbuilder. Blockbyggande kan knappt vänta på en långsam bevisning. Så vi bygger en asynkron pipeline med omorganiseringsmedveten preemption och smidig reservplan vid provöverskridande. Målet: ZK ska bevisa att det passar in i live-blockproduktionen utan att sakta ner den.

5/ Fas 4: Ekonomi. Kan en zkEVM-nod upprätthålla sig själv? Vi modellerar bevisavgifter, MEV-andel och protokollincitament mot hårdvaru- och driftskostnader över 3 GPU-konfigurationer (från en enda RTX 5090 till 8x) för att hitta break-even-punkten. Graf-först vinner bara om det är möjligt att köra.

6/ De flesta ZK-provare är byggda för att producera korrekta bevis. Korrekta bevis är baslinjen. Vi bygger en som också är snabb, granskabar, produktionsklar och hållbar att driva. Det är vad graf-först gör möjligt. Läs Del III: