Jak Aztec Network zapewnia prywatność działań na Ethereum L2?

Wyzwanie prywatności w publicznych blockchainach

Fundamentalną obietnicą technologii blockchain jest transparentność i niezmienność. Każda transakcja, każda interakcja z inteligentnym kontraktem i każdy transfer aktywów są rejestrowane w publicznej księdze, dostępnej dla każdego, kto ma połączenie z Internetem. Choć ta przejrzystość jest kluczowa dla bezpieczeństwa, audytowalności i braku konieczności zaufania (trustlessness) w systemie zdecentralizowanym, nieodłącznie wiąże się ona ze znacznym wyzwaniem w zakresie prywatności. Na publicznych blockchainach, takich jak Ethereum, tożsamości użytkowników są zazwyczaj pseudonimowe, powiązane z alfanumerycznymi adresami portfeli, a nie z rzeczywistymi nazwiskami. Jednak ta pseudonimowość jest często krucha. Zaawansowane narzędzia do analizy danych mogą łączyć transakcje, identyfikować wzorce, a nawet deanonimizować osoby poprzez powiązanie aktywności portfela z informacjami publicznymi lub usługami scentralizowanymi.

Implikacje tej wszechobecnej transparentności są wieloaspektowe i niepokojące:

• Inwigilacja finansowa: Każdy ruch finansowy, od małych płatności po duże inwestycje, jest publicznie widoczny. Ten poziom ekspozycji może być wykorzystany przez złośliwych aktorów, konkurentów, a nawet służby państwowe.
• Utrata zamienności (fungybilności): Jeśli historia cyfrowego aktywa jest identyfikowalna, otwiera to drzwi dla „skażonych” funduszy. Aktywa zaangażowane w nielegalną działalność, nawet niewinnie, mogą trafić na czarną listę lub stać się mniej pożądane, co podważa zasadę, że wszystkie jednostki waluty powinny być wymienne.
• Eksploatacja danych: Publiczne dane transakcyjne mogą być agregowane i analizowane w celu wydedukowania nawyków zakupowych, strategii inwestycyjnych, a nawet relacji osobistych, co prowadzi do potencjalnego wykorzystywania danych lub ukierunkowanych ataków.
• Utrudnianie adopcji instytucjonalnej: Przedsiębiorstwa i tradycyjne instytucje finansowe działają w oparciu o surowe przepisy dotyczące prywatności (np. RODO/GDPR, HIPAA) i wymagają poufności dla swoich transakcji, danych klientów i autorskich strategii. Publiczny charakter większości blockchainów stanowi znaczną barierę dla ich szerokiej adopcji w finansach zdecentralizowanych (DeFi) i Web3.
• Front-running i manipulacje rynkowe: W DeFi publiczne mempoole (oczekujące transakcje) mogą być skanowane pod kątem dużych zleceń lub zyskownych transakcji, co prowadzi do działania botów typu front-running, które wykorzystują tę asymetrię informacji.

Aby odblokować pełny potencjał zdecentralizowanych aplikacji i wzmocnić prawdziwie prywatną gospodarkę cyfrową, potrzebne są rozwiązania, które chronią wrażliwe informacje, zachowując jednocześnie weryfikowalną integralność blockchaina. Jest to dokładnie ta luka, którą starają się wypełnić skoncentrowane na prywatności sieci Warstwy 2, takie jak Aztec Network.

Przedstawiamy Aztec Network: Prywatna z założenia Warstwa 2 Ethereum

Aztec Network jawi się jako pionierski blockchain Warstwy 2 (L2), zaprojektowany od podstaw z prywatnością jako jego najważniejszą cechą. Działając w oparciu o solidne bezpieczeństwo sieci głównej Ethereum, Aztec dąży do pogodzenia nieodłącznej transparentności publicznych blockchainów z koniecznością zapewnienia poufności użytkownikom. Jego główną misją jest umożliwienie prywatnych transakcji i inteligentnych kontraktów, zapewniając użytkownikom możliwość angażowania się w działania on-chain bez publicznego ujawniania szczegółów ich ruchów finansowych lub interakcji z aplikacjami.

W swojej istocie Aztec funkcjonuje jako Zero-Knowledge Rollup (ZK-Rollup). Architektura ta strategicznie przenosi większość przetwarzania transakcji i obliczeń z sieci głównej Ethereum (Warstwa 1) do oddzielnej, bardziej wydajnej sieci L2. Co kluczowe, zamiast przesyłać każdą pojedynczą transakcję do Ethereum, Aztec łączy tysiące prywatnych transakcji w jedną partię (batch). Dla całej tej partii generowany jest kryptograficzny „dowód z wiedzą zerową” (zero-knowledge proof). Dowód ten kryptograficznie poświadcza ważność wszystkich transakcji w partii, nie ujawniając żadnych danych leżących u ich podstaw. Tylko ten dowód, wraz ze zwięzłą aktualizacją korzenia stanu (state root) L2, jest następnie przesyłany i weryfikowany w sieci głównej Ethereum.

To pomysłowe połączenie przynosi kilka kluczowych korzyści:

