Sklep DApp | Centrum Web3 dla wydarzeń i gier

Popularne tematy

Bobbin Threadbare

Blockchainy, dowody wiedzy zerowej, maszyny wirtualne. praca nad @0xMiden

Absolutnie możliwe jest pisanie protokołów DeFi (i nie tylko) opierając się na ZKP dla prywatności - dokładnie to zostało zaprojektowane w Miden. Głównym trikiem jest przemyślenie, jak działa stan i zamiast używać monolitycznego stanu, dostosować Model Aktora (coś, co jest używane w systemach rozproszonych od dziesięcioleci). Wtedy możemy mieć prywatnych aktorów, którzy mogą wchodzić w interakcje z publicznymi aktorami, którzy kontrolują wspólny stan. Możemy też mieć półprywatnych aktorów (stan jest znany pewnemu zestawowi użytkowników, ale nie całej sieci) i ci również mogą wchodzić w interakcje zarówno z całkowicie prywatnymi aktorami, jak i publicznymi aktorami. To bardzo potężny model, który obejmuje dużą liczbę przypadków użycia DeFi - od anonimowych AMM i CLBO, po prywatne zgodne stablecoiny. I jeszcze jedna fajna rzecz: aby napisać te protokoły DeFi, nie potrzebujemy inżynierów, którzy rozumieją ZKP - można napisać wszystko w Rust. Lubię FHE - naprawdę fajna technologia i umożliwia kilka przypadków użycia, których ZKP nie mogą zrealizować (tj. posiadanie naprawdę prywatnego wspólnego stanu) - ale wiąże się to również z ogromnym obciążeniem wydajnościowym dla sieci. Piękno ZKP polega na tym, że faktycznie zmniejszają obciążenie sieci - transakcja udowodniona lokalnie nie musi być wykonywana przez sieć (weryfikacja dowodów ZK jest bardzo tania) - nazywamy ten koncept blockchainem Edge. Podczas gdy w przypadku FHE każda transakcja staje się 100x (lub 1000x) droższa dla sieci. ASIC-y na pewno pomogą tutaj, ale oznacza to również, że każdy węzeł walidujący będzie musiał uruchomić te ASIC-y, w przeciwnym razie nie będą w stanie nadążyć za siecią. A wymaganie, aby każdy węzeł miał ASIC, jest trochę jak wymaganie, aby każdy węzeł Bitcoin był górnikiem.

6/ b) jest najbardziej subtelny i najtrudniejszy do zrozumienia. To tutaj ZK zawodzi. Aby zrozumieć dlaczego, rozważmy najprostsza aplikację prywatności: zcash (bez defi). Kiedy przesyłasz transakcję zshieldowanego zcash, produkujesz dowód, który mówi, w przybliżeniu: "Wysyłam monety w taki sposób, że mój bilans pozostaje >0 po tej transakcji." Cóż, jeśli zgrupujesz 1000 z tych transakcji, a następnie spojrzysz na stan łańcucha jako outsider, co wiesz o stanie? Nic. Teraz wyobraź sobie próbę zrobienia DeFi na tym. Jak możesz robić DeFi, jeśli twoja transakcja dosłownie nie może widzieć ani wchodzić w interakcje z aktywami innych? Kilka zespołów próbowało rozwiązać ten problem w ciągu ostatniej dekady, w tym Aztec, Aleo i prawdopodobnie jeszcze kilka, które nie mogę sobie przypomnieć w tej chwili. Fundamentalnym wyzwaniem, z którym muszą się zmierzyć te zespoły, jest wyzwanie opisane powyżej. W zasadzie, jak zaprojektować ZKP, aby umożliwić selektywne ujawnianie informacji światu zewnętrznemu (np. ile zabezpieczenia wspiera pożyczkę). Teraz wyobraź sobie, że jesteś deweloperem DeFi. Musisz nie tylko zaprojektować swój protokół DeFi, musisz to zrobić 1) w częściowo ograniczony sposób, i 2) musisz zrozumieć, jak działają ZKP. Kto chce być deweloperem budującym system DeFi, który ma 9 lub 10 cyfr w nim, z wszystkimi tymi dodatkowymi ryzykami? To przerażające sprawy. Wiele zespołów zk DeFi pracuje nad tym, aby uczynić te rzeczy bardziej zrozumiałymi, ale podstawowa rzeczywistość jest po prostu niezwykle trudna do zniesienia. Ponadto wymaga to odbudowy każdego elementu DeFi od podstaw. Fundamentalnym wyzwaniem jest to, że DeFi, jak je obecnie znamy, *wymaga zdolności do rozumienia globalnie współdzielonego stanu.* Być może istnieje sposób, aby odbudować DeFi od podstaw z selektywnym rozumowaniem, ale jestem niezwykle sceptyczny wobec tego twierdzenia. A udowodnienie tego twierdzenia światu w sposób, który wszyscy inni uwierzą, będzie dziesięcioletnim przedsięwzięciem, biorąc pod uwagę, jak wiele ryzyka technicznego wiąże się z dziesiątkami specjalnych obwodów zk. Czym więc jest FHE? FHE pozwala na obliczenia na zaszyfrowanych danych. To było uważane za święty graal kryptografii przez dziesięciolecia. Myślenie o prywatnym DeFi z FHE jako główną konstrukcją kryptograficzną jest w rzeczywistości dość proste. Myślisz o tym tak, jakby to było przezroczyste! Po prostu, że magicznie, wszystko nie jest przezroczyste, ale nadal możesz na tym obliczać. Tak, to magia.

Najlepsze

Ranking

Ulubione