Tutaj informujemy o postępach wiodących konstruktorów w Proving Service ZKonomy, dokumentując ostatnie znaczące wydania, przełomy techniczne i ogólne aktualizacje 👇

ZkCloud @thezkcloud otrzymał dotację od @ethereumfndn na ciągłe generowanie ZKP dla bloków głównej sieci @ethereum przez cały II kwartał 2025 roku. Wszystkie dowody są publicznie publikowane za pośrednictwem @eth_proofs. Celem jest wykazanie skalowalnej infrastruktury do dowodzenia w czasie rzeczywistym. ZkCloud wykorzystuje klaster 24-GPU oraz zmodyfikowane narzędzia open-source, z planami przyjęcia najszybszych dostępnych zkVM i zmniejszenia opóźnienia dla dowodów bloków poniżej 12 sekund: Dodatkowo projekt dodał czterech nowych walidatorów do swojej Testnet: @kintsugi_tech, @DeSpreadTeam, @CalBlockchain i @AhnLab_ABC. Grupy te wnoszą różnorodne mocne strony - od zlokalizowanej infrastruktury i cyberbezpieczeństwa po badania i operacje walidatorów. Ich udział wzmacnia zdecentralizowane dowodzenie, gdy ZkCloud zbliża się do Mainnet i zwiększa możliwości dowodzenia w czasie rzeczywistym w swojej sieci: Ponadto ZkCloud był jednym z głównych sponsorów szczytu Ethproofs House of ZK podczas @BerBlockWeek. Szef Produktu @NorbertVadas uczestniczył w trzech sesjach na tym wydarzeniu: 1) Najpierw wygłosił wykład, w którym mówił o architektonicznych i technicznych wąskich gardłach skalowania dowodzenia ZK - od optymalizacji pobierania danych RPC po radzenie sobie z nieoczekiwaną zmiennością w złożoności bloków z powodu opcode'ów EVM z nieproporcjonalnym obciążeniem dowodowym: 2) Później Norbert dołączył do @Khovr z Fundacji Ethereum, @0xAlecJames z @NexusLabs, @MayaD09111862 z @StarkWareLtd i @alicelingl z @HouseofZK, aby omówić, jak znormalizowane benchmarki zkVM mogą wprowadzać w błąd, gdy są optymalizowane pod kątem wąskich metryk, znaczenie oceny wydajności z uwzględnieniem sprzętu oraz potrzebę przejrzystych, wielowymiarowych ram, które odzwierciedlają rzeczywiste obciążenia robocze i budują zaufanie do weryfikowalnych obliczeń: 3) Na koniec, wraz z @carlo_cretino50 z @0xLita, @DacEconomy z @ProjectZKM, @schmiddominik1 z @0xMiden i Alice Liu z House of ZK, zbadał ewolucję interoperacyjności zkVM, podkreślając potencjał do wyjścia poza tradycyjne mosty, rolę zdecentralizowanych dostawców dowodów oraz znaczenie wspólnych standardów dla skalowalnych i bezpiecznych aplikacji blockchain.

Ingonyama @Ingo_zk opublikował przyspieszoną implementację ML-KEM, opartego na siatkach protokołu kapsułkowania kluczy wybranego przez NIST do kryptografii post-kwantowej. Kod oparty na CUDA jest dostępny jako open-source na licencji MIT i osiąga do 30% wyższą przepustowość w porównaniu do obecnych implementacji. ML-KEM wspiera trzy poziomy bezpieczeństwa zgodne z Kyber512, Kyber768 i Kyber1024: Dodatkowo, @BagadSuyash i @yuval_domb z Ingonyamy, @QuangVDao z @CarnegieMellon oraz @SuccinctJT z @a16zcrypto opublikowali artykuł opisujący integrację dwóch kluczowych optymalizacji, które znacznie przyspieszają protokół sum-check, fundamentalny komponent SNARK-ów. Techniki te koncentrują się na małych wartościach wielomianów i formach wielomianów równościowych, umożliwiając redukcję czasu dowodzenia o 2-4× w Jolt zkVM, z jeszcze większymi poprawami w warunkach ograniczonej pamięci. Te wyniki bezpośrednio rozwiązują wąskie gardła dowodzenia w systemach takich jak Spartan w Jolt:

