Zasady podstawowe mają znaczenie.

Najlepszą częścią bycia CEO StarkWare jest słuchanie i bycie poprawianym przez członków mojego zespołu, którzy są mądrzejsi i bardziej kompetentni ode mnie.

Czas na opowieść -- Najszybszy prover na zachodzie i jak to się zaczęło. Kiedy założyliśmy StarkWare w 2018 roku, postanowiliśmy zbudować pierwszy prover STARK o jakości produkcyjnej. W tamtym czasie ograniczającym czynnikiem były koszty gazu na Ethereum. Najprościej i najtaniej było zbudować prover używając ogromnych liczb (256-bitowych). Doprowadziło to do prostego proversa STARK, o którym wiedzieliśmy, że można go uczynić bardziej wydajnym poprzez zmniejszenie rozmiaru pola. Przechodząc do 2023 roku. Cały świat jest już przekonany, że zkSTARKi to gra końcowa, a wiele zespołów zaczyna budować systemy używające małych pól, co prowadzi do szybszych proverów. Latem 2023 roku rozpoczęliśmy projekt, aby wybrać technologię dowodzenia nowej generacji. Zbadaliśmy wszystkie istniejące technologie dowodzenia -- SNARKi, rzeczy oparte na składaniu, GKR i inne. Bardzo szybko zdaliśmy sobie sprawę, że dominującym czynnikiem wydajności jest rozmiar skończonego pola, co ma znaczenie, a najlepsze są liczby pierwsze 32-bitowe. Dlaczego? (1) wszystkie nowoczesne architektury sprzętowe są zoptymalizowane pod te liczby, (2) dlaczego liczby pierwsze (a nie binarne?) ponieważ GPU nie obsługują dobrze mnożenia binarnego. OK, więc zostają nam technologie dowodzenia takie jak GKR i STARK, nad liczbami pierwszymi 32b. Teraz stanęliśmy przed problemem. Najlepsze pole do szybkich obliczeń to M31, ale brakuje mu struktury grupowej, aby mieć szybkie STARKi. Na szczęście, genialna trójka -- Ulrich Habock (wtedy w Polygon, teraz na pełen etat w StarkWare), David Levit i Shahar Papini wymyśliła sposób, aby użyć "grupy okręgowej" nad M31, aby uzyskać optymalne rozwiązanie. Nowy zespół zaczął wdrażać matematykę. W najbardziej efektywny sposób, jaki mogliśmy wymyślić, testując i weryfikując wydajność, a także budując to w sposób wystarczająco modułowy, aby inne zespoły mogły z tego korzystać. W tym samym czasie infrastruktura ograniczeń AIR została odbudowana od podstaw, opierając się na naszym wcześniejszym doświadczeniu, aby doprowadzić do czegoś, co jest solidne i wydajne. A teraz, Stwo wchodzi do produkcji w Starknet, redukując koszty i opóźnienia. Wyniki testów, które przeprowadziliśmy, są niesamowite. W tym samym czasie wiele zewnętrznych zespołów korzysta z tego, aby budować swoją infrastrukturę. Myślę, że będzie to złoty standard dowodzenia, otwarty prover, i wszyscy są zaproszeni do korzystania z niego. KONIEC.

Dlaczego jestem optymistycznie nastawiony do Starknet? Najlepsza technologia. Prawda, TVL i wolumen DeFi mogą wzrosnąć. Ale myślę długoterminowo. Ekosystem się rozwija, czekając na kolejny impuls, a ten impuls nadejdzie. A kiedy to się stanie, użytkownicy i deweloperzy odkryją, że najlepsza technologia oznacza najlepsze doświadczenia użytkownika, najlepsze bezpieczeństwo, najlepsze funkcje, a te nie zostaną ograniczone, gdy aktywność wzrośnie. Dlaczego to najlepsza technologia? - Język smart kontraktów nowej generacji i najlepszy w historii. Tak, Cairo jest znacznie lepsze niż Solidity czy Rust Solany. - Smart konta nowej generacji (dzięki natywnej abstrakcji konta) -> lepsze doświadczenie użytkownika dla końcowych użytkowników, wraz z najwyższej klasy bezpieczeństwem samodzielnym. - Największa moc obliczeniowa w łańcuchu -> giełdy Perp, deweloperzy gier i inne aplikacje wymagające dużej mocy obliczeniowej mogą uruchamiać złożoną logikę, której nie znajdziesz nigdzie indziej w blockchainie. - Najbezpieczniejsze połączenie z Bitcoinem i Ethereum. - Jedyny L2, który aktywnie zmierza w kierunku pełnej, prawdziwej decentralizacji. - Największa redundancja, jeśli chodzi o sekwencery i dowody. Najbezpieczniejsza, najszybsza i najbardziej solidna technologia dowodzenia dostępna. Więc myślę długoterminowo i jestem bardzo optymistycznie nastawiony do Starknet. Ty też powinieneś.

Starknet wchodzi w tryb Grinta i jestem trochę zaskoczony (smutny?), że nikt nie podnosi tego na wyższy poziom z Margagrintas🍹🍹🍹

Jak prawie zdobyłem sześcian tungstenowy od @ercwl Twierdziłem (i nadal twierdzę), że Dowody oszustwa nie działają. Oznacza to, że obietnica, że "każdy może zainicjować proces arbitrażowy", nie może być spełniona. Kilka lat temu Eric zapytał mnie podczas kolacji: "czy chciałbyś postawić sześcian tungstenowy na to?" Odpowiedziałem: "Tak! Zakładam się, że w ciągu następnych 3 lat żaden system oparty na Dowodach oszustwa nie zaoferuje prawdziwej decentralizacji sekwencera i walidatora oraz nie pozwoli na kaucję sporu poniżej 100 dolarów, dostępnej dla przeciętnego użytkownika." Prosta przyczyna, dla której systemy oparte na Dowodach oszustwa nie mogą zaoferować kaucji sporu w tej cenie, polega na tym, że otwiera to drzwi dla trolli/DoS systemu. Nigdy formalnie nie spisaliśmy tego, a minęło już sporo czasu, ale wciąż chętnie podejmę ten zakład dzisiaj, z nim lub z kimkolwiek, kto podejmie wyzwanie.

Opinia: L2 powinny być zdecentralizowane. *Zdecentralizowanie ma znaczenie w L2 tak samo, jak w L1.* Starknet opublikował swoją mapę drogową decentralizacji jakiś czas temu i krok po kroku ją realizuje. Nie widzę żadnego innego zespołu L2 z realnymi planami lub pracą w tym kierunku.

Trzeba kochać te bitwy "tylko ETH" "tylko BTC". Po takim tygodniu nie mają one sensu.

Na koniec tego tygodnia kryptowalut, oto moje podsumowanie: (TL;DR - budowane są mosty między dwoma światami)

Istnieje silny element sprzeczności między TradFi a DeFi: TradFi komunikuje "ufaj nam", "w nas ufasz". DeFi mówi "nie ufaj nikomu poza sobą", "w matematyce ufamy". Interesujące jest obserwowanie, jak te dwa światy zbliżają się do siebie.