DeFi satsar stort på "Zero Knowledge" — Är tekniken redo?

Inom 36 timmar den senaste veckan retade Polygon, zkSync och Scroll sina egna nära förestående släpp av "helig gral" av lager-2-teknik — den virtuella Ethereum-maskinen med noll kunskap (zkEVM). 

Tillkännagivandena höjde på ögonbrynen. Blockworks har pratat med flera programmerare som har ifrågasatt hur nära utrymmet egentligen är en fungerande zkEVM.

ZkEVMs skulle öka kraftigt Ethereum lager-2 transaktionshastigheter över status quo för optimistiska rollups. Blockkedjans medgrundare Vitalik Buterin har hyllade tekniken som framtiden för Ethereum-skalning.

Nollkunskapssamlar flyttar transaktioner utanför kedjan för verifiering innan de skickar en sats data som ska avvecklas på Ethereum. Processen bygger på en så kallad "prover" som kan märka data som sann eller falsk samtidigt som användarnas integritet bevaras.

Provare är avgörande för den här typen av skalningslösningar. För vissa innehöll veckans zkEVM-meddelanden inte tillräcklig indikation på att något lag har skapat en fungerande prover.

"Vi är inte vid den punkt där något team har en zkEVM-prover som fungerar", säger Steven Goldfeder, VD för Offchain Labs, utvecklaren bakom den optimistiska sammanställningen Arbitrum. "Vad jag tror händer är att de är ganska långt ifrån produktion."

För att inte tala om, lager-2-sequencers är fortfarande centraliserade, och de flesta zkEVM-byggare har ännu inte faktiskt gjort sina prover – kärnan i tekniken – öppen källkod.

Polygon, lager-2-jätten som nyligen tillkännagav ett partnerskap föra icke-fungibla tokens (NFT) till Meta, gjorde sin zkEVM-kod offentlig. Polygon tror att ett förtydligande av sin kod sätter företaget före Scroll och zkSync, som ingen av dem har publicerat sitt bevis offentligt.

Men en del ifrågasätter om Polygons kod är så "fullständig" som annonseras. Provningskoden Polygon laddat upp till GitHub är inte fullt fungerande. Källor som är bekanta med tekniken uttryckte tvivel om Polygons kod, och en ifrågasatte Polygons förmåga att överhuvudtaget köra bevis i programmets nuvarande tillstånd.

David Schwartz, teknisk ledare på Polygon Hermez, sa till Blockworks i ett mejl att koden är ett pågående arbete. Kommenterade kodsektioner i projektets GitHub är för närvarande inte operativa.

"Vi döljer ingenting, inte i dokumenten eller koden," sa Schwartz. "Konkurrenter som Starkware eller zkSync använder inte opensourcing av sina [nollkunskaps]-nätverk alls."

Starkware, företaget bakom StarkNet, en samling av noll kunskap med en öppen källkodsprover, betonade att zkEVM-teknik inte är en enkel sak.

Att bygga ett provare är "en herkulisk uppgift när det gäller matematik, ingenjörskonst och mjukvara. Vi har ett team på 100 och har hållit på i fyra år. Eli Ben-Sasson, företagets VD, berättade för Blockworks i ett telefonsamtal från EthCC. 

Även om man antar att zkEVM:er har fungerande provare, skulle göra provningskoden offentlig, flytta lager-2 närmare blockchains decentraliserade ideal.

"Om provaren är öppen källkod kan du verifiera vad som görs med pengar," Dan Yanev, produktchef på lager-2 penningmarknadsprotokollet Rhino.fi, berättade för Blockworks. 

"Dessa företag är pressade att ha något i händerna på användarna," sa Yanev om lager-2s. 

Ändå kallade Yanev Polygons öppen källkodsbevisare för ett "stort steg" för zkEVM:er och är fortfarande optimistisk att lager-2-nätverk kommer att decentraliseras när tekniken mognar.

Å andra sidan tror Goldfeder, vars företag körs på optimistiska rollups, att den höga kostnaden för nollkunskapsbevis kommer att förbjuda zkEVMs från att vara ekonomiskt hållbara i det långa loppet.

"Skalning måste komma från skalningslösningar, inte från [riskkapital] finansiering," sa Goldfeder.

Scroll och zkSync returnerade inte omedelbart förfrågningar om kommentarer.

Få dagens bästa kryptonyheter och insikter levererade till din inkorg varje kväll. Prenumerera på Blockworks kostnadsfria nyhetsbrev nu.