• Zwiększona prywatność: Kwoty transakcji, adresy nadawcy/odbiorcy i dane wejściowe inteligentnych kontraktów pozostają zaszyfrowane i ukryte przed widokiem publicznym.
• Skalowalność: Dzięki agregacji wielu transakcji w jedną, Aztec znacznie zmniejsza obciążenie danymi i mocą obliczeniową Ethereum, przyczyniając się do ogólnej skalowalności sieci.
• Dziedziczenie bezpieczeństwa Ethereum: Ponieważ ważność przejść stanów Aztec jest zakotwiczona w dowodach kryptograficznych weryfikowanych na Ethereum, dziedziczy ona silne gwarancje bezpieczeństwa i odporność na cenzurę L1.

Aztec w zasadzie zapewnia prywatną warstwę obliczeniową dla Ethereum, umożliwiając budowanie zdecentralizowanych aplikacji (dApps) z poufnością wpisaną w ich strukturę, otwierając nowy paradygmat dla Web3, w którym prywatność jest domyślna, a nie dodana po fakcie.

Główny mechanizm: Dowody z wiedzą zerową (ZKP)

Technologicznym fundamentem możliwości Aztec Network w zakresie prywatności są dowody z wiedzą zerową (Zero-Knowledge Proofs – ZKP). Te prymitywy kryptograficzne są rewolucyjne, ponieważ pozwalają jednej stronie („udowadniającemu”) przekonać drugą stronę („weryfikatora”), że dane stwierdzenie jest prawdziwe, bez ujawniania jakichkolwiek informacji o samym stwierdzeniu poza faktem jego prawdziwości.

Czym są dowody z wiedzą zerową?

Na wysokim poziomie, dowód z wiedzą zerową to metoda, dzięki której udowadniający może wykazać znajomość tajnej informacji („świadka”) weryfikatorowi, nie wyjawiając samej tajemnicy. Wyobraź sobie, że masz przyjaciela, który jest daltonistą i chcesz mu udowodnić, że dwie piłki mają różne kolory, nie mówiąc mu, jakie to kolory. Mógłbyś schować piłki za plecami, zamienić je miejscami i ponownie pokazać przyjacielowi. Jeśli naprawdę mają różne kolory, konsekwentnie będziesz w stanie wskazać, która została zamieniona. Twój przyjaciel zyskuje pewność, że piłki rzeczywiście są różne, ale nigdy nie poznaje ich rzeczywistych kolorów.

W kontekście blockchaina, ZKP obejmują złożone operacje matematyczne, w których występują:

• Stwierdzenie (Statement): To, co musi zostać udowodnione jako prawda (np. „Posiadam wystarczające środki, aby dokonać tego przelewu” lub „Ten inteligentny kontrakt został wykonany poprawnie”).
• Świadek (Witness): To tajna informacja, którą zna udowadniający, a która sprawia, że stwierdzenie jest prawdziwe (np. konkretne saldo na jego koncie, prywatne dane wejściowe do inteligentnego kontraktu).
• Dowód (Proof): Dowód kryptograficzny wygenerowany przez udowadniającego przy użyciu świadka, który jest następnie przesyłany do weryfikatora.

Kluczowe właściwości definiujące solidny system ZKP obejmują:

• Pełność (Completeness): Jeśli stwierdzenie jest prawdziwe, a udowadniający uczciwy, weryfikator zawsze zostanie przekonany.
• Poprawność (Soundness): Jeśli stwierdzenie jest fałszywe, nieuczciwy udowadniający nie może przekonać weryfikatora, że jest ono prawdziwe (jest to obliczeniowo niewykonalne).
• Wiedza zerowa (Zero-Knowledge): Weryfikator nie dowiaduje się niczego o świadku poza faktem, że stwierdzenie jest prawdziwe.

Jak ZKP umożliwiają prywatność w Aztec

W sieci Aztec, ZKP są silnikiem, który przekształca publiczną aktywność blockchain w prywatne interakcje. Oto jak to działa w praktyce:

1. Generowanie transakcji off-chain: Gdy użytkownik inicjuje prywatną transakcję w Aztec (np. wysyłanie tokenów, interakcja z prywatnym protokołem DeFi), jego lokalny klient szyfruje wszystkie wrażliwe szczegóły, takie jak nadawca, odbiorca, kwota i konkretne interakcje z kontraktem.
2. Generowanie dowodu lokalnego: Klient użytkownika, używając swoich kluczy prywatnych, generuje mały dowód z wiedzą zerową po stronie klienta. Dowód ten weryfikuje, że:
   • Użytkownik posiada środki, które zamierza wydać.
   • Transakcja jest ważna zgodnie z zasadami protokołu (np. brak podwójnego wydatkowania, kwoty dodatnie).
   • Nowy zaszyfrowany stan (np. nowe salda) jest spójny z transakcją.
   • Co najważniejsze, dowód ten potwierdza te fakty bez ujawniania rzeczywistych kwot ani uczestników.
