I år markerer Zero knowledge proofs (zk-proofs) sig som de mest potente kryptografiske instrumenter, der driver innovation i decentraliserede økosystemer.
Zk-beviser blev først udtænkt af computervidenskabsforskere Shari Goldwassser, Silvio Micali og Charles Rackoff i deres 1985 papir, Videnskompleksiteten af interaktive bevissystemer. Udviklere, systemarkitekter og forskere i Ethereum-samfundet - blockchains førende smarte kontraktøkosystem - har brugt den største del af de sidste tre år på at anstrenge deres kreative evner for at udvikle løsninger - og oftere midlertidige løsninger. Deres mål er at afhjælpe blockchains to iøjnefaldende mangler: evnen til at fungere effektivt i stor skala og at sikre brugernes privatliv utvetydigt.
På begge prærogativer har Ethereums bedste og dygtigste hoveder konvergeret om nul vidensprotokoller og deres evigt alsidige implementeringer for at bygge den næste iteration af turing-komplet blockchain-infrastruktur.
Jagten på gennemstrømning
Et zk-bevis beskriver en mekanisme, hvorved en part kan bevise over for en anden, at en given erklæring er sand uden at afsløre nogen yderligere information, især indholdet af selve erklæringen. Selvom det er mere umiddelbart anvendeligt i privatlivscentrerede scenarier - mest berømt i lanceringen af Zcash i 2016, en privatlivsmønt, der anvender zks til at beskytte transaktioner - er zk-beviser steget frem i Ethereums vanvittige søgen efter en skalerbarhedsløsning, der kan åbne dens række af revolutionerende DeFi- og NFT-applikationer til massemarkedet.
I henhold til Satoshi-hvidbogen blev blockchain udviklet til ét formål: at omgå autoriteter via dannelsen af et censur-resistent, decentraliseret system uden et enkelt point of failure. Selvom det er en enorm bedrift inden for systemarkitektur, kommer decentralisering ikke uden omkostninger. I decentraliserede systemer finder processer med udveksling, lagring og verificering af information sted på tværs af indbyrdes afhængige enheder, software og mennesker. Det vil sige, de er ekstremt høje systemer videns kompleksitet.
I modsætning til de strømlinede processer, der er hjemmehørende i centraliserede systemer, forringer videnskompleksitet nødvendigvis netværkseffektiviteten, sænker transaktionstider og øger transaktionsomkostningerne for brugerne.
Eftersom Cryptokitties fiasko i 2017, Ethereum er blevet kastet i det evige krypto-rampelys som plakat-barn af blockchains iboende skalerbarhedsdilemma. Som brancheleder inden for decentraliserede applikationer og brugere begrænser Ethereums videnskompleksitet dets transaktionsgennemstrømning til sølle ti transaktioner i sekundet - 12 på en god dag.
Fast besluttet på at tackle problemet, udviklede udviklerteams på tværs af økosystemet forskellige foreløbige løsninger: Statskanaler, som ikke var EVM-kompatible og krævede brugeridentiteter og forhåndskapitallåse; Plasma, et netværk af mindre end praktiske Child-Chains, der også manglede EVM-kompatibilitet; Sidekæder, som fungerede uafhængigt af sikkerheden i Ethereum-hovedkæden; og Sharding, en konsensusmodifikation, hvis egenskaber og leveringsdatoer har vaklet og udviklet sig på en måde, der minder om brudte politiske kampagneløfter.
Zks forblev i rammen i form af Zk-Rollups, en mekanisme, der anvender zkSNARK-teknologi til at konsolidere off-chain-transaktioner via Merkle Trees og publicere dem til Ethereum-hovedkæden med en enkelt transaktion - en meget effektiv model, der udførte beregninger off-chain og brugte hovedkæden udelukkende til datalagring. Selvom den bedste tekniske løsning på tryk, var Zk-Rollups endnu ikke EVM-kompatible og kunne kun fungere som betalingskanaler. DeFi-applikationer skulle forblive i kæden, indtil roll-ups kunne understøtte smart kontraktudførelse.
Optimismens rollup
I kapløbet om at understøtte DeFi var Ethereum-udviklerteamet Optimism det første til at slå med deres udgivelse af Optimistic Rollups, en EVM-kompatibel Rollup Chain klar til et-klik dApp-implementeringer, og alt sammen uden en eneste zk-proof. Der var kun et problem: Optimism's Rollup var afhængig af Fraud Proofs for at offentliggøre grupperede transaktioner på kæden, og derved krævede brugerne at tolerere Dispute Time Delays (DTD'er) for mainchain-tilbagetrækninger, ofte op til en uge. Men med komponerbarhed online forblev Optimisme det bedste tilgængelige alternativ.
Det var indtil de seneste måneder, hvor Matter Labs udgav zkSync v2: en fuldt funktionel, EVM-kompatibel Zk-Rollup, der anvender beregningsmæssigt forsvarlige gyldighedsbeviser med korte DTD'er. Med EVM-kompatibilitet løst for v2, står zkSync og dets sub-ti-minutters mainchain-udtrækninger nu overlegne i forhold til Optimism, hvis OVM stadig afhænger af forlængede DTD'er for at bekræfte tilbagetrækningstransaktioner.
Efterhånden som opmærksomhed og udviklerressourcer fortsætter med at migrere mod nul vidensriget, bliver virkeligheden klar: i henhold til deres arkitekters valgtitel blev zk-proofs designet til systemer karakteriseret ved høj videnskompleksitet, og er bedst egnet til at løse mange af de beregningsmæssige dilemmaer, som blockchain-økosystemer står over for og deres veje til adoption.
Coming Full-Circle: Bevar privatlivets fred, hvor det hører hjemme
Med udformningen af DeFi har Ethereum sikret sig sin plads som go-to-hub for blockchain-innovation. Sofistikerede applikationer som dem, der udgør kryptos DeFi-sektor, kræver statsbesparelse, og derfor Ethereums Turing-fuldstændighed og kontobaserede transaktionsmodel. I mellemtiden opererer privatlivscentrerede applikationer på blockchains med UTXO-transaktionsmodeller, hvor globale stater inklusive kontosaldi håndteres af højere abstraktionsniveauer såsom tegnebogsapplikationer og blokudforskere.
Til dette punkt, i missionen om at bringe privatliv til DeFi, har udviklere nøjedes med at bringe DeFi til privatliv, enten at bygge selvstændige UTXO-blockchains eller meget centraliserede og uigennemsigtige Layer 2-modeller væk fra Ethereums skræmmende offentlige hovedkæde.
Det var først i januar 2019, da Ethereums første on-chain fortrolige token-standard blev udtænkt i Aztec Protocols EIP-1724. Aztec foreslog at bruge zkSNARKs til at generere private tokens på Ethereum, selvom en betroet opsætning ville være påkrævet at distribuere private nøgler. Derudover foregår hele sløringsprocessen, der giver privatliv til Aztecs zk-tokens, sted på en slags lag 2. En strålende visionær model, Aztec's Layer 2-konstruktion bragte privatliv til Ethereum for første gang. Men i modsætning til skalerbarhed er privatlivets kardinalmandat, at det skal leve på lag 1 - ingen hvis, ands eller broer.
Pålidelig opsætning
Et år efter Aztecs lancering indsendte Offshift-teamet en banebrydende Layer 1 PriFi-løsning på Ethereum, der skulle lanceres i 1. kvartal 2022. Holdets model anvender Bulletproof zks, som i modsætning til SNARK'er ikke kræver noget element af en pålidelig opsætning og lever fuldt ud. på lag 1. For at adressere Ethereums kontobaserede transaktionsmodel udsteder Offshifts protokol zkAssets i form af kryptografiske forpligtelser, der udveksles mellem Ethereum-adresser i en UTXO-model, hvorved PriFi-applikationer kan drage fordel af Ethereums Turing-fuldstændighed uden at forlade lag 1.
Selvom helt unikke udfordringer, effektiv skalerbarhed og uigennemtrængeligt privatliv bedst løses af beregningsværktøjer, der er designet til decentrale systemer – det vil sige systemer karakteriseret ved ekstrem høj videnskompleksitet.
Årtier forud for deres tid gjorde Goldwasser, Macali og Rackoff meget klart i deres papir fra 1985: "Videnskompleksitet hjælper med at bevise eller modbevise rigtigheden af kryptografiske protokoller, da disse er baseret på hemmeligholdelsen af nogle private oplysninger og bør bevare denne hemmelighed. ”
De bemærkede derefter poetisk: "Privatlivet af nogle oplysninger er det, der giver os en fordel i forhold til vores modstandere."
Alex Shipp, Chief Strategy Officer for Offshift, en PriFi (privat DeFi) derivatplatform.
Kilde: https://thedefiant.io/zero-knowledge-ethereum-layer-1/
- 2016
- 2019
- Konto
- Yderligere
- Vedtagelse
- Fordel
- Alle
- tillade
- applikationer
- arkitektur
- BEDSTE
- blockchain
- bygge
- Bygning
- Kampagne
- Kapacitet
- kapital
- kanaler
- Charles
- chef
- Coin
- samfund
- Datalogi
- Konsensus
- indhold
- fortsæt
- kontrakt
- Omkostninger
- Kreativ
- DAI
- data
- data opbevaring
- Datoer
- dag
- decentralisering
- decentral
- Decentraliserede applikationer
- Defi
- forsinkelser
- levering
- Derivater
- udvikle
- Udvikler
- udviklere
- Enheder
- Bestride
- økosystem
- økosystemer
- effektivitet
- ethereum
- vender
- Manglende
- Fornavn
- første gang
- passer
- formular
- bedrageri
- Global
- godt
- Høj
- Hvordan
- HTTPS
- Mennesker
- Herunder
- industrien
- oplysninger
- Infrastruktur
- Innovation
- interaktiv
- spørgsmål
- IT
- holde
- nøgler
- viden
- Labs
- lancere
- førende
- Låse
- Making
- markere
- Marked
- Mission
- model
- måned
- netværk
- NFT
- Officer
- online
- åbent
- Papir
- betaling
- perron
- Beskyttelse af personlige oplysninger
- private
- Private nøgler
- protokol
- offentlige
- offentliggøre
- Q1
- Quest
- Løb
- Reality
- Ressourcer
- Satoshi
- besparelse
- Skalerbarhed
- Scale
- Videnskab
- Søg
- sikkerhed
- sharding
- Kort
- langsommere
- Smart
- smart kontrakt
- Software
- Løsninger
- Tilstand
- Statement
- Stater
- opbevaring
- Strategi
- indsendt
- support
- systemet
- Systemer
- Tryk på
- Teknisk
- Teknologier
- midlertidig
- tid
- token
- Tokens
- transaktion
- Transaktioner
- us
- brugernes privatliv
- brugere
- tegnebog
- uge
- whitepaper
- år
- år
- Zcash
- nul
- nul-viden bevis