DApp Store | Web3 Hub voor evenementen en spelletjes

Populaire onderwerpen

Uma Roy

Eindelijk de kans gekregen om dit weekend wat gedachten op te schrijven over deze post van Vitalik. TL;DR Terwijl Ethereum institutioneel wordt en zich richt op L1-activa-uitgifte als zijn unieke waardepropositie, zal snelle finaliteit voor L2's aangedreven door ZK cruciaal worden. Zonder snelle finaliteit tussen de L1 en al zijn L2's, loopt Ethereum het risico zijn plaats als de "standaard voor activa-uitgifte" te verliezen. De bedreigingen manifesteren zich al. Derde-partij brugsystemen zoals USDC CCTP, USDT0, enz. breiden zich agressief uit. Als activa op Ethereum L2's zich losgekoppeld voelen van de L1 door trage finaliteit, zullen uitgevers gewoon kiezen voor eenvoudigere, snellere alternatieven. Vitalik's visie hier bevestigt echt waarom bewijzinfrastructuur de ruggengraat zal worden van de volgende fase van schaling van Ethereum. Miljarden bewijzen zullen dagelijks worden gegenereerd en geconsumeerd in het hele Ethereum-ecosysteem. De thesis voor PROVE is kristalhelder.

Geweldig om te zien dat zoveel belangrijke L2's nu op fase 1 staan. Het volgende doel waar we naar moeten streven is, naar mijn mening, snelle (<1u) opnametijden, mogelijk gemaakt door validiteit (ook wel ZK) bewijs systemen. Ik beschouw dit als nog belangrijker dan fase 2. Snelle opnametijden zijn belangrijk omdat een week wachten om op te nemen simpelweg veel te lang is voor mensen, en zelfs voor intentie-gebaseerde bruggen (bijv. ERC-7683), worden de kapitaalkosten te hoog als de liquiditeitsverschaffer een week moet wachten. Dit creëert grote prikkels om in plaats daarvan oplossingen te gebruiken met onaanvaardbare vertrouwensassumpties (bijv. multisigs/MPC) die het hele punt van het hebben van L2's in plaats van volledig onafhankelijke L1's ondermijnen. Als we de inheemse opnametijden kunnen verminderen tot onder de 1u op korte termijn, en 12s op middellange termijn, dan kunnen we de Ethereum L1 verder verankeren als de standaard plek om activa uit te geven, en het economische centrum van het Ethereum-ecosysteem. Om dit te doen, moeten we weg van optimistische bewijs systemen, die inherent vereisen dat je meerdere dagen moet wachten om op te nemen. Historisch gezien is ZK bewijs technologie onvolwassen en duur geweest, wat optimistische bewijzen de slimme en veilige keuze maakte. Maar recentelijk verandert dit snel. is een uitstekende plek om de voortgang van ZK-EVM bewijzen te volgen, die snel verbeteren. Formele verificatie op ZK bewijzen vordert ook. Eerder dit jaar stelde ik een 2-uit-3 ZK + OP + TEE bewijs systeem strategie voor die de balans vindt tussen veiligheid, snelheid en volwassenheid: * 2 van de 3 systemen (ZK, OP) zijn vertrouwensloos, zodat geen enkele actor (inclusief TEE-fabrikant of aanvaller via zijkanaal) het bewijs systeem kan breken door een vertrouwensassumptie te schenden * 2 van de 3 systemen (ZK, TEE) zijn direct, zodat je snelle opnames krijgt in de normale situatie * 2 van de 3 systemen (TEE, OP) zijn al jaren in productie in verschillende contexten Dit is één benadering; misschien kiezen mensen ervoor om in plaats daarvan ZK + ZK + OP tiebreak, of ZK + ZK + beveiligingsraad tiebreak te doen. Ik heb hier geen sterke meningen over, ik geef om het onderliggende doel, dat is snel te zijn (in de normale situatie) en veilig. Met dergelijke bewijs systemen wordt de enige resterende bottleneck voor snelle afhandeling de gaskosten van het indienen van bewijzen on-chain. Dit is waarom ik op korte termijn zeg eens per uur: als je probeert een 500k+ gas ZK bewijs (of een 5m gas STARK) veel vaker in te dienen, voegt dit een hoge extra kost toe. Op de lange termijn kunnen we dit oplossen met aggregatie: N bewijzen van N rollups (plus tx's van privacy-protocol gebruikers) kunnen worden vervangen door een enkel bewijs dat de geldigheid van de N bewijzen aantoont. Dit wordt economisch om eens per slot in te dienen, waardoor het eindspel mogelijk wordt: bijna directe inheemse cross-L2 activa beweging door de L1. Laten we samenwerken om dit te laten gebeuren.