3. Grupowanie przez dostawców rollupów: Te indywidualne, wygenerowane przez klientów dowody i odpowiadające im zaszyfrowane transakcje są następnie przesyłane do uczestników sieci zwanych „dostawcami rollupów” (lub sekwencerami/proverami). Dostawcy ci zbierają liczne takie prywatne transakcje.
4. Generowanie dowodu partii: Dostawca rollupu agreguje te poszczególne transakcje i dowody, a następnie generuje jeden, większy dowód z wiedzą zerową dla całej partii. Ten dowód partii poświadcza ważność wszystkich transakcji w tej partii.
5. Weryfikacja on-chain: Tylko ten pojedynczy, kompaktowy dowód partii i niewielka aktualizacja stanu są przesyłane do kontraktu Aztec L1 na Ethereum. Kontrakt Ethereum weryfikuje ten dowód. Jeśli dowód jest ważny, kontrakt L1 aktualizuje korzeń stanu Aztec – kryptograficzne zobowiązanie do całego stanu L2.

Dzięki temu procesowi sieć główna Ethereum widzi jedynie kryptograficzny dowód na to, że w Aztec zaszła seria ważnych, chroniących prywatność przejść stanów, wraz ze zaktualizowanym ogólnym stanem. Konkretne szczegóły dotyczące tego, kto dokonał transakcji z kim i na jaką kwotę, pozostają zaszyfrowane i ukryte przed publicznością, widoczne tylko dla upoważnionych uczestników. Elegancja tego rozwiązania polega na połączeniu weryfikowalności publicznego blockchaina z poufnością systemu prywatnego.

Specyficzna implementacja ZKP w Aztec: PLONK i Noir

Aztec Network nie korzysta z dowolnego systemu ZKP; dokonał konkretnych wyborów architektonicznych, aby zoptymalizować wydajność, bezpieczeństwo i doświadczenie programistów. Obejmują one wykorzystanie systemu dowodzenia PLONK i opracowanie języka programowania Noir.

PLONK: System dowodzenia

Aztec Network w szczególności wykorzystuje PLONK (Permutations over Lagrange-bases for Oecumenical Noninteractive arguments of Knowledge) jako swój podstawowy system dowodów z wiedzą zerową. PLONK to nowoczesny, wysoce wydajny system ZKP, który oferuje znaczące przewagi nad wcześniejszymi konstrukcjami.

Kluczowe cechy i zalety PLONK w kontekście Aztec:

• Uniwersalna konfiguracja (Universal Setup): W przeciwieństwie do niektórych innych systemów ZKP (np. Groth16), które wymagają nowej ceremonii zaufanej konfiguracji dla każdego obwodu, PLONK stosuje „uniwersalną i aktualizowalną” zaufaną konfigurację. Oznacza to, że po początkowej konfiguracji ten sam klucz dowodzenia może być użyty dla dowolnego obwodu, o ile jego rozmiar (liczba bramek) nie przekracza określonego maksimum. To drastycznie upraszcza rozwój i wdrażanie nowych prywatnych inteligentnych kontraktów, ponieważ deweloperzy nie muszą organizować ani uczestniczyć w nowych ceremoniach.
• Skrócony czas generowania dowodu: PLONK zazwyczaj oferuje szybsze czasy generowania dowodów w porównaniu do niektórych poprzednich systemów, co jest kluczowe dla zmniejszenia nakładów obliczeniowych przy generowaniu dowodów dla dużych partii transakcji. Szybsze generowanie dowodów przekłada się na szybszą finalizację transakcji i bardziej responsywne doświadczenie użytkownika.
• Mniejsze rozmiary dowodów: Dowody PLONK są stosunkowo kompaktowe, co oznacza, że do sieci głównej Ethereum trzeba przesyłać mniej danych. Przyczynia się to do niższych kosztów transakcji w L1 i zwiększonej skalowalności.
• Przyjazność dla rekurencji: Choć nie jest używany bezpośrednio dla każdej pojedynczej transakcji, PLONK dobrze nadaje się do rekurencyjnych ZKP. Oznacza to, że jeden ZKP może udowodnić ważność innego ZKP, umożliwiając wysoce wydajną agregację dowodów – technikę krytyczną dla zwijania tysięcy transakcji w jeden dowód L1. Architektura Aztec opiera się na tej rekurencyjnej agregacji dowodów.

Przyjmując PLONK, Aztec zapewnia, że jego infrastruktura prywatności jest zbudowana na najnowocześniejszych fundamentach kryptograficznych, które są zarówno solidne, jak i wydajne, zdolne do obsługi wymagań prywatnej sieci L2 o wysokiej przepustowości.

Noir: Uniwersalny język z obsługą ZK

Budowanie obwodów dowodów z wiedzą zerową jest notorycznie skomplikowane i wymaga głębokiej wiedzy kryptograficznej oraz precyzyjnego zrozumienia ograniczeń matematycznych. Aby zaradzić tej barierie wejścia, Aztec Network opracowało i udostępniło jako open-source Noir, język dziedzinowy (DSL) zaprojektowany specjalnie do pisania programów z obsługą ZK.

Znaczenie Noir dla Aztec i szerszego ekosystemu ZK jest nie do przecenienia:

