W tym roku dowody wiedzy zerowej (zk-proofs) wyrobiły sobie markę jako najpotężniejsze instrumenty kryptograficzne napędzające innowacje w zdecentralizowanych ekosystemach.
Dowody Zk zostały po raz pierwszy wymyślone przez badaczy informatyki Shari Goldwassser, Silvio Micali i Charlesa Rackoffa w ich artykule z 1985 roku: Złożoność wiedzy interaktywnych systemów dowodowych. Deweloperzy, architekci systemów i badacze ze społeczności Ethereum – wiodącego ekosystemu inteligentnych kontraktów blockchain – spędzili większą część ostatnich trzech lat wytężając swoje zdolności twórcze w celu opracowania rozwiązań – i częściej tymczasowych obejść. Ich celem jest zaradzenie dwóm rażącym brakom blockchainu: zdolności do efektywnego działania na dużą skalę oraz jednoznacznej ochrony prywatności użytkowników.
W obu przypadkach najlepsze i najbystrzejsze umysły Ethereum skupiły się na protokołach z wiedzą zerową i ich zawsze wszechstronnych implementacjach, aby zbudować kolejną iterację kompletnej infrastruktury blockchain.
Poszukiwanie przepustowości
Zk-proof opisuje mechanizm, dzięki któremu jedna strona może udowodnić drugiej, że dane stwierdzenie jest prawdziwe, bez ujawniania jakichkolwiek dodatkowych informacji, zwłaszcza treści samego oświadczenia. Choć bardziej bezpośrednie zastosowanie w scenariuszach zorientowanych na prywatność – najsłynniejsze w przypadku wprowadzenia na rynek w 2016 r. Zcash, monety zapewniającej prywatność, która wykorzystuje ZKS do ochrony transakcji – zabezpieczenia ZK zyskały na znaczeniu w szalonych poszukiwaniach przez Ethereum skalowalnego rozwiązania, które mogłoby otworzyć szereg rewolucyjne aplikacje DeFi i NFT na rynek masowy.
Zgodnie z białą księgą Satoshiego blockchain został opracowany w jednym celu: aby ominąć władzę poprzez utworzenie odpornego na cenzurę, zdecentralizowanego systemu pozbawionego pojedynczego punktu awarii. Choć decentralizacja jest ogromnym osiągnięciem w architekturze systemu, nie jest pozbawiona kosztów. W systemach zdecentralizowanych procesy wymiany, przechowywania i weryfikacji informacji zachodzą pomiędzy współzależnymi urządzeniami, oprogramowaniem i ludźmi. Oznacza to, że są to systemy o niezwykle wysokim poziomie złożoność wiedzy.
W przeciwieństwie do usprawnionych procesów charakterystycznych dla systemów scentralizowanych, złożoność wiedzy koniecznie zmniejsza wydajność sieci, spowalniając czas transakcji i zwiększając koszty transakcji dla użytkowników.
Ponieważ Fiasko Cryptokitties w 2017 roku, Ethereum znalazło się w nieustannym centrum uwagi kryptowalut jako dziecko z plakatu nieodłącznego dylematu skalowalności blockchainu. Jako lider branży w zakresie zdecentralizowanych aplikacji i użytkowników, złożoność wiedzy Ethereum ogranicza przepustowość transakcji do zaledwie dziesięciu transakcji na sekundę – 12 w dobry dzień.
Zdeterminowane, aby rozwiązać ten problem, zespoły programistów w całym ekosystemie opracowały różne wstępne rozwiązania: kanały stanowe, które nie były kompatybilne z EVM i wymagały tożsamości użytkowników oraz początkowych blokad kapitałowych; Plasma, sieć niezbyt wygodnych łańcuchów podrzędnych, która również nie była kompatybilna z EVM; Sidechains, które działały niezależnie od bezpieczeństwa mainchaina Ethereum; oraz Sharding, modyfikacja konsensusu, której atrybuty i daty dostarczenia ulegały wahaniom i ewoluowały w sposób przypominający złamane obietnice z kampanii politycznych.
Zks pozostał w ramce w postaci Zk-Rollups, mechanizmu wykorzystującego technologię zkSNARK do konsolidacji transakcji poza łańcuchem za pośrednictwem Merkle Trees i publikowania ich w głównym łańcuchu Ethereum za pomocą pojedynczej transakcji – wysoce wydajny model, który przeprowadzał obliczenia poza łańcuchem i wykorzystywał łańcuch główny wyłącznie do przechowywania danych. Chociaż Zk-Rollupy były najlepszym dostępnym rozwiązaniem technicznym, nie były jeszcze kompatybilne z EVM i mogły działać jedynie jako kanały płatności. Aplikacje DeFi musiałyby pozostać w łańcuchu do czasu, aż roll-upy będą mogły wspierać inteligentną realizację kontraktów.
Rollup optymizmu
W wyścigu o wsparcie DeFi zespół programistów Ethereum Optimism jako pierwszy zwyciężył, wydając Optimistic Rollups, łańcuch zbiorczy zgodny z EVM, gotowy do wdrażania dApp jednym kliknięciem, a wszystko to bez ani jednej zabezpieczenia ZK. Był tylko jeden problem: pakiet zbiorczy Optimism opierał się na dokumentach Fraud Proofs w celu publikowania grupowanych transakcji w łańcuchu, co wymagało od użytkowników tolerowania opóźnień czasowych sporu (DTD) w przypadku wypłat w łańcuchu głównym, często przekraczających tydzień. Jednak dzięki możliwości komponowania online Optymizm pozostał najlepszą dostępną alternatywą.
Tak było aż do ostatnich miesięcy, kiedy Matter Labs wypuściło zkSync v2: w pełni funkcjonalny, kompatybilny z EVM Zk-Rollup, który wykorzystuje solidne obliczeniowo dowody ważności z krótkimi DTD. Po rozwiązaniu kompatybilności z EVM w wersji 2, zkSync i jego wypłaty w łańcuchu głównym trwające mniej niż dziesięć minut są teraz lepsze od Optimism, którego OVM nadal zależy od długich DTD w celu potwierdzenia transakcji wypłat.
W miarę jak uwaga i zasoby programistów w dalszym ciągu migrują w stronę sfery wiedzy zerowej, rzeczywistość staje się jasna: zgodnie z wybranym przez ich architektów tytułem, zk-proofs zostały zaprojektowane dla systemów charakteryzujących się duża złożoność wiedzyi najlepiej nadają się do rozwiązania wielu dylematów obliczeniowych stojących przed ekosystemami blockchain i ich ścieżkami do adopcji.
Zataczamy koło: ochrona prywatności tam, gdzie jej należy
Dzięki koncepcji DeFi, Ethereum zapewniło sobie miejsce jako centrum innowacji blockchain. Wyrafinowane aplikacje, takie jak te, które stanowią sektor DeFi kryptowaluty, wymagają zapisywania stanu, a tym samym kompletności Turinga Ethereum i modelu transakcji opartego na koncie. Tymczasem aplikacje zorientowane na prywatność działają na blockchainach z modelami transakcyjnymi UTXO, gdzie stany globalne, w tym salda kont, są obsługiwane przez wyższe poziomy abstrakcji, takie jak aplikacje portfelowe i eksploratory bloków.
Do tego momentu, realizując misję zapewnienia prywatności DeFi, programiści zadowalali się zapewnieniem DeFi prywatności, budując samodzielne łańcuchy bloków UTXO lub wysoce scentralizowane i nieprzejrzyste modele warstwy 2 z dala od zniechęcającego publicznego łańcucha głównego Ethereum.
Dopiero w styczniu 2019 r. w protokole Azteków powstał pierwszy standard poufnego tokena Ethereum w łańcuchu EIP-1724. Aztec zaproponował wykorzystanie zkSNARK do generowania prywatnych tokenów w Ethereum, chociaż a wymagana byłaby zaufana konfiguracja do dystrybucji kluczy prywatnych. Ponadto cały proces zaciemniania, który zapewnia prywatność tokenom ZK Azteków, odbywa się na swego rodzaju warstwie 2. Genialny, wizjonerski model, konstrukcja warstwy 2 firmy Aztec po raz pierwszy zapewniła prywatność w Ethereum. Jednak w sprzeczności ze skalowalnością zasadniczym wymogiem prywatności jest to, że musi ona działać w warstwie 1 – bez żadnych „jeśli”, „i” czy mostów.
Zaufana konfiguracja
Rok po premierze Aztec zespół Offshift przedstawił pionierskie rozwiązanie PriFi warstwy 1 na Ethereum, które ma zostać wprowadzone na rynek w pierwszym kwartale 1 r. Model zespołu wykorzystuje kuloodporne ZKS, które w przeciwieństwie do SNARK nie wymagają żadnego elementu zaufanej konfiguracji i żyją w pełni na warstwie 2022. Aby uwzględnić model transakcji oparty na koncie Ethereum, protokół Offshift emituje zkAssets w formie zobowiązań kryptograficznych, które są wymieniane między adresami Ethereum w modelu UTXO, umożliwiając w ten sposób aplikacjom PriFi korzystanie z kompletności Turinga Ethereum bez opuszczania warstwy 1.
Choć całkowicie unikalne wyzwania, wydajną skalowalność i nieprzeniknioną prywatność najlepiej rozwiązują narzędzia obliczeniowe, które są przeznaczone dla systemów zdecentralizowanych – czyli systemów charakteryzujących się niezwykle dużą złożonością wiedzy.
Goldwasser, Macali i Rackoff wyprzedzili swoje czasy o kilkadziesiąt lat w swoim artykule z 1985 roku aż nadto wyraźnie: „Złożoność wiedzy pomaga w udowodnieniu lub obaleniu poprawności protokołów kryptograficznych, ponieważ opierają się one na tajemnicy niektórych prywatnych informacji i powinny tę tajemnicę zachować. ”
Następnie poetycko zauważyli: „Prywatność niektórych informacji daje nam przewagę nad naszymi przeciwnikami”.
Alex Shipp, dyrektor ds. strategii Przesunięcie, platforma instrumentów pochodnych PriFi (prywatna DeFi).
Źródło: https://thedefiant.io/zero-knowledge-ethereum-layer-1/
- 2016
- 2019
- Konto
- Dodatkowy
- Przyjęcie
- Korzyść
- Wszystkie kategorie
- Pozwalać
- aplikacje
- architektura
- BEST
- blockchain
- budować
- Budowanie
- Kampania
- Pojemność
- kapitał
- kanały
- Charles
- szef
- Moneta
- społeczność
- Computer Science
- Zgoda
- zawartość
- kontynuować
- umowa
- Koszty:
- Twórczy
- Dapp
- dane
- przechowywanie danych
- Daty
- dzień
- Decentralizacja
- Zdecentralizowane
- Aplikacje zdecentralizowane
- DeFi
- opóźnienia
- dostawa
- Pochodne
- rozwijać
- Deweloper
- deweloperzy
- urządzenia
- Spierać się
- Ekosystem
- Ekosystemy
- efektywność
- ethereum
- okładzina
- Brak
- i terminów, a
- pierwszy raz
- dopasować
- Nasz formularz
- oszustwo
- Globalne
- dobry
- Wysoki
- W jaki sposób
- HTTPS
- Ludzie
- Włącznie z
- przemysł
- Informacja
- Infrastruktura
- Innowacja
- interaktywne
- problemy
- IT
- konserwacja
- Klawisze
- wiedza
- Labs
- uruchomić
- prowadzący
- Zamki
- Dokonywanie
- znak
- rynek
- Misja
- model
- miesięcy
- sieć
- NFT
- Oficer
- Online
- koncepcja
- Papier
- płatność
- Platforma
- prywatność
- prywatny
- Klucze prywatne
- protokół
- publiczny
- publikować
- Q1
- poszukiwanie
- Wyścig
- Rzeczywistość
- Zasoby
- Satoshi
- oszczędność
- Skalowalność
- Skala
- nauka
- Szukaj
- bezpieczeństwo
- sharding
- Short
- Spowolnienie
- mądry
- inteligentna umowa
- Tworzenie
- Rozwiązania
- Stan
- Zestawienie sprzedaży
- Zjednoczone
- przechowywanie
- Strategia
- składane
- wsparcie
- system
- systemy
- Stuknij
- Techniczny
- Technologia
- tymczasowy
- czas
- żeton
- Żetony
- transakcja
- transakcje
- us
- prywatność użytkownika
- Użytkownicy
- Portfel
- tydzień
- Księga zasad
- rok
- lat
- Zcash
- zero
- dowody zerowej wiedzy