Dit jaar laten Zero Knowledge Proofs (zk-proofs) hun sporen na als de krachtigste cryptografische instrumenten die innovatie in gedecentraliseerde ecosystemen aandrijven.
Zk-bewijzen werden voor het eerst bedacht door computerwetenschappers Shari Goldwassser, Silvio Micali en Charles Rackoff in hun artikel uit 1985, De kenniscomplexiteit van interactieve proefsystemen. Ontwikkelaars, systeemarchitecten en onderzoekers in de Ethereum-gemeenschap – het toonaangevende slimme contract-ecosysteem van blockchain – hebben het grootste deel van de afgelopen drie jaar hun creatieve vermogens onder de loep genomen om oplossingen te ontwikkelen – en vaker ook tijdelijke oplossingen. Hun doel is om de twee flagrante tekortkomingen van de blockchain te verhelpen: het vermogen om efficiënt op schaal te opereren en de privacy van gebruikers ondubbelzinnig te beschermen.
Wat beide prerogatieven betreft, zijn de beste en slimste geesten van Ethereum samengekomen op het gebied van zero-knowledge-protocollen en hun altijd veelzijdige implementaties om de volgende iteratie van een turing-complete blockchain-infrastructuur te bouwen.
De zoektocht naar doorvoer
Een zk-proof beschrijft een mechanisme waarbij de ene partij aan de andere partij kan bewijzen dat een bepaalde verklaring waar is zonder enige aanvullende informatie te onthullen, vooral de inhoud van de verklaring zelf. Hoewel ze directer toepasbaar zijn in op privacy gerichte scenario's – het meest bekend bij de lancering in 2016 van Zcash, een privacymunt die zks gebruikt om transacties te beschermen – zijn zk-proofs op de voorgrond gekomen in Ethereum's waanzinnige zoektocht naar een schaalbaarheidsoplossing die zijn scala aan mogelijkheden kan openen. revolutionaire DeFi- en NFT-toepassingen voor de massamarkt.
Volgens de Satoshi-whitepaper is blockchain met één doel ontwikkeld: het omzeilen van autoriteit via de vorming van een censuurbestendig, gedecentraliseerd systeem zonder enig falend punt. Hoewel het een enorme prestatie is in de systeemarchitectuur, is decentralisatie niet zonder kosten. In gedecentraliseerde systemen vinden processen van het uitwisselen, opslaan en verifiëren van informatie plaats tussen onderling afhankelijke apparaten, software en mensen. Dat wil zeggen, het zijn systemen van extreem hoog niveau kennis complexiteit.
In tegenstelling tot de gestroomlijnde processen die eigen zijn aan gecentraliseerde systemen, doet kenniscomplexiteit noodzakelijkerwijs afbreuk aan de netwerkefficiëntie, waardoor de transactietijden worden vertraagd en de transactiekosten voor gebruikers toenemen.
Aangezien de Cryptokitties-fiasco van 2017is Ethereum in de voortdurende crypto-schijnwerpers gezet als het affichekind van het inherente schaalbaarheidsdilemma van blockchain. Als marktleider op het gebied van gedecentraliseerde applicaties en gebruikers beperkt de kenniscomplexiteit van Ethereum de transactiedoorvoer tot een schamele tien transacties per seconde – twaalf op een goede dag.
Vastbesloten om het probleem aan te pakken, bedachten ontwikkelaarsteams in het hele ecosysteem verschillende voorlopige oplossingen: staatskanalen, die niet EVM-compatibel waren en gebruikersidentiteiten en voorafgaande kapitaalvergrendelingen vereisten; Plasma, een netwerk van minder handige Child-Chains die ook geen EVM-compatibiliteit hadden; Sidechains, die onafhankelijk opereerden van de beveiliging van de Ethereum-mainchain; en Sharding, een consensuswijziging waarvan de kenmerken en leveringsdata zijn wankel en geëvolueerd op een manier die doet denken aan gebroken politieke campagnebeloften.
Zks bleef in het frame in de vorm van Zk-Rollups, een mechanisme dat gebruik maakt van zkSNARK-technologie om off-chain transacties via Merkle Trees te consolideren en deze met één enkele transactie naar de Ethereum-mainchain te publiceren – een zeer efficiënt model dat berekeningen off-chain uitvoerde en gebruikte de hoofdketen uitsluitend voor gegevensopslag. Hoewel het de beste technische oplossing was, waren Zk-Rollups nog niet EVM-compatibel en konden ze alleen als betaalkanaal fungeren. DeFi-applicaties zouden in de keten moeten blijven totdat roll-ups de uitvoering van slimme contracten zouden kunnen ondersteunen.
Optimisme's update
In de race om DeFi te ondersteunen was Ethereum-ontwikkelaarsteam Optimism de eerste die aan de slag ging met de release van Optimistic Rollups, een EVM-compatibele Rollup Chain die klaar is voor dApp-implementaties met één klik, en dat alles zonder een enkele zk-proof. Er was maar één probleem: de Rollup van Optimism was afhankelijk van fraudebewijzen om gegroepeerde transacties in de keten te publiceren, waardoor gebruikers Dispute Time Delays (DTD's) moesten tolereren voor opnames uit de hoofdketen, vaak meer dan een week. Maar dankzij de mogelijkheid tot online samenstellen bleef Optimisme het best beschikbare alternatief.
Dat was tot de afgelopen maanden, toen Matter Labs zkSync v2 uitbracht: een volledig functionele, EVM-compatibele Zk-Rollup die gebruik maakt van rekenkundig verantwoorde Validity Proofs met korte DTD's. Nu de EVM-compatibiliteit voor v2 is opgelost, zijn zkSync en zijn hoofdketenopnames van minder dan tien minuten superieur aan Optimism, waarvan de OVM nog steeds afhankelijk is van langdurige DTD's om opnametransacties te bevestigen.
Terwijl de aandacht en middelen voor ontwikkelaars blijven migreren naar het domein van nulkennis, wordt de realiteit duidelijk: volgens de titel van keuze van hun architecten werden zk-proofs ontworpen voor systemen die worden gekenmerkt door hoge kenniscomplexiteit, en zijn het meest geschikt om veel van de computationele dilemma’s op te lossen waarmee blockchain-ecosystemen en hun trajecten naar adoptie worden geconfronteerd.
De cirkel is rond: privacy houden waar deze hoort
Met de conceptie van DeFi heeft Ethereum zijn plaats veiliggesteld als dé hub voor blockchain-innovatie. Geavanceerde toepassingen zoals die welke de DeFi-sector van crypto vormen, vereisen staatsbesparingen, en daarom het Turing-volledigheids- en accountgebaseerde transactiemodel van Ethereum. Ondertussen werken op privacy gerichte applicaties op blockchains met UTXO-transactiemodellen, waarbij mondiale staten, inclusief rekeningsaldi, worden afgehandeld door hogere abstractieniveaus, zoals portemonnee-applicaties en blokverkenners.
Tot nu toe hebben ontwikkelaars, in hun missie om privacy naar DeFi te brengen, genoegen genomen met het brengen van DeFi naar privacy, door ofwel standalone UTXO-blockchains te bouwen, ofwel zeer gecentraliseerde en ondoorzichtige Layer 2-modellen, weg van de angstaanjagende publieke mainchain van Ethereum.
Pas in januari 2019 werd Ethereum’s eerste vertrouwelijke tokenstandaard op de keten bedacht in de Aztec Protocol’s EIP-1724. Aztec stelde voor om zkSNARKs te gebruiken om privétokens op Ethereum te genereren, hoewel a vertrouwde configuratie vereist zou zijn om privésleutels te distribueren. Bovendien vindt het hele verduisteringsproces dat privacy verleent aan de zk-tokens van Aztec plaats op een soort Laag 2. Een briljant visionair model, Aztec’s Layer 2-constructie bracht voor het eerst privacy naar Ethereum. Maar in strijd met de schaalbaarheid is het belangrijkste mandaat van privacy dat het op Laag 1 moet leven – geen ifs, ands of bridges.
Vertrouwde installatie
Een jaar na de lancering van Aztec heeft het Offshift-team een baanbrekende Layer 1 PriFi-oplossing op Ethereum ingediend, die gepland staat voor lancering in het eerste kwartaal van 1. Het model van het team maakt gebruik van Bulletproof zks, die, in tegenstelling tot SNARK's, geen enkel element van een vertrouwde opstelling vereisen en volledig functioneren. op Laag 2022. Om het accountgebaseerde transactiemodel van Ethereum aan te pakken, geeft het protocol van Offshift zkAssets uit in de vorm van cryptografische verplichtingen die worden uitgewisseld tussen Ethereum-adressen in een UTXO-model, waardoor PriFi-applicaties kunnen profiteren van de Turing-volledigheid van Ethereum zonder Laag 1 te verlaten.
Hoewel geheel unieke uitdagingen, kunnen efficiënte schaalbaarheid en ondoordringbare privacy het beste worden opgelost door computerhulpmiddelen die zijn ontworpen voor gedecentraliseerde systemen – dat wil zeggen systemen die worden gekenmerkt door een extreem hoge kenniscomplexiteit.
Goldwasser, Macali en Rackoff waren hun tijd tientallen jaren vooruit en maakten in hun artikel uit 1985 overduidelijk: ‘Kenniscomplexiteit helpt bij het bewijzen of weerleggen van de juistheid van cryptografische protocollen, aangezien deze gebaseerd zijn op de geheimhouding van bepaalde privé-informatie en deze geheimhouding moeten bewaren. ”
Vervolgens merkten ze op poëtische wijze op: “De privacy van bepaalde informatie geeft ons een voordeel ten opzichte van onze tegenstanders.”
Alex Shipp, de Chief Strategy Officer van Uitschakelen, een PriFi (private DeFi) derivatenplatform.
Bron: https://thedefiant.io/zero-knowledge-ethereum-layer-1/
- 2016
- 2019
- Account
- Extra
- Adoptie
- Voordeel
- Alles
- Het toestaan
- toepassingen
- architectuur
- BEST
- blockchain
- bouw
- Gebouw
- Campagne
- Inhoud
- hoofdstad
- kanalen
- Charles
- chef
- Munt
- gemeenschap
- Computer Science
- Overeenstemming
- content
- voortzetten
- contract
- Kosten
- Creatieve
- Dapp
- gegevens
- gegevensopslag
- Data
- dag
- Decentralisatie
- gedecentraliseerde
- Gedecentraliseerde applicaties
- Defi
- vertragingen
- levering
- Derivaten
- ontwikkelen
- Ontwikkelaar
- ontwikkelaars
- systemen
- Geschil
- ecosysteem
- ecosystemen
- doeltreffendheid
- ethereum
- naar
- Storing
- Voornaam*
- eerste keer
- geschikt
- formulier
- bedrog
- Globaal
- goed
- Hoge
- Hoe
- HTTPS
- Mensen
- Inclusief
- -industrie
- informatie
- Infrastructuur
- Innovatie
- interactieve
- problemen
- IT
- houden
- toetsen
- kennis
- Labs
- lancering
- leidend
- Sloten
- maken
- Mark
- Markt
- Missie
- model
- maanden
- netwerk
- NFT
- Officier
- online.
- open
- Papier
- betaling
- platform
- privacy
- privaat
- Privésleutels
- protocol
- publiek
- publiceren
- Q1
- zoektocht
- Race
- Realiteit
- Resources
- Satoshi
- besparing
- Schaalbaarheid
- Scale
- Wetenschap
- Ontdek
- veiligheid
- sharding
- Bermuda's
- Vertragen
- slim
- slim contract
- Software
- Oplossingen
- Land
- Statement
- Staten
- mediaopslag
- Strategie
- ingediend
- ondersteuning
- system
- Systems
- Tik
- Technisch
- Technologie
- tijdelijk
- niet de tijd of
- teken
- tokens
- transactie
- Transacties
- us
- gebruikersprivacy
- gebruikers
- Portemonnee
- week
- whitepaper
- jaar
- jaar
- Zcash
- nul
- nulkennisbewijzen