• Abstrakcja przyjazna deweloperom: Noir maskuje znaczną część leżącej u podstaw ZKP złożoności kryptograficznej. Programiści mogą pisać programy w składni, która jest znajoma i intuicyjna, podobna do Rusta lub innych nowoczesnych języków, bez konieczności ręcznego definiowania obwodów arytmetycznych czy rozumienia każdego zawiłego szczegółu systemu dowodzenia.
• Kompilator do obwodów ZK: Noir działa jako język wysokiego poziomu, który kompiluje się do obwodów arytmetycznych – reprezentacji niskiego poziomu zrozumiałej dla systemów ZKP, takich jak PLONK. Oznacza to, że deweloperzy mogą zdefiniować logikę dla swoich prywatnych dApps, a Noir zajmie się tłumaczeniem na formę, która może być udowodniona w wiedzy zerowej.
• Uniwersalny język ZK: Choć początkowo opracowany dla Aztec, Noir został zaprojektowany jako język uniwersalny, co oznacza, że może być używany do generowania obwodów dla różnych backendów ZKP poza PLONK. To pozycjonuje Noir jako fundamentalne narzędzie dla rozwoju ZKP w całej branży.
• Umożliwienie prywatnych inteligentnych kontraktów: Dzięki Noir deweloperzy mogą definiować logikę dla prywatnych inteligentnych kontraktów w Aztec. Te „funkcje prywatne” mogą wykonywać obliczenia na zaszyfrowanych danych, generować dowody poprawnego wykonania i aktualizować prywatny stan, a wszystko to bez ujawniania wrażliwych danych wejściowych czy obliczeń pośrednich.
• Zintegrowana prywatność: Noir pozwala deweloperom łatwo określić, które części ich programu powinny być prywatne (wejścia, zmienne pośrednie), a które wyjścia mogą być publiczne, oferując precyzyjną kontrolę nad poufnością.

Noir odgrywa kluczową rolę w umacnianiu pozycji deweloperów budujących wyrafinowane prywatne zdecentralizowane aplikacje w Aztec. Przekształca on zniechęcające zadanie tworzenia ZKP w bardziej dostępne wyzwanie programistyczne, przyspieszając w ten sposób wzrost i innowacyjność w ekosystemie Aztec i przesuwając granice tego, co jest możliwe w obszarze prywatnych obliczeń.

Przegląd architektury Aztec Network

Aztec Network działa jako wyrafinowany system L2, skrupulatnie zaprojektowany w celu zapewnienia prywatności i skalowalności przy jednoczesnym zachowaniu silnego powiązania z siecią główną Ethereum. Jego architektura składa się z kilku kluczowych komponentów, które współpracują ze sobą, aby ułatwić prywatne transakcje i wykonywanie inteligentnych kontraktów.

Stan prywatny i stan publiczny

Fundamentalną koncepcją w Aztec jest wyraźne rozróżnienie między stanem prywatnym a stanem publicznym.

• Stan prywatny: Odnosi się do wszystkich poufnych informacji w Aztec, takich jak salda użytkowników, kwoty transakcji i wewnętrzne zmienne inteligentnych kontraktów. Dane te są szyfrowane za pomocą kluczy użytkowników i przechowywane w sposób czytelny tylko dla właściciela lub upoważnionych stron. Integralność i spójność tego prywatnego stanu są gwarantowane przez dowody z wiedzą zerową, które poświadczają prawidłowe przejścia bez ujawniania danych źródłowych.
• Stan publiczny: Chociaż Aztec priorytetyzuje prywatność, potrzebuje również interfejsu publicznego, szczególnie do interakcji z L1 Ethereum. Stan publiczny składa się głównie z korzenia Merkle (Merkle root) drzewa stanu prywatnego, publicznych zmiennych inteligentnych kontraktów (np. podaż tokenów, parametry protokołu) oraz publicznych wejść/wyjść transakcji, jeśli są one wymagane dla konkretnych przypadków użycia (np. interfejs z L1). Kontrakt L1 przechowuje również publiczny rejestr depozytów i wypłat, a także najnowszy ważny korzeń stanu Aztec L2.

Aztec w istocie zarządza prywatnym „skarbcem danych” w L2, podczas gdy Ethereum L1 działa jako niezmienne, publicznie weryfikowalne „pokwitowanie” i „kotwica bezpieczeństwa” dla stanu tego skarbca.

Klient Aztec (Interfejs użytkownika)

Klient Aztec jest głównym interfejsem, za pośrednictwem którego użytkownicy wchodzą w interakcję z siecią. Reprezentuje on portfel użytkownika i lokalne środowisko, w którym inicjowane są operacje chroniące prywatność.

• Zarządzanie kluczami: Klient bezpiecznie zarządza kluczami kryptograficznymi użytkownika, które są niezbędne do szyfrowania i deszyfrowania prywatnych danych oraz do podpisywania transakcji.
• Zaszyfrowane notatki (Notes): Środki i inne prywatne aktywa w Aztec są reprezentowane jako „notatki”. Są to zaszyfrowane struktury danych, które przypisują kwotę, typ aktywa i właściciela. Klient jest odpowiedzialny za generowanie i zarządzanie tymi notatkami.
• Lokalne generowanie ZKP: Gdy użytkownik chce dokonać prywatnej transakcji (np. wysłać tokeny), klient lokalnie generuje mały dowód z wiedzą zerową. Dowód ten poświadcza ważność działania użytkownika (np. posiadanie środków, wystarczające saldo) bez ujawniania wrażliwych szczegółów.
• Konstrukcja transakcji: Klient konstruuje zaszyfrowane dane transakcji i łączy je z lokalnie wygenerowanym ZKP, przygotowując je do przesłania do sieci.

