Arbetet börjar med att ZK-skala Ethereum-basskiktet – Trustnodes

Ett team av utvecklare finansierat av Ethereum Foundation har redan börjat arbeta med att använda nollkunskapsteknik (ZK) för att skala ethereumbasskiktet.

"Privacy and Scaling Explorations-teamet ZK-EVM-satsningen bygger en typ 1 ZK-EVM," sa Vitalik Buterin, ethereums medgrundare.

När Buterin beskrev olika typer av zkEVMs, beskrev Buterin Typ 1 som strävan efter att vara "fullständigt och kompromisslöst Ethereum-ekvivalent." han sade:

"De ändrar inte någon del av Ethereum-systemet för att göra det lättare att generera bevis. De ersätter inte hash, tillståndsträd, transaktionsträd, förkompilering eller någon annan logik i konsensus, oavsett hur perifer den är.”

Den har "perfekt kompatibilitet" eftersom de kan "verifiera Ethereum-block som de är idag."

Kort sagt, detta är tillämpningen av zk-teknologi på själva ethereum blockchain, snarare än att det är ett andra lager, med Privacy and Scaling-teamet anger på deras GitHub att deras mål är att "skapa ett bevis på giltighet för varje Ethereum-block", genom två bevis.

Det är tillståndsbeviset som kontrollerar att "tillstånd/minne/stackoperationer har utförts korrekt" och EVM-beviset som kontrollerar "rätt opkod anropas vid rätt tidpunkt."

"Efter att ha verifierat att båda bevisen är giltiga, är vi övertygade om att Ethereum-blocket exekveras korrekt", sa teamet.

Detta är alltså att verifiera själva blocken, vid vilken tidpunkt det inte kommer att finnas ett behov för alla noder att verifiera blocket, vilket möjliggör parallellisering och mycket större skalbarhet. Buterin sa:

"Min förhoppning är att allt blir typ 1 med tiden, genom en kombination av förbättringar i ZK-EVM och förbättringar av själva Ethereum för att göra det mer ZK-SNARK-vänligt.

I en sådan framtid skulle vi ha flera ZK-EVM-implementeringar som skulle kunna användas både för ZK-uppbyggnader och för att verifiera själva Ethereum-kedjan."

För närvarande bara Polygon och en nykomling, Skrolla, ligger närmast typ ett, med både typ 3 och rör sig mot typ 2 som i grunden är ethereum, men med mindre förändringar.

Ethereum ser alltså för sig att gå mot en framtid där zk tech är en integrerad del av själva protokollet.

Ingen annan blockkedja arbetar med samma sak så vitt vi känner till, och ingen är så avancerad att det är månader från en typ 4-lansering, med zkSync där zkEVM är genom ett smart kontrakt, än mindre en typ 3-lansering med Polygon .

Men för en typ 1-implementering kan det ta lite tid, men att det överhuvudtaget kan göras och att det börjar ta form kan vara ett genombrott.