Fermah @fermah_xyz uruchomił Faza 2 swojego testnetu, która obejmuje integrację zewnętrznych Węzłów Prover, poprawę narzędzi dla deweloperów oraz przeprowadzanie niestandardowych benchmarków. Faza ta nosi imię profesora Amita Sahai, którego prace znacząco ukształtowały fundamenty kryptografii ZK. Fermah zauważa, że przyszłe fazy rozszerzą uczestnictwo poza obecny sieć infrastruktury, co sygnalizuje dalszy rozwój i szersze zaangażowanie społeczności: Dodatkowo, @vanishree_rao, założycielka Fermah, podczas @eth_proofs Call #2 podzieliła się informacją, że Fermah zintegrował się z @RiscZero i @openvm_org, aby lokalnie generować dowody, mając na celu wsparcie wszystkich zkVM i przesyłanie najefektywniejszych do Ethproofs. Podzieliła się również propozycją nowej definicji bezpieczeństwa - wybranej ekstrakcji dowodów - podkreślając luki w obecnych standardach. [Czas - 02:04:50]:

Cysic @cysic_xyz wprowadza ComputeFi, mając na celu decentralizację mocy obliczeniowej, co jest kluczowe zarówno dla technologii AI, jak i ZK. Platforma umożliwia użytkownikom monetyzację sprzętu i zapewnia deweloperom przystępny, przejrzysty dostęp do zasobów obliczeniowych. Poprzez zmniejszenie zależności od scentralizowanych dostawców, Cysic twierdzi, że twórcy mogą innowacyjnie działać w sposób wolny, bezpieczny i opłacalny - torując drogę do szerszego uczestnictwa cyfrowego i aplikacji skoncentrowanych na prywatności: Dodatkowo, projekt uruchomił Faza III: Ignition swojego testnetu - budując na wcześniejszych etapach, które wprowadziły system dual-token, GPU provers i mobilnych weryfikatorów. Ignition to publiczna beta, oferująca użytkownikom szansę na uczestnictwo w zdecentralizowanej mocy obliczeniowej i zdobywanie nagród testnetowych. Dostęp jest obecnie tylko na zaproszenia, a wsparcie mobilne wkrótce się pojawi: Na koniec, podczas niedawnego @eth_proofs Call #2, współzałożyciel Cysic @leofanxiong podzielił się aktualizacjami na temat ich niestandardowych ASIC-ów zbudowanych dla ZKP. Chipy wspierają kluczowe obszary ZK i dostarczają ponad 1,3 miliona hashy Keccak na sekundę. Używają niestandardowej sieci na chipie do efektywnego przetwarzania danych i łączą sprzęt o stałej funkcji z CPU dla elastyczności. Choć nadal działają na FPGA, przewyższają typowy przepustowość GPU:

Snarkify Podczas ostatniego spotkania @eth_proofs, @drouyang, współzałożyciel i dyrektor generalny @Snarkify_ZKP, poinformował uczestników, że Snarkify zbudował najszybszy H2 GPU prover na głównym łańcuchu @Scroll_ZKP, osiągając prędkość emulacji RISC-V przekraczającą 750 MHz. Zespół przeniósł pełną generację śladów na GPU, znacznie zwiększając przepustowość. Ich produkt, umożliwiający dowodzenie w czasie rzeczywistym dla dowolnego zkVM, zostanie uruchomiony do końca czerwca. [Timestamp - 01:12:30]:

Marlin @MarlinProtocol ogłosił, że deweloperzy budujący na @SuiNetwork będą mieli nieograniczony dostęp do jego rynku obliczeniowego TEE za pośrednictwem Nautilus. Będą mogli wybierać między dedykowanymi poufnymi VM a wykonaniem bezserwerowym, płatnym w USDC. Narzędzia obejmują wsparcie dla Dockera, zarządzanie kluczami i poświadczenia: Ponadto Marlin ogłosił, że jego Zaufane Środowiska Wykonawcze teraz wspierają warstwę rozliczeniową @cyclenetwork_GO oraz infrastrukturę płynności bezmostowej, co zwiększa bezpieczeństwo przetwarzania danych offchain. Ta aktualizacja spełnia potrzeby instytucjonalnej poufności, jednocześnie umożliwiając rozliczenia o wysokiej przepustowości.