Dostawcy rollupów (Sekwencerzy/Proverzy)

Dostawcy rollupów są kluczowymi operatorami w sieci Aztec. Są odpowiedzialni za agregowanie transakcji użytkowników i generowanie końcowych dowodów z wiedzą zerową, które są przesyłane do Ethereum.

• Zbieranie i porządkowanie transakcji: Dostawcy rollupów zbierają od użytkowników indywidualne, wygenerowane przez klientów prywatne transakcje i dowody. Są odpowiedzialni za porządkowanie tych transakcji w partie.
• Generowanie dowodu partii: Dla każdej partii transakcji dostawca rollupu wykonuje transakcje off-chain, weryfikuje dowody po stronie klienta, a następnie generuje pojedynczy, kompleksowy dowód z wiedzą zerową. Dowód ten kryptograficznie poświadcza ważność wszystkich transakcji w tej partii oraz poprawną aktualizację stanu Aztec L2. Proces ten jest intensywny obliczeniowo i wykorzystuje potężny sprzęt.
• Aktualizacja korzenia stanu: Po pomyślnym wygenerowaniu dowodu partii, dostawca rollupu oblicza nowy korzeń stanu Aztec L2, odzwierciedlający wszystkie zmiany stanu prywatnego z danej partii.
• Przesyłanie do L1: Na koniec dostawca rollupu przesyła wygenerowany dowód partii i nowy korzeń stanu do kontraktu Aztec L1 w sieci głównej Ethereum.
• Decentralizacja: Choć początkowo Aztec może posiadać bardziej scentralizowany zestaw dostawców rollupów, długoterminową wizją jest decentralizacja tej roli w celu zwiększenia odporności na cenzurę i solidności sieci.

Most Aztec / Kontrakt L1

Kontrakt Aztec L1, wdrożony w sieci głównej Ethereum, służy jako krytyczna kotwica łącząca prywatną warstwę L2 Aztec z publiczną i bezpieczną warstwą L1.

• Weryfikacja dowodów: Jego główną funkcją jest weryfikacja dowodów z wiedzą zerową przesyłanych przez dostawców rollupów. Jest to ostateczna kontrola bezpieczeństwa; jeśli dowód jest nieważny, kontrakt L1 go odrzuca, zapobiegając nieuczciwym aktualizacjom stanu w Aztec.
• Zarządzanie korzeniem stanu: Po pomyślnej weryfikacji dowodu, kontrakt L1 aktualizuje kanoniczny korzeń stanu Aztec L2. Ten korzeń stanu jest kryptograficznym zobowiązaniem do całego prywatnego stanu sieci, zapewniając, że integralność L2 jest publicznie weryfikowalna na Ethereum.
• Brama depozytów i wypłat: Kontrakt L1 działa jako most dla aktywów poruszających się między Ethereum a Aztec. Użytkownicy deponują ETH lub tokeny ERC-20 w tym kontrakcie, aby wyemitować (mint) równoważne prywatne tokeny w Aztec. I odwrotnie, środki są uwalniane z tego kontraktu, gdy użytkownicy inicjują wypłaty z Aztec z powrotem do Ethereum.
• Dostępność danych (Data Availability): Chociaż szczegóły transakcji są prywatne, kontrakt L1 zapewnia dostępność danych. Choć nie są to surowe dane transakcyjne, zaszyfrowane wyjścia (jak nowe zaszyfrowane notatki) mogą być przesyłane jako calldata na Ethereum, zapewniając użytkownikom możliwość odtworzenia swojego stanu i interakcji z siecią, nawet jeśli dostawcy rollupów staną się niedostępni. Jest to kluczowy aspekt bezpieczeństwa ZK-Rollupów.

Razem te komponenty architektoniczne tworzą solidne, chroniące prywatność rozwiązanie Warstwy 2, które wykorzystuje bezpieczeństwo Ethereum, umożliwiając jednocześnie tworzenie poufnych i skalowalnych zdecentralizowanych aplikacji.

Przebieg prywatnej transakcji w Aztec

Zrozumienie, jak przebiega typowa transakcja w Aztec, daje jasny obraz działania mechanizmów chroniących prywatność. Proces ten można podzielić na trzy główne etapy: deponowanie środków z Ethereum (L1) do Aztec (L2), przeprowadzanie prywatnych transferów wewnątrz Aztec oraz wypłacanie środków z powrotem do Ethereum.

Deponowanie środków (L1 do L2)

Aby zacząć korzystać z Aztec do prywatnych transakcji, użytkownicy muszą najpierw przenieść swoje aktywa z sieci głównej Ethereum do Warstwy 2 Aztec.