Het is gek om te zien dat deze dag eindelijk hier is. De afgelopen 3 jaar sinds we met Succinct zijn begonnen, zijn een wilde reis geweest met zoveel bloed, zweet en tranen—maar ik zou het voor niets willen ruilen. Niemand dacht dat ZK gemakkelijk kon zijn—ik herinner me dat we een jaar na de start van Succinct, John en ik naar onze investeerders gingen en hen vertelden dat we een zkVM wilden bouwen. We wisten dat ZK enorme potentie had, maar de staat van ZK-ontwikkeling was gebroken. Iets bouwen vereiste een PhD in cryptografie en insane pijn. Ze lachten en vroegen zich af of het mogelijk was voor ons team (zonder formele cryptografie-opleiding) om iets technisch moeilijks te bouwen. Zelfs als we het konden, dachten ze dat het minstens 2 jaar zou duren. Eerlijk gezegd waren we er zelf niet eens zeker van dat we het konden bouwen. Maar na vele maanden van 9-9-6, toen we SP1 lanceerden als de snelste zkVM, bewezen we iedereen verkeerd. Niemand dacht dat ZK adoptie zou hebben—Toen we SP1 hadden, was het duidelijk dat dit een stapfunctie verandering in ZK-technologie was. Eindelijk kon je gewoon programma's in Rust schrijven, het in SP1 stoppen en alles bewijzen. Maar toen begonnen mensen te vragen: wie gaat deze magische technologie eigenlijk gebruiken? Willen rollups ZK zelfs gebruiken? Wat is de use-case van ZK behalve alleen zkEVMs? Na 35+ klanten en $4B aan TVL beveiligd over veel toepassingen zoals rollups, exchanges en meer, en Ethereum L1 dat volledig in zkVMs gaat met real-time bewijzen, is het duidelijk dat ZK echte nut en adoptie heeft. We bewezen hen verkeerd. Niemand dacht dat ZK leuk kon zijn—In crypto is het hebben van Real Tech TM niet altijd het volledige verhaal. Zo lang is ZK academisch geweest en moeilijk te begrijpen voor een breder publiek. Onze testnet was de eerste keer dat ik zag dat een breder CT ZK leuk vond. En onze gemeenschap is ongelooflijk creatief geweest—met getalenteerde artiesten, 3D-animators, webontwikkelaars, schrijvers en meer. We bewezen hen verkeerd. De bewijs-economie gaat hierna 100x groeien. Met de lancering van ons prover-netwerk mainnet hebben we eindelijk de ingrediënten om de adoptie van ZK 100x te laten groeien. SP1 maakt ZK gemakkelijk te gebruiken. Het prover-netwerk maakt het goedkoop, snel en klaar voor gebruik op wereldschaal. Op een dag zal het Succinct Prover Network elke transactie die on-chain is bewijzen, en ZK-toepassingen mogelijk maken die verder gaan dan alleen blockchains. Een shout-out naar het ongelooflijke Succinct-team dat sinds het begin onvermoeibaar heeft gewerkt. Het is de reis van een leven geweest om naast iedereen te werken, continu de meta te doorbreken en ieders verwachtingen te overtreffen in het bereiken van het onmogelijke 💗 Van de afgelopen 3 jaar weet ik dat ons team alles kan bereiken wat we ons voornemen. Het is nog maar het begin en we hebben nog zoveel te BEWIJZEN. Vooruit.

Boven

Positie

Favorieten

Populair op onchain

Populair op X

Recente topfinanciering

Belangrijkste