DeFi zet groot in op 'nul kennis' - is de technologie klaar?

  • De open-source zkEVM-code van Polygon is onvolledig
  • "We zijn niet op het punt dat een team een ​​zkEVM-prover heeft die werkt", zei een ontwikkelaar van Arbitrum.

Binnen 36 uur de afgelopen week plaagden Polygon, zkSync en Scroll hun eigen op handen zijnde releases van de "heilige graal" van laag-2-technologie — de zero-knowledge Ethereum virtuele machine (zkEVM). 

De aankondigingen deden de wenkbrauwen fronsen. Blockworks heeft met meerdere programmeurs gesproken die zich afvroegen hoe dicht de ruimte werkelijk is bij een functionerende zkEVM.

ZkEVM's zouden enorm toenemen Ethereum laag-2 transactiesnelheden over de status-quo van optimistische rollups. De mede-oprichter van de blockchain, Vitalik Buterin, heeft prees de technologie als de toekomst van Ethereum-schaling.

Zero-knowledge rollups verplaatsen transacties off-chain voor verificatie voordat een batch gegevens wordt verzonden om op Ethereum te worden afgewikkeld. Het proces is gebaseerd op een zogenaamde "prover" die gegevens als waar of onwaar kan labelen met behoud van de privacy van gebruikers.

Provers zijn essentieel voor dit soort schaaloplossingen. Voor sommigen bevatten de zkEVM-aankondigingen van deze week onvoldoende indicatie dat een team een ​​functionerende bewijzer heeft gemaakt.

"We zijn niet op het punt dat een team een ​​zkEVM-prover heeft die werkt", zegt Steven Goldfeder, de CEO van Offchain Labs, de ontwikkelaar achter het optimistische rollup-arbitrum. "Wat ik denk dat er aan de hand is, is dat ze vrij ver van productie verwijderd zijn."

Om nog maar te zwijgen van het feit dat layer-2-sequencers nog steeds gecentraliseerd zijn, en de meeste zkEVM-builders moeten hun provers - de kern van de technologie - nog open source maken.

Polygon, de laag-2-reus die onlangs een samenwerking aankondigde non-fungible tokens (NFT's) naar Meta . brengen, maakte zijn zkEVM-code openbaar. Polygon is van mening dat het verduidelijken van zijn code het bedrijf een voorsprong geeft op Scroll en zkSync, die geen van beide hun bewijs openbaar hebben gemaakt.

Maar sommigen vragen zich af of de code van Polygon zo "volledig uitgerust" is als geadverteerd. De bewijscode Polygoon geüpload naar GitHub is niet volledig functioneel. Bronnen die bekend zijn met de technologie hebben twijfels geuit over de code van Polygon, waarbij iemand twijfelde aan het vermogen van Polygon om bewijzen uit te voeren in de huidige staat van het programma.

David Schwartz, technisch leider bij Polygon Hermez, vertelde Blockworks in een e-mail dat de code een werk in uitvoering is. Codesecties met commentaar in de GitHub van het project zijn momenteel niet actief.

"We verbergen niets, niet in de documenten of de code", zei Schwartz. "Concurrenten zoals Starkware of zkSync gebruiken hun [zero-knowledge]-netwerken helemaal niet."

Starkwar naar, het bedrijf achter StarkNet, een zero-knowledge rollup met een open-source prover, benadrukte dat zkEVM-technologie geen eenvoudige zaak is.

Het bouwen van een bewijzer is “een enorme taak op het gebied van wiskunde, techniek en software. We hebben een team van 100 en zijn al vier jaar bezig, " Eli Ben Sasson, de president van het bedrijf, vertelde Blockworks in een telefoontje van EthCC. 

Zelfs in de veronderstelling dat zkEVM's functionerende provers hebben, zou het openbaar maken van de prover-code laag-2's dichter bij het gedecentraliseerde ideaal van blockchain brengen.

"Als de prover open-source is, kun je controleren wat er met geld wordt gedaan", Dan Janev, vertelde chief product officer bij het laag-2-geldmarktprotocol Rhino.fi aan Blockworks. 

"Deze bedrijven worden onder druk gezet om iets in handen van gebruikers te hebben", zei Yanev over laag-2's. 

Toch noemde Yanev Polygon's open source prover een "grote stap" voor zkEVM's en blijft optimistisch dat laag-2-netwerken zullen decentraliseren naarmate de technologie volwassener wordt.

Aan de andere kant gelooft Goldfeder, wiens bedrijf op optimistische rollups draait, dat de hoge kosten van zero-knowledge proofs zullen verhinderen dat zkEVM's op de lange termijn financieel duurzaam zijn.

"Scaling moet komen van schaaloplossingen, niet van [durfkapitaal] financiering," zei Goldfeder.

Scroll en zkSync hebben niet onmiddellijk verzoeken om commentaar geretourneerd.


Ontvang elke avond het beste cryptonieuws en inzichten van de dag in je inbox. Abonneer u op de gratis nieuwsbrief van Blockworks .


  • Jack Kubinec

    Blokwerken

    Redactiestagiair

    Jack Kubinec is stagiair bij de redactie van Blockworks. Hij is een senior senior aan de Cornell University waar hij heeft geschreven voor de Daily Sun en fungeert als hoofdredacteur van Cornell Claritas. Neem contact op met Jack via [e-mail beveiligd]

Bron: https://blockworks.co/defi-is-betting-big-on-zero-knowledge-is-the-technology-ready/