1. Inicjacja depozytu w L1: Użytkownik wysyła ETH lub token ERC-20 do kontraktu Aztec L1 w sieci głównej Ethereum. Jest to standardowa publiczna transakcja Ethereum, co oznacza, że nadawca, odbiorca (kontrakt Aztec L1) i kwota są widoczne w L1.
2. Kontrakt L1 przetwarza depozyt: Kontrakt Aztec L1 odbiera depozyt i rejestruje go. Następnie komunikuje to zdarzenie sieci Aztec L2.
3. Emisja zaszyfrowanej notatki w L2: W Warstwie 2 Aztec dla użytkownika „emitowana” (mintowana) jest równoważna kwota prywatnych środków. Środki te są reprezentowane jako zaszyfrowana „notatka” (note) w kliencie Aztec użytkownika. Notatka ta zawiera typ aktywa, kwotę i klucz publiczny właściciela – wszystko zaszyfrowane tak, aby tylko prawowity właściciel mógł ją odczytać i wydać. Od tego momentu środki istnieją prywatnie wewnątrz Aztec.

Przeprowadzanie prywatnego transferu (L2 do L2)

Gdy środki znajdą się w Aztec L2, użytkownicy mogą dokonywać prywatnych transakcji między sobą. To tutaj kluczowe funkcje prywatności Aztec pokazują swoją siłę.

1. Użytkownik inicjuje prywatną transakcję: Nadawca decyduje się przelać określoną liczbę tokenów do odbiorcy. Używa swojego klienta Aztec, aby zainicjować tę transakcję, określając klucz publiczny odbiorcy i kwotę. Wszystkie te informacje pozostają zaszyfrowane lokalnie.
2. Konsumpcja i tworzenie lokalnych notatek: Klient nadawcy wewnętrznie identyfikuje istniejące zaszyfrowane notatki, które pokrywają kwotę transferu. Notatki te są „wydawane” lub „konsumowane”. Następnie generowane są nowe zaszyfrowane notatki: jedna dla odbiorcy na kwotę przelewu i potencjalnie kolejna notatka z „resztą” dla nadawcy, jeśli skonsumowane notatki przewyższały kwotę transferu.
3. Generowanie ZKP po stronie klienta: Klient nadawcy generuje dowód z wiedzą zerową. Dowód ten kryptograficznie poświadcza kilka faktów bez ujawniania jakichkolwiek wrażliwych informacji:
   • Nadawca był prawowitym właścicielem notatek, które próbuje wydać.
   • Suma skonsumowanych notatek równa się sumie nowych notatek (kwota przelewu + reszta).
   • Transakcja jest zgodna ze wszystkimi zasadami protokołu Aztec (np. brak podwójnego wydatkowania, kwoty dodatnie).
   • Dowód ten potwierdza ważność wewnętrznego przejścia stanu bez ujawniania tego, kto co wysyła do kogo.
4. Przesłanie transakcji do dostawcy rollupu: Zaszyfrowane dane transakcji (w tym nowe zaszyfrowane notatki) oraz wygenerowany przez klienta ZKP są przesyłane do dostawcy rollupu Aztec (sekwencera).
5. Agregacja i dowód partii dostawcy rollupu: Dostawca rollupu zbiera wiele takich prywatnych transakcji od różnych użytkowników, łączy je w partię, a następnie generuje jeden, nadrzędny dowód z wiedzą zerową dla całej partii. Ten dowód partii rekurencyjnie agreguje poszczególne dowody po stronie klienta i potwierdza ważność wszystkich przejść stanu w partii.
6. Przesłanie do L1 i aktualizacja stanu: Dostawca rollupu przesyła ten pojedynczy dowód partii i odpowiadający mu nowy korzeń stanu do kontraktu Aztec L1 na Ethereum.
7. Weryfikacja w L1 i finalizacja: Kontrakt Aztec L1 weryfikuje dowód partii. Jeśli jest on ważny, kontrakt L1 aktualizuje kanoniczny korzeń stanu Aztec L2. W tym momencie transakcja jest uważana za sfinalizowaną i niezmienną, dziedzicząc bezpieczeństwo Ethereum.
8. Aktualizacja klienta odbiorcy: Klient Aztec odbiorcy, monitorując aktualizacje korzenia stanu L1 i odpowiednie zaszyfrowane dane, może następnie odszyfrować nowo otrzymaną notatkę za pomocą swojego klucza prywatnego, dzięki czemu środki stają się widoczne w jego prywatnym saldzie.

Wypłacanie środków (L2 do L1)

Użytkownicy mogą w dowolnym momencie wypłacić swoje prywatne środki z Aztec L2 z powrotem na swój publiczny adres L1 Ethereum.

1. Inicjacja wypłaty: Użytkownik żąda wypłaty za pomocą swojego klienta Aztec, określając kwotę i swój adres L1 Ethereum.
2. ZKP po stronie klienta dla wypłaty: Klient identyfikuje i „pali” (konsumuje) niezbędne prywatne notatki w L2. Następnie generuje dowód z wiedzą zerową, który wykazuje:
   • Użytkownik był prawowitym właścicielem palonych notatek.
   • Wypłacana kwota odpowiada spalanym notatkom.
   • Wypłata jest zgodna z zasadami Aztec.
   • Co ważne, dowód ten nie ujawnia konkretnych notatek ani ich historii.
