Tutaj raportujemy o postępach wiodących twórców w ekosystemie zkVM, dokumentując ostatnie znaczące wydania, przełomy techniczne i ogólne aktualizacje. Występują: @SuccinctLabs, @ProjectZKM, @NexusLabs, @boundless_xyz/@RiscZero, @brevis_zk, @0xLita, @ziskvm, @ligero_inc i @openvm_org 👇

Succinct 🔹 Tech 🔹 @SuccinctLabs wprowadził SP1-CC, ZK koprocesor dla @ethereum, który pozwala deweloperom na odczyt historycznego stanu blockchaina, przeprowadzanie złożonych obliczeń offchain oraz weryfikację wyników onchain za pomocą jednego dowodu: SP1-CC usuwa ograniczenia gazowe i ograniczenia EVM bez zmiany kodu L1, umożliwiając nowe przypadki użycia w zarządzaniu, DeFi, airdropach i ujawnieniach bezpieczeństwa. Zespoły takie jak @eigenlayer już go używają, aby obniżyć koszty i zwiększyć elastyczność. 🔹 Partnerstwa 🔹 Projekt niedawno ogłosił szereg nowych partnerstw, w tym: 🔹 @Snarkify_ZKP: Dołączył do Sieci Dowodów Succinct jako wczesny zespół dowodzący, wprowadzając niestandardowy silnik dowodzenia SP1-SRT zoptymalizowany do generacji ZKP w czasie rzeczywistym na GPU i FPGA, pomagając zmniejszyć opóźnienia i koszty w całej sieci: 🔹 @a41_allforone: Zintegrowany z siecią jako wielonodowy dowodzący z harmonogramem, który koordynuje setki GPU, wraz z backendem zoptymalizowanym pod kątem Pythona, umożliwiającym wysokowydajne dowodzenie dla aplikacji takich jak gry, AI i rollupy: 🔹 @cysic_xyz: Dodany do sieci jako przyspieszony sprzętowo dowodzący, uruchamiający duże klastry GPU i przygotowujący się do uruchomienia niestandardowego ASIC dla obciążeń zkVM, wnosząc głęboką wiedzę z ZPRIZE i infrastruktury ZK klasy produkcyjnej: 🔹 @worldcoin: Współpracował, aby udowodnić wszystkie transakcje na World Chain przy użyciu OP Succinct, przeprowadzając 7-dniowy eksperyment na mainnecie z równoległą weryfikacją dowodów i demonstrując szybkie, kosztowo efektywne dowody ważności dla jednego z największych łańcuchów OP Stack: 🔹 @Mantle_Official: Wspierał przejście sieci Mantle do OP Succinct na testnecie, zgodnie z ich planem działania, aby zwiększyć bezpieczeństwo i decentralizację za pomocą dowodów błędów zasilanych ZK i modułowej infrastruktury: 🔹 @zan_team: Dołączył jako wielonodowy dowodzący zasilany przez @AntChainOpenLab, wnosząc przyspieszoną sprzętowo infrastrukturę i optymalizację SP1 opartą na FPGA, która poprawia szybkość dowodzenia o 20x w porównaniu do CPU, pomagając obniżyć koszty sieci i torując drogę dla ZK ASIC: 🔹 Media 🔹 Na koniec, współzałożyciel Succinct @pumatheuma dołączył do @alicelingl w niedawnym 'Succinct Special', gdzie omówili najnowsze osiągnięcia Succinct i wszystko związane z ZK:

