I år gör Zero knowledge proofs (zk-proofs) sina spår som de mest potenta kryptografiska instrumenten som driver innovation i decentraliserade ekosystem.
Zk-bevis skapades först av datavetenskapsforskarna Shari Goldwassser, Silvio Micali och Charles Rackoff i deras uppsats från 1985, Kunskapskomplexiteten hos interaktiva bevissystem. Utvecklare, systemarkitekter och forskare inom Ethereum-gemenskapen – blockchains ledande smarta kontraktsekosystem – har tillbringat större delen av de senaste tre åren med att anstränga sina kreativa förmågor för att utveckla lösningar – och oftare tillfälliga lösningar. Deras mål är att åtgärda blockkedjans två uppenbara brister: förmågan att fungera effektivt i stor skala och att otvetydigt skydda användarnas integritet.
På båda prerogativen har Ethereums bästa och smartaste hjärnor konvergerat om noll kunskapsprotokoll och deras ständigt mångsidiga implementeringar för att bygga nästa iteration av turing-komplett blockchain-infrastruktur.
Jakten på genomströmning
Ett zk-bevis beskriver en mekanism där en part kan bevisa för en annan att ett givet påstående är sant utan att avslöja någon ytterligare information, särskilt innehållet i själva påståendet. Även om det är mer omedelbart tillämpligt i integritetscentrerade scenarier – mest känd i 2016 års lansering av Zcash, ett sekretessmynt som använder zks för att skydda transaktioner – har zk-proofs blivit framträdande i Ethereums galna sökning efter en skalbarhetslösning som kan öppna dess utbud av revolutionerande DeFi- och NFT-applikationer till massmarknaden.
Enligt Satoshi-vitboken utvecklades blockchain för ett syfte: att kringgå auktoriteter genom bildandet av ett censurbeständigt, decentraliserat system utan en enda punkt av misslyckande. Även om det är en enorm bedrift inom systemarkitektur, kommer decentralisering inte utan kostnader. I decentraliserade system sker processer för utbyte, lagring och verifiering av information mellan ömsesidigt beroende enheter, programvara och människor. Det vill säga, de är extremt höga system kunskapskomplexitet.
Till skillnad från de strömlinjeformade processerna som är inbyggda i centraliserade system, försämrar kunskapskomplexiteten nödvändigtvis nätverkseffektiviteten, saktar ner transaktionstider och ökar transaktionskostnaderna för användarna.
Eftersom den Cryptokitties fiasko 2017, Ethereum har kastats i det eviga krypto-rampljuset som affisch-barnet till blockchains inneboende skalbarhetsdilemma. Som branschledare inom decentraliserade applikationer och användare begränsar Ethereums kunskapskomplexitet dess transaktionsgenomströmning till ynka tio transaktioner per sekund – 12 på en bra dag.
Fast beslutna att ta itu med problemet, skapade utvecklarteam över hela ekosystemet olika preliminära lösningar: statliga kanaler, som inte var EVM-kompatibla och krävde användaridentiteter och kapitallås i förväg; Plasma, ett nätverk av mindre än bekväma barnkedjor som också saknade EVM-kompatibilitet; Sidokedjor, som fungerade oberoende av Ethereums huvudkedjas säkerhet; och Sharding, en konsensusmodifikation vars egenskaper och leveransdatum har vacklat och utvecklats på ett sätt som påminner om brutna politiska kampanjlöften.
Zks förblev i ramen i form av Zk-Rollups, en mekanism som använder zkSNARK-teknik för att konsolidera transaktioner utanför kedjan via Merkle Trees och publicera dem till Ethereums huvudkedja med en enda transaktion - en mycket effektiv modell som utförde beräkningar utanför kedjan och använde huvudkedjan uteslutande för datalagring. Även om Zk-Rollups var den bästa tekniska lösningen, var ännu inte EVM-kompatibla och kunde bara fungera som betalningskanaler. DeFi-applikationer skulle behöva förbli i kedjan tills roll-ups kunde stödja smart kontraktsutförande.
Optimismens sammanställning
I kapplöpningen om att stödja DeFi var Ethereums utvecklarteam Optimism först ut i takt med sin release av Optimistic Rollups, en EVM-kompatibel Rollup Chain redo för ett-klicks dApp-distributioner, och allt utan ett enda zk-bevis. Det fanns bara ett problem: Optimisms sammanställning var beroende av Fraud Proofs för att publicera grupperade transaktioner i kedjan, vilket krävde att användarna tolererade dispute Time Delays (DTDs) för uttag från huvudkedjan, ofta uppåt en vecka. Men med komponerbarhet online förblev Optimism det bästa tillgängliga alternativet.
Det var fram till de senaste månaderna, när Matter Labs släppte zkSync v2: en fullt fungerande, EVM-kompatibel Zk-Rollup som använder beräkningsmässigt sunda giltighetsbevis med korta DTD:er. Med EVM-kompatibilitet löst för v2, står zkSync och dess under tio minuter långa mainchain-uttag nu överlägsna Optimism, vars OVM fortfarande är beroende av förlängda DTD:er för att bekräfta uttagstransaktioner.
När uppmärksamheten och utvecklarresurserna fortsätter att migrera mot nollkunskapssfären blir verkligheten tydlig: enligt deras arkitekters val, designades zk-proofs för system som kännetecknas av hög kunskapskomplexitet, och är bäst lämpade för att lösa många av de beräkningsdilemman som blockchain-ekosystem står inför och deras vägar till adoption.
Coming Full-Circle: Att behålla integriteten där det hör hemma
Med idén om DeFi har Ethereum säkrat sin plats som navet för blockchain-innovation. Sofistikerade applikationer som de som utgör kryptos DeFi-sektor kräver statlig besparing, och därför Ethereums Turing-fullständighet och kontobaserade transaktionsmodell. Samtidigt fungerar integritetscentrerade applikationer på blockkedjor med UTXO-transaktionsmodeller, där globala stater inklusive kontosaldon hanteras av högre abstraktionsnivåer som plånboksapplikationer och blockutforskare.
Till denna punkt, i uppdraget att föra integritet till DeFi, har utvecklare nöjt sig med att föra DeFi till integritet, antingen bygga fristående UTXO-blockkedjor eller mycket centraliserade och ogenomskinliga Layer 2-modeller bort från Ethereums skrämmande offentliga huvudkedja.
Det var inte förrän i januari 2019 när Ethereums första konfidentiella tokenstandard på kedjan skapades i Aztec Protocols EIP-1724. Aztec föreslog att använda zkSNARKs för att generera privata tokens på Ethereum, även om en pålitlig installation skulle krävas att distribuera privata nycklar. Dessutom sker hela fördunklingsprocessen som ger integritet till Aztecs zk-tokens på ett slags lager 2. En briljant visionär modell, Aztecs Layer 2-konstruktion förde Ethereums privatliv för första gången. Men i motsats till skalbarhet är integritetens kardinalmandat att den måste leva på lager 1 - inga oms, ands eller broar.
Pålitlig installation
Ett år efter Aztecs lansering lämnade Offshift-teamet in en banbrytande Layer 1 PriFi-lösning på Ethereum planerad att lanseras under Q1 2022. Teamets modell använder Bulletproof zks, som, till skillnad från SNARKs, inte kräver något element av en pålitlig installation, och lever fullt ut. på lager 1. För att adressera Ethereums kontobaserade transaktionsmodell, utfärdar Offshifts protokoll zkAssets i form av kryptografiska åtaganden som utbyts mellan Ethereum-adresser i en UTXO-modell, vilket gör att PriFi-applikationer kan dra nytta av Ethereums Turing-fullständighet utan att lämna lager 1.
Även om helt unika utmaningar, effektiv skalbarhet och ogenomtränglig integritet löses bäst med beräkningsverktyg som är designade för decentraliserade system – det vill säga system som kännetecknas av extremt hög kunskapskomplexitet.
Decennier före sin tid gjorde Goldwasser, Macali och Rackoff mycket tydligt i sin uppsats från 1985: "Kunskapskomplexitet hjälper till att bevisa eller motbevisa riktigheten av kryptografiska protokoll eftersom dessa är baserade på sekretessen för viss privat information och bör bevara denna sekretess. ”
De noterade sedan poetiskt: "Sekretessen för viss information är det som ger oss en fördel gentemot våra motståndare."
Alex Shipp, Chief Strategy Officer för Offshift, en PriFi (privat DeFi) derivatplattform.
Källa: https://thedefiant.io/zero-knowledge-ethereum-layer-1/
- 2016
- 2019
- Konto
- Annat
- Antagande
- Fördel
- Alla
- tillåta
- tillämpningar
- arkitektur
- BÄST
- blockchain
- SLUTRESULTAT
- Byggnad
- Kampanj
- Kapacitet
- kapital
- kanaler
- Charles
- chef
- Coin
- samfundet
- Datavetenskap
- Konsensus
- innehåll
- fortsätta
- kontrakt
- Kostar
- Kreativ
- Dapp
- datum
- datalagring
- Datum
- dag
- Decentralisering
- decentraliserad
- Decentraliserade applikationer
- Defi
- fördröjningar
- leverans
- Derivat
- utveckla
- Utvecklare
- utvecklare
- enheter
- Tvist
- ekosystemet
- ekosystem
- effektivitet
- ethereum
- vänd
- Misslyckande
- Förnamn
- första gången
- passa
- formen
- bedrägeri
- Välgörenhet
- god
- Hög
- Hur ser din drömresa ut
- HTTPS
- Människa
- Inklusive
- industrin
- informationen
- Infrastruktur
- Innovation
- interaktiva
- problem
- IT
- hålla
- nycklar
- kunskap
- Labs
- lansera
- ledande
- Lås
- Framställning
- markera
- marknad
- Mission
- modell
- månader
- nät
- NFT
- Officer
- nätet
- öppet
- Papper
- betalning
- plattform
- privatpolicy
- privat
- Privata nycklar
- protokoll
- allmän
- publicera
- Q1
- quest
- Lopp
- Verkligheten
- Resurser
- Satoshi
- sparande
- skalbarhet
- Skala
- Vetenskap
- Sök
- säkerhet
- sharding
- Kort
- saktar
- smarta
- smart kontrakt
- Mjukvara
- Lösningar
- Ange
- .
- Stater
- förvaring
- Strategi
- lämnats
- stödja
- system
- System
- Tryck
- Teknisk
- Teknologi
- temporär
- tid
- token
- tokens
- transaktion
- Transaktioner
- us
- användares integritet
- användare
- plånbok
- vecka
- whitepaper
- år
- år
- Zcash
- noll-
- bevis med nollkunskap