3. Przesłanie do dostawcy rollupu: To żądanie wypłaty wraz z powiązanym ZKP jest wysyłane do dostawcy rollupu.
4. Dostawca rollupu przetwarza wypłatę: Dostawca rollupu włącza tę wypłatę do partii transakcji i generuje nowy dowód partii, który odzwierciedla spalenie prywatnych notatek w L2.
5. Weryfikacja w L1 i zwolnienie środków: Dowód partii i zaktualizowany korzeń stanu są przesyłane do kontraktu Aztec L1. Po pomyślnej weryfikacji kontrakt L1 uwalnia odpowiednią kwotę ETH lub tokenów ERC-20 bezpośrednio na wskazany przez użytkownika adres L1 Ethereum.

Ten misterny taniec szyfrowania, generowania ZKP, agregacji off-chain i weryfikacji on-chain zapewnia, że choć przejścia stanów są publicznie weryfikowalne, treść tych przejść – kto, co i ile – pozostaje prywatna w całej sieci Aztec.

Korzyści i implikacje architektury prywatności Aztec

Podejście Aztec Network zorientowane na prywatność, zasilane przez dowody z wiedzą zerową, przynosi mnóstwo korzyści i implikacji, które wykraczają poza zwykłą poufność transakcji, potencjalnie zmieniając krajobraz zdecentralizowanych finansów i Web3.

• Zwiększona zamienność (fungybilność): Na transparentnym blockchainie historia każdego tokena jest widoczna. Może to prowadzić do powstania „skażonych” funduszy, w których tokeny zaangażowane w nielegalną działalność trafiają na czarne listy, co wpływa na zamienność (wymienność) wszystkich tokenów. Prywatność Aztec zapewnia, że wszystkie tokeny po przeprowadzeniu prywatnej transakcji stają się od siebie nieodróżnialne. Ten model „domyślnej prywatności” przywraca cyfrowym aktywom prawdziwą zamienność, czyniąc wszystkie jednostki waluty równymi, niezależnie od ich przeszłości.
• Poufność finansowa: Jest to najbardziej bezpośrednia korzyść. Działania finansowe użytkowników – ich salda, kontrahenci i kwoty – są chronione przed widokiem publicznym. Chroni to osoby i organizacje przed inwigilacją finansową, atakami drapieżnymi i niechcianą kontrolą, co jest zgodne z tradycyjnymi oczekiwaniami dotyczącymi prywatności finansowej.
• Adopcja instytucjonalna: Tradycyjne instytucje finansowe, korporacje i podmioty regulowane działają pod rygorystycznymi wymogami dotyczącymi prywatności i zgodności. Publiczny charakter obecnych blockchainów jest dla nich istotną przeszkodą. Zdolność Aztec do ułatwiania prywatnych transakcji i interakcji z inteligentnymi kontraktami może odblokować ogromny, nowy segment kapitału instytucjonalnego i ich udział w DeFi, ponieważ pozwala im zachować poufność w odniesieniu do autorskich strategii, danych klientów i operacji wewnętrznych.
• Poprawa doświadczenia użytkownika (UX): Choć może się to wydawać sprzeczne z intuicją, prywatność może uprościć UX. Domyślnie użytkownicy nie muszą martwić się o ujawnienie wrażliwych informacji. Może to prowadzić do bardziej intuicyjnych i mniej stresujących interakcji z dApps, ponieważ złożoność zarządzania ekspozycją publiczno-prywatną jest w dużej mierze ukryta.
• Wzrost skalowalności: Jako ZK-Rollup, Aztec z natury zapewnia znaczne korzyści w zakresie skalowalności. Dzięki grupowaniu tysięcy transakcji w jedną partię i generowaniu jednego dowodu do weryfikacji na Ethereum, Aztec drastycznie zmniejsza obciążenie obliczeniowe i ślad danych w L1, pozwalając na znacznie wyższą przepustowość transakcji niż samo Ethereum.
• Odporność na cenzurę (częściowa): Chociaż finalizacja transakcji nadal opiera się na sieci głównej Ethereum, prywatność oferowana przez Aztec utrudnia zewnętrznym aktorom identyfikację i celowanie w konkretne transakcje lub użytkowników w celach cenzury. Prywatny charakter transakcji oznacza, że próba zablokowania konkretnych transferów staje się wyzwaniem bez znajomości ich szczegółów.
• Wzmocnienie prywatnych zdecentralizowanych aplikacji (dApps): Aztec umożliwia powstanie całkowicie nowej klasy dApps, które wymagają poufności jako podstawowej funkcji.
  • Poufne DeFi: Prywatne rynki pożyczkowe, handlowe i instrumentów pochodnych, w których pozycje, zlecenia i strategie pozostają tajne aż do momentu rozliczenia.
  • Prywatne głosowanie: Anonimowe zarządzanie on-chain, w którym poszczególne głosy są tajne, ale ogólny wynik jest weryfikowalny.
  • Aukcje z zamkniętymi ofertami: Aukcje, w których oferty pozostają ukryte do czasu zamknięcia aukcji, co zapobiega front-runningowi i manipulacjom strategicznym.
  • Systemy tożsamości i reputacji: Chroniące prywatność rozwiązania tożsamościowe, w których użytkownicy mogą udowodnić swoje atrybuty bez ujawniania danych źródłowych.
  • Rozwiązania dla łańcucha dostaw i przedsiębiorstw: Poufne śledzenie towarów, rozliczenia finansowe między firmami i bezpieczne udostępnianie danych bez narażania wrażliwych informacji biznesowych.

