ZK ukryty sufit w bitwie mocy i przekształcenie architektury Zerobase
Ostatnio głęboko analizowałem hardware'owe ograniczenia związane z generowaniem dowodów ZK, szczerze mówiąc, terminologia marketingowa w tej dziedzinie obecnie przewyższa rzeczywisty wzrost wydajności produkcji. Wszyscy krzyczą ZK-wszystko, ale gdy trzeba wcisnąć złożoną logikę w obwód, opóźnienia w generowaniu dowodów często sprawiają, że chce się uderzyć głową w ścianę. Wyciągnąłem całą podstawową logikę Zerobase i porównałem ją z RISC Zero, odkrywając, że filozofia projektowania obu rozwiązań poszła w całkowicie różne ekstremalne kierunki. RISC Zero podąża drogą dużego i wszechstronnego zkVM, próbując objąć wszystko poprzez uniwersalność, co obniża próg wejścia dla deweloperów, ale w specyficznych, wysokowydajnych scenariuszach obliczeniowych, straty wydajności związane z konwersją zestawów instrukcji są zdumiewająco duże, jakby ciągnąć Boeinga 747 za pomocą traktora.
W porównaniu, projekt Zerobase, który bardziej skłania się ku modularnej sieci dowodów, trafia w kluczowy ból. Gdy testowałem jego efektywność agregacji dowodów, odkryłem, że jego harmonogramowanie obliczeń równoległych jest znacznie bardziej agresywne, niż się spodziewałem. Ta agresywność nie objawia się jedynie w prostym gromadzeniu mocy obliczeniowej, ale w rekonstrukcji zależności na poziomie obwodu. Wiele istniejących projektów ZK, gdy zajmują się dowodami rekurencyjnymi, często napotyka na wzrost kosztów weryfikacji na skutek nadmiarowości przejść stanów, podczas gdy w logice implementacji Zerobase dostrzegłem niezwykle spokojną sztukę „przycinania”, która eliminowała wiele niepotrzebnych pośrednich ograniczeń, utrzymując rozmiar dowodu w niezwykle idealnym zakresie.
Jednak wczesna dokumentacja API Zerobase została napisana w sposób dość skomplikowany; jeśli zrozumienie prymitywów matematycznych nie jest wystarczająco głębokie, łatwo jest podczas konfiguracji parametrów skakać w górę i w dół. Ale to właśnie pokazuje, że nie jest to projekt marketingowy, który działa tylko na powierzchni. Obecna narracja w branży przeszła z „czy można zrealizować ZK” do „jak szybko można wygenerować dowody”, a jeśli koszty nie mogą być niższe niż w przypadku tradycyjnych scentralizowanych klastrów obliczeniowych, zdecentralizowane sieci dowodów zawsze będą jedynie zabawkami w laboratoriach. Zauważyłem, że Zerobase wykazuje niską latencję podczas generowania dużych dowodów, co rzeczywiście ma potencjał, aby przełamać monopol obecnych konkurentów, takich jak Succinct, w określonych dziedzinach. To uczucie ukończenia weryfikacji stanu w milisekundach jest prawdziwą siłą napędową ZK, która prowadzi do eksplozji zastosowań technologii, a nie do tych nieuchwytnych obietnic w białych księgach.