Beta mainnet wygląda dobrze. - Konkurencja wśród proverów jest niesamowicie wysoka - Proving jest praktycznie darmowy na Boundless - Wszyscy proverzy to podmioty trzecie (Zespół Boundless nie zajmuje się żadnym provingiem, całkowicie zdecentralizowane) Boundless jest legitne.

wpadłem na pomysł, aby to napisać, oglądając wystąpienie Jigsaw na SBC (), które opiera się na podejściu z wykorzystaniem coSNARK do prywatnych inteligentnych kontraktów.

Jak zbudować prywatne inteligentne kontrakty za pomocą : - zkSNARK: Stan to zobowiązania, pojedynczy dowodzący oblicza na danych w postaci jawnej i publikuje zkSNARK, brak globalnego odszyfrowania lub kontroli dostępu. - coSNARK: Stan to zobowiązania, obliczenia są realizowane poza łańcuchem za pomocą MPC, więc żaden pojedynczy serwer nie widzi pełnego świadectwa, nadal brak globalnego odszyfrowania lub kontroli dostępu. - TEE: Stan to szyfrogram na zewnątrz i dane w postaci jawnej wewnątrz enklawy, obliczenia i polityka odszyfrowania są realizowane wewnątrz zdalnie poświadczonej enklawy, polegając na integralności sprzętu/poświadczenia. - FHE: Stan to szyfrogram pod wspólnym kluczem FHE, każdy może homomorficznie oceniać z weryfikacją na łańcuchu, odszyfrowanie jest kontrolowane przez politykę przez komitet progowy (ryzyko zmowy). - iO: Stan to szyfrogram, a obliczenia są homomorficzne, publiczny zniekształcony dekryptor egzekwuje politykę odszyfrowania bez aktywnego posiadacza klucza (brak ryzyka zmowy).

Niesamowite widzieć tak wiele głównych L2 na etapie 1. Następnym celem, do którego powinniśmy dążyć, są, moim zdaniem, szybkie (<1h) czasy wypłat, umożliwione przez systemy dowodów ważności (znane również jako ZK). Uważam to za jeszcze ważniejsze niż etap 2. Szybkie czasy wypłat są ważne, ponieważ czekanie tygodnia na wypłatę jest po prostu zbyt długie dla ludzi, a nawet w przypadku mostów opartych na intencjach (np. ERC-7683), koszt kapitału staje się zbyt wysoki, jeśli dostawca płynności musi czekać tydzień. Tworzy to duże zachęty do korzystania z rozwiązań z nieakceptowalnymi założeniami zaufania (np. multisigi/MPC), które podważają cały sens posiadania L2 zamiast całkowicie niezależnych L1. Jeśli możemy skrócić czasy wypłat do poniżej 1h w krótkim okresie, a do 12s w średnim okresie, to możemy jeszcze bardziej umocnić Ethereum L1 jako domyślne miejsce do emisji aktywów i ekonomiczne centrum ekosystemu Ethereum. Aby to osiągnąć, musimy odejść od optymistycznych systemów dowodów, które z natury wymagają czekania wielu dni na wypłatę. Historycznie, technologia dowodów ZK była niedojrzała i kosztowna, co sprawiło, że dowody optymistyczne były mądrym i bezpiecznym wyborem. Ale ostatnio to się szybko zmienia. Jest to doskonałe miejsce do śledzenia postępów dowodów ZK-EVM, które szybko się poprawiają. Formalna weryfikacja dowodów ZK również postępuje. Na początku tego roku zaproponowałem strategię systemu dowodów 2 z 3 ZK + OP + TEE, która łączy bezpieczeństwo, szybkość i dojrzałość: * 2 z 3 systemów (ZK, OP) są bezzaufowe, więc żaden pojedynczy aktor (w tym producent TEE lub atakujący z kanału bocznego) nie może złamać systemu dowodów, naruszając założenie zaufania * 2 z 3 systemów (ZK, TEE) są natychmiastowe, więc otrzymujesz szybkie wypłaty w normalnym przypadku * 2 z 3 systemów (TEE, OP) były w produkcji w różnych kontekstach przez lata To jest jedno podejście; być może ludzie zdecydują się na ZK + ZK + OP jako rozstrzyganie, lub ZK + ZK + rada bezpieczeństwa jako rozstrzyganie. Nie mam silnych opinii w tej kwestii, zależy mi na podstawowym celu, którym jest bycie szybkim (w normalnym przypadku) i bezpiecznym. Z takimi systemami dowodów jedynym pozostałym wąskim gardłem do szybkiego rozliczenia staje się koszt gazu związany z przesyłaniem dowodów na łańcuch. Dlatego w krótkim okresie mówię raz na godzinę: jeśli spróbujesz przesłać dowód ZK o wartości gazu 500k+ (lub STARK o wartości 5m gazu) znacznie częściej, dodaje to wysokie dodatkowe koszty. W dłuższym okresie możemy to rozwiązać za pomocą agregacji: N dowodów z N rollupów (plus transakcje od użytkowników protokołów prywatności) można zastąpić jednym dowodem, który udowadnia ważność N dowodów. Staje się to opłacalne do przesyłania raz na slot, umożliwiając końcowy cel: niemal natychmiastowy ruch aktywów między L2 przez L1. Pracujmy razem, aby to zrealizować.

zdobądź dziewczyny @chippedsocial 💕

Zdecentralizowane sekwencjonowanie to rozwiązanie dla odporności na cenzurę i minimalizacji zaufania. Nie oznacza to koniecznie lepszej dostępności. Rollupy są w stanie utrzymać niezwykle wysoką dostępność, ponieważ mają scentralizowaną infrastrukturę. Zdecentralizowane sekwencjonowanie (wśród nieufnych stron) wiąże się z ciągłym ryzykiem awarii sekwencera. Chociaż sieć może szybciej odzyskać się po tych awariach (<33 min w porównaniu do @base wczoraj), szansa na wystąpienie awarii jest wyższa. Istnieje wiele korzyści z zdecentralizowanego sekwencjonowania, ale nie jest to złoty środek na wszystkie nasze problemy.

jeśli budujesz z EigenCloud, wciąż jesteś na wczesnym etapie 🫡

Krab Rust przed Depot: ☠️ Po podłączeniu do Depot Cache + szybsze biegacze: 🦀💨 Pełny przewodnik w 🧵

W 2023 roku Arbitrum był łańcuchem FIFO i nie miał priorytetowego porządku gazu. Dzięki swojemu scentralizowanemu sekwencerowi, Arbitrum był nieodróżnialny od scentralizowanej giełdy.

Jak prawie zniszczyłem Arbitrum - i jak to mnie zradikalizowało 🧵