Integrując solidną prywatność na poziomie L2, Aztec Network oferuje przekonującą wizję bardziej sprawiedliwego, wydajnego i zorientowanego na użytkownika zdecentralizowanego internetu, w którym osoby i organizacje mogą korzystać z technologii Web3 bez poświęcania swojego podstawowego prawa do prywatności.

Wyzwania i perspektywy na przyszłość

Choć Aztec Network oferuje przełomowe podejście do prywatności na Ethereum, jego podróży, podobnie jak w przypadku każdej nowoczesnej technologii, towarzyszą specyficzne wyzwania i ciągła ewolucja.

• Złożoność rozwoju ZKP: Pomimo pojawienia się przyjaznych dla deweloperów języków takich jak Noir, podstawowe zasady kryptograficzne dowodów z wiedzą zerową pozostają złożone. Przyciąganie i edukowanie szerokiej rzeszy deweloperów do budowania prywatnych dApps jest ciągłym wysiłkiem. Noir znacznie obniża barierę wejścia, ale opanowanie paradygmatów programowania natywnego dla ZKP wciąż wymaga czasu na naukę.
• Wydajność i koszty: Generowanie dowodów z wiedzą zerową jest intensywne obliczeniowo. Choć PLONK poprawia wydajność, generowanie dowodów na dużą skalę nadal wymaga znacznych zasobów. Może to przekładać się na wyższe koszty operacyjne dla dostawców rollupów, które ostatecznie mogą zostać przeniesione na użytkowników w formie opłat transakcyjnych. Ciągłe badania nad algorytmami ZKP mają na celu optymalizację czasu generowania dowodów i redukcję kosztów.
• Audytowalność i zgodność: Równoważenie absolutnej prywatności z potrzebą audytowalności i zgodności (np. w celach przeciwdziałania praniu pieniędzy lub sprawozdawczości finansowej) jest subtelnym wyzwaniem. Można badać rozwiązania takie jak „programowalna prywatność” lub mechanizmy selektywnego ujawniania informacji, pozwalające użytkownikom opcjonalnie ujawniać konkretne szczegóły transakcji zaufanym audytorom bez upubliczniania wszystkiego.
• Adopcja i edukacja użytkowników: Koncepcja prywatnych transakcji i dowodów z wiedzą zerową może być abstrakcyjna dla wielu użytkowników. Edukowanie szerszej społeczności kryptowalutowej na temat korzyści, modelu bezpieczeństwa i funkcjonalności sieci takich jak Aztec jest kluczowe dla powszechnej adopcji. Uproszczenie interfejsów i doświadczeń użytkownika będzie kluczowe.
• Wzrost ekosystemu: Jak każda sieć L2, Aztec musi pielęgnować tętniący życiem ekosystem dApps, płynność i aktywną bazę użytkowników, aby osiągnąć swój pełny potencjał. Przyciąganie deweloperów oraz zapewnienie solidnych narzędzi i wsparcia mają nadrzędne znaczenie.
• Przyszłe aktualizacje i innowacje: Dziedzina kryptografii wiedzy zerowej ewoluuje błyskawicznie. Aztec będzie musiał stale integrować nowe osiągnięcia, takie jak bardziej wydajne systemy dowodzenia (np. UltraPLONK, Nova), rekurencyjne kompozycje dowodów oraz akceleracja sprzętowa do generowania dowodów, aby utrzymać przewagę konkurencyjną i zwiększyć swoje możliwości.
• Decentralizacja proverów/sekwencerów: Chociaż Aztec dąży do decentralizacji, początkowe fazy sieci L2 często obejmują bardziej scentralizowany zestaw operatorów (sekwencerów/proverów). Przejście w stronę w pełni zdecentralizowanej sieci dostawców rollupów jest krytycznym celem długoterminowym, mającym na celu zwiększenie odporności na cenzurę i solidności sieci.

Mimo tych wyzwań, perspektywy na przyszłość dla Aztec Network i chroniących prywatność sieci L2 są niezwykle obiecujące. W miarę jak rośnie zapotrzebowanie na poufność finansową i ochronę danych w sferze cyfrowej, technologie takie jak Aztec stają się coraz bardziej istotne. Ciągłe innowacje w technologii ZKP, w połączeniu z rosnącym zrozumieniem jej potencjału, pozycjonują Aztec jako fundament do budowy bardziej prywatnego, skalowalnego i inkluzywnego ekosystemu Web3. Jego wkład w umożliwienie nowej generacji poufnych dApps może odblokować przypadki użycia i segmenty użytkowników, które są obecnie nieosiągalne na transparentnych publicznych blockchainach.