ZKM 🔹 Technologia 🔹 @ProjectZKM wprowadził Ziren - przyspieszone przez GPU zkVM z rozproszonym dowodzeniem, wcześniej znane jako zkMIPS: Zbudowany na efektywnej architekturze MIPS32r2, Ziren już zasila aplikacje w rzeczywistym świecie, takie jak @GOATRollup, i znacząco skraca czas generowania dowodów w porównaniu do wcześniejszych wersji. 🔹 Badania 🔹 ZKM opublikował wiele nowych artykułów podkreślających najnowsze osiągnięcia w swoim stosie dowodów ZK: 🔹 Pierwszy artykuł wprowadził ulepszenia, które pojawiły się wraz z rebrandingiem Ziren - przyspieszenie GPU, rozproszone dowodzenie i różne optymalizacje ograniczeń: 🔹 Drugi wyjaśnił Ziren System Framework, obejmując pełny proces od kodu wysokiego poziomu do dowodów on-chain. Szczegółowo opisuje, jak ślady wykonania oparte na MIPS są przekształcane w STARKi, rekurencyjnie agregowane z PLONK i finalizowane w Groth16 dla efektywnej weryfikacji: 🔹 Trzeci artykuł zakończył trylogię serii ISA ZKM, koncentrując się na tym, dlaczego ZKM wybrał MIPS32r2 zamiast RISC-V. Podkreśla stabilność obwodów i długowieczność dowodów, wyjaśniając, jak MIPS oferuje stałe, niezmienne ISA, zapewniając, że dowody pozostają ważne przez lata bez potrzeby przeróbek: 🔹 W najnowszym artykule ZKM wprowadził Jagged Polynomial Commitments - metodę obsługi nieregularnych macierzy w zkVM. Dzięki wykorzystaniu konwersji z rzadkich na gęste i protokołów sumcheck, umożliwia skalowalne, efektywne zobowiązania w dynamicznych strukturach dowodów: 🔹 Media 🔹 Na koniec, @DacEconomy (główny naukowiec ZKM) i @sd_eigen (główny współpracownik w sieci GOAT) dołączyli do @alicelingl, aby omówić, jak zkVM ZKM zasila Bitcoin L2 sieci GOAT: Zbadali infrastrukturę Entangled Rollup, generowanie dowodów w czasie rzeczywistym i agregowane, oraz zastępowanie zaufania walidatorów matematyczną pewnością - podkreślając architekturę i model bezpieczeństwa stojący za podejściem GOAT do skalowalności Bitcoina.

RISC Zero/Boundless 🔹 Technologia 🔹 @boundless_xyz od @RiscZero uruchomiło swoją wersję beta Mainnet na @base, wprowadzając ZKP do rzeczywistego użytku: 'Znak' został wprowadzony - otwartoźródłowy klient ZK, który kompresuje finalność @ethereum w pojedynczy dowód, umożliwiając weryfikację międzyłańcuchową. Oddzielając wykonanie od konsensusu, Boundless pozwala na skalowalne obliczenia bez poświęcania bezpieczeństwa. Dowodzenie jest bezzezwoleniowe, z rzeczywistymi zachętami i wsparciem aplikacji na żywo już działającym na Base. 🔹 Partnerstwa 🔹 Znak od Boundless jest teraz wspierany przez @eigenlayer, @unichain, @LineaBuild, @wormhole, @Optimism, @StellarOrg, @RiscZero, @build_on_bob, @anoma, @alt_layer, @conduitxyz, @taikoxyz, @Alchemy, @hyli_org, @celestia, @AragonProject i @union_build. Razem te sieci umożliwiają, aby ZK oparte na finalności @ethereum stało się uniwersalnym, weryfikowalnym prymitywem dla aplikacji międzyłańcuchowych - bez oracle, mostów czy założeń zaufania:

Podczas najnowszego Ethproofs Call, @succinct_li z @brevis_zk podzielił się aktualizacjami na temat wewnętrznego zkVM Brevis, Pico: (Znacznik czasu 11:06) Prover oparty na GPU Brevis, Pico v1.0, oferuje do 20× szybsze wyniki w porównaniu do wersji CPU i przewyższa wiodących konkurentów o około 25-27%. Zespół planuje wydanie Pico v2.0 do końca sierpnia, dążąc do zapewnienia dowodzenia w czasie rzeczywistym. Zamierzają również udostępnić kod GPU jako open-source po zakończeniu wsparcia dla wielu GPU i wielu maszyn w nadchodzących miesiącach.

Lita @0xLita wprowadziła Valida 0.10.0, dużą aktualizację swojego stosu zkVM: Wydanie dodaje Kontynuacje dla częściowych dowodów wykonania, interfejs API WASM po stronie klienta dla przeglądarkowych dowodów zk oraz ulepszone wsparcie dla narzędzi Rust/LLVM. Zawiera również obrazy Dockera dla architektur x86 i ARM, wczesne wsparcie dla Secp256k1 i memcpy oraz Reva, wykonawcę bloków @ethereum.

OpenVM @openvm_org wydał wersję 1.3.0, wprowadzając odnowione biblioteki gości, które wyraźnie oddzielają niskopoziomowe powiązania od wysokopoziomowych interfejsów API: Aktualizacja zawiera nową bibliotekę Rust do weryfikacji dowodów STARK, ulepszenia CLI wspierające opcje Cargo oraz poprawki dla kryptograficznych paczek, takich jak k256 i p256. Nie wprowadzono zmian w obwodach. Programiści są zachęcani do migracji do nowych bibliotek.