Najświeższe informacje o zkVM W tym raporcie przedstawiamy postępy wiodących twórców w ekosystemie zkVM, dokumentując ostatnie znaczące wydania, przełomy techniczne i ogólne aktualizacje. Występują: @brevis_zk, @DelphinusLab, Jolt (@a16zcrypto), @ligero_inc, @0xMiden, @NexusLabs, @RiscZero/@boundless_xyz, @SuccinctLabs, @ziskvm, oraz @ProjectZKM. 🔹 Odwiedź aby uzyskać więcej raportów z całej branży 🔹

Brevis 🔹 Biała Księga ProverNet 🔹 @brevis_zk opublikowało swoją białą księgę ProverNet, w której opisano zdecentralizowany rynek, na którym aplikacje żądają zdolności do dowodzenia ZK, a wyspecjalizowani dowodzący konkurują, aby je dostarczyć: System wykorzystuje prawdziwy mechanizm podwójnej aukcji online, aby dopasować heterogeniczne obciążenia do odpowiednich zasobów, jednocześnie egzekwując jakość usług poprzez zachęty ekonomiczne. ProverNet wprowadza token BREV do płatności, stakowania i zarządzania, a beta wersja mainnetu z uproszczoną aukcją ma zostać uruchomiona wkrótce. 🔹 Media 🔹 W ostatnim odcinku @HouseofZK Radio, @no89thkey, współzałożyciel Brevis, omówił, jak zespół przeszedł od swoich korzeni DeFi do budowania weryfikowalnego obliczenia i dowodzenia w niemal rzeczywistym czasie: Mówił o Pico zkVM, rozproszonym dowodzącym Pico Prism używanym do dowodzenia bloków @Ethereum oraz o tym, jak architektura modułowego koprocesora Brevis wspiera lojalność on-chain, uproszczone nagrody i integracje mostów CEX/DEX. Pełny podcast: 🔹 Wydarzenia 🔹 Brevis zorganizował i wziął udział w kilku kluczowych sesjach podczas @EFDevcon, przynosząc praktyczne perspektywy na temat weryfikowalnego obliczenia i przejścia w kierunku modeli wykonawczych opartych na dowodach off-chain: • Brevis zorganizował ZKONNECT, z House of ZK jako współgospodarzem, koncentrując się na tym, jak zkVM, koprocesory ZK, zkML i zkTLS przechodzą od koncepcji do produkcji. Program podkreślił praktyczne wdrożenia weryfikowalnego obliczenia, dostęp do danych między łańcuchami oraz wnioskowanie AI, wraz z kilkoma wykładami i dyskusjami, które przedstawiały, jak zespoły stosują infrastrukturę ZK w rzeczywistych aplikacjach. • Michael wygłosił wykład na Verifying Intelligence 3.0, zorganizowany przez House of ZK i współgospodarzony przez Brevis: Przedstawił, dlaczego większość obliczeń blockchainowych przeniesie się off-chain i będzie weryfikowana za pomocą ZKP, przedstawiając Brevis jako nieskończoną warstwę obliczeniową, która wykonuje ciężką logikę off-chain i zwraca zwięzłe, weryfikowalne wyniki. Wykład obejmował Pico zkVM, dowodzenie Ethereum w czasie rzeczywistym, modułową architekturę Brevis oraz obecne integracje wspierające inteligentne DeFi, zachowujące prywatność atestacje i ciągłe systemy zachęt. 🔹 Partnerstwa 🔹 Na koniec, Brevis i @vana zaprezentowali wspólny model wykorzystania danych prywatnych w AI, łącząc uwierzytelnione dane wejściowe z lokalnym obliczeniem, które nie ujawnia żadnych surowych informacji: Brevis zkTLS dowodzi pochodzenia danych, podczas gdy Pico zkVM przetwarza je na urządzeniu użytkownika. Vana zarządza zgodą i nagrodami, dając deweloperom zweryfikowane metryki i pozwalając użytkownikom zachować pełną kontrolę nad swoimi danymi. 🔹 Odwiedź nas, aby uzyskać więcej raportów z całej branży 🔹

Jolt (@a16zcrypto) 🔹 Ethproofs Call 🔹 @SuccinctJT, badacz w @a16zcrypto, zaprezentował na niedawnym spotkaniu @eth_proofs. Podkreślił, jak obecne zkVM kontrolują pamięć proverską, dzieląc ślady na kawałki i rekurencyjnie agregując dowody, ale to wprowadza złożoność, ryzyko błędów i koszty wydajności. Znacznik czasu - 32:30: Justin wyjaśnił, jak Jolt ma na celu zastąpienie tego podejściem strumieniowym, które ogranicza pamięć proverską do kilku gigabajtów, niezależnie od liczby cykli. Dwa z około dwudziestu wymaganych komponentów Sumcheck już działają w trybie strumieniowym, a pozostała praca ma zostać zakończona wkrótce. 🔹 Badania 🔹 Justin opublikował również artykuł oparty na wynikach ankiety koncentrującej się na tym, jak nowoczesny projekt SNARK osiąga szybkie dowodzenie, koncentrując się na protokole sum-check: Artykuł opisuje, dlaczego techniki takie jak ocena wsadowa, argumenty wyszukiwania, wirtualne wielomiany i zachowanie małych wartości redukują pracę proverską i koszty zobowiązań. Używając Jolt jako głównego studium przypadku, pokazuje, jak wykorzystanie powtarzającej się struktury obliczeniowej umożliwia efektywne zkVM i kieruje przyszłymi poprawami wydajności. 🔹 Odwiedź po więcej raportów z całej branży 🔹

Miden 🔹 Testnet v0.12 🔹 @0xMiden wydał swoją Testnet v0.12, wprowadzając istotne aktualizacje w zakresie przepływów prywatności, zarządzania kluczami, obsługi adresów i narzędzi dla deweloperów: Wersja ta dodaje nowy format adresu z obsługą szyfrowania, prywatną warstwę transportu notatek we współpracy z @Nethermind, podpisy ECDSA za pomocą prekompilacji oraz ulepszenia w zakresie obsługi danych w węźle. Zawiera również podstawowe zabezpieczenia dla widoczności danych transakcji, nowy instalator midenup dla uproszczonego wprowadzania, dedykowaną devnet do eksperymentów oraz wiele ulepszeń na poziomie VM dla kompozycji i debugowania. 🔹 Publikacje 🔹 Projekt opublikował artykuł wyjaśniający, jak prywatne multisigi stają się możliwe dzięki nowemu systemowi zwanym Zarządzaniem Stanem Prywatnym, współtworzonym z @OpenZeppelin: Artykuł opisuje, dlaczego tradycyjne multisigi opierają się na współdzielonym stanie publicznym, jak model prywatności Miden komplikuje koordynację oraz jak warstwy synchronizacji, koordynacji i uwierzytelniania PSM utrzymują prywatne konta w zgodzie. Kończy się przykładami praktycznych zastosowań i informacją, że wczesny dowód koncepcji jest już dostępny. 🔹 Wydarzenia 🔹 Na @EFDevcon, Miden zorganizował i wziął udział w kilku wydarzeniach, w tym: • Salon Prywatności, wydarzenie zorganizowane przez Miden, które zgromadziło twórców, badaczy i założycieli na krótkie, pomysłowe wystąpienia i otwarte dyskusje na temat prywatności, systemów zdecentralizowanych oraz ewoluujących interakcji między kryptowalutami, web3 a tradycyjnymi finansami. • Weryfikacja Inteligencji 3.0, zorganizowana przez @HouseofZK, gdzie @huitseeker, lider inżynierii w Miden, mówił o roli zkVM w zkML, wyjaśniając różnice między dowodzeniem wnioskowania a treningiem, ograniczeniami TEEs oraz jak projekt Miden wspiera praktyczne, odporne na ataki scenariusze weryfikacji AI. Znacznik czasu - 02:50:12: 🔹 Integracje 🔹 Projekt wprowadził dwa nowe partnerstwa, które rozszerzają jego ekosystem w zakresie prywatności, wprowadzania i infrastruktury, w tym: • @get_para: Zintegrowano portfel Para i rozproszoną autoryzację MPC, aby umożliwić bezproblemowe, niekustodialne wprowadzanie dla aplikacji Miden. Współpraca wprowadziła logowanie bez hasła, natychmiastowe tworzenie portfela i bezproblemowe przepływy użytkowników, dostosowując UX Para do zgodnego modelu prywatności Miden, aby wspierać prywatne DeFi, fintech, gry i aplikacje instytucjonalne oparte na wykonaniu ZK: • @gateway_eth: Partnerstwo z w celu zapewnienia infrastruktury klasy enterprise dla skalowalnej, skoncentrowanej na prywatności sieci blockchain Miden. Partnerstwo zapewnia wysoką dostępność, szybki dostęp do danych i niezawodność operacyjną w miarę skalowania Miden, przy czym Gateway obsługuje kluczowe komponenty, takie jak natywny most, proverzy i eksplorator bloków, aby wspierać wdrożenie architektury edge-execution Miden: 🔹 Odwiedź po więcej raportów z branży 🔹

Nexus 🔹 DEX Alpha 🔹 @NexusLabs uruchomił wersję Alpha swojej zdecentralizowanej giełdy kontraktów terminowych, jako część Testnet III, oferując uproszczoną, niepowierniczą platformę CLOB opartą na weryfikowalnej infrastrukturze: Wydanie koncentruje się na podstawowych funkcjach handlowych, uproszczonym procesie rejestracji oraz funduszach testowych zamiast prawdziwych aktywów. Chociaż interfejs jest minimalny, podstawowa księga zamówień została zaprojektowana z myślą o niskiej latencji i będzie rozwijana na podstawie opinii społeczności oraz stopniowo wprowadzanych dowodów kryptograficznych. 🔹 Status Sieci 🔹 Nexus opublikował swój raport sieciowy za listopad: Najważniejsze punkty to: • Sieć przetworzyła 87,198 miliona transakcji, z czego 87,038 miliona zostało zakończonych, co pokazuje wysoką niezawodność i bardzo małą różnicę między zainicjowaną a zakończoną aktywnością. • Przepustowość dowodów dostosowano z 5,810 do 4.16 dowodów na sekundę w ciągu miesiąca, co odzwierciedla powrót do bardziej stabilnej podstawy dowodowej po szybkim wzroście w październiku. • Zweryfikowane kontrakty osiągnęły 2,548 miliona, co pokazuje ciągłe zaufanie deweloperów do środowiska dowodowego pomimo wyższej latencji i moderowanej przepustowości. • Opłaty transakcyjne wyniosły średnio 0.048 NEX, co utrzymuje niskie koszty weryfikowalności i pozostawia miejsce na szybkie iteracje oraz częste interakcje on-chain. 🔹 Wydarzenia 🔹 Główny naukowiec Nexus @JensGroth16 wziął udział w rozmowie przy kominku na wydarzeniu Verifying Intelligence organizowanym przez @HouseofZK podczas @EFDevcon, omawiając, jak ZKP ewoluowały od wczesnych prac teoretycznych do dzisiejszych zastosowań w weryfikowalnej AI: Podkreślił, że Nexus koncentruje się na łączeniu udowodnionej poprawności z bezpieczeństwem ekonomicznym i podkreślił potrzebę standardów, edukacji oraz szerszego zaufania instytucjonalnego, aby zapewnić, że weryfikowalne systemy staną się użyteczne i szeroko przyjęte. 🔹 Odwiedź, aby uzyskać więcej raportów z całej branży 🔹

Risc Zero & Boundless 🔹 Ethproofs Call 🔹 Podczas ostatniego @eth_proofs Call #6, @BruestleJeremy, CEO i współzałożyciel @RiscZero, podzielił się tym, jak zespół pomyślnie uruchomił prawdziwe jądro Linuxa w środku zkVM po dodaniu wsparcia dla trybu S Risc-V, pełnego MMU i zwirtualizowanej pamięci. Znacznik czasu - 20:30: Demo pokazało wiele procesów działających w niemal deterministycznym środowisku odpowiednim dla szerszych stosów oprogramowania. Risс Zero planuje dostarczyć to w następnej wersji obwodu, gdy postępy w proverze będą kontynuowane. 🔹 Wydarzenia 🔹 @boundless_xyz wzięło udział w kilku wydarzeniach podczas Devconnect w Buenos Aires, w tym: • Sesja czytania białej księgi zorganizowana przez @HouseofZK we współpracy z @WPReadingClub i @invisiblgarden, gdzie Boundless, @citrea_xyz, @MinaProtocol i @o1_labs uczestniczyli w dyskusjach okrągłego stołu na temat ostatnich osiągnięć badawczych i pojawiających się pomysłów w ekosystemie Web3 i ZK. • Panel Verifying Intelligence 3.0, w którym @reka_eth, dyrektor marketingu w Boundless, wziął udział w dyskusji na temat udowadniania ludzkiego wkładu w erze kształtowanej przez AI i robotykę, obok prelegentów @humpty0x z @OntologyNetwork, @zKsisyfos z @StarkWareLtd, @DacEconomy z @ProjectZKM i @Viggy_117 z @eigencloud. Znacznik czasu - 00:57:54: 🔹 Odwiedź, aby uzyskać więcej raportów z całej branży 🔹

Succinct 🔹 SP1 Hypercube 🔹 @SuccinctLabs poinformowało, że najnowsza wersja jego SP1 Hypercube zkVM może udowodnić 99,7% bloków @ethereum L1 w mniej niż 12 sekund na 16 GPU RTX 5090, rozszerzając wcześniejszy kamień milowy w zakresie udowadniania w czasie rzeczywistym: Wydanie wprowadza znaczące poprawki wydajności, formalną weryfikację wszystkich ograniczeń RISC-V, usunięcie zależności od hipotezy o lukach w bliskości oraz nowe środki bezpieczeństwa. Hypercube kończy audyty i zostanie wydany jako open source oraz przez Sieć Prover Succinct. 🔹 Badania 🔹 W niedawnym badaniu przeprowadzonym przez @ronrothblum, szefa kryptografii w Succinct, @benediktbuenz (@EspressoSys), @GiacomoFenzi (@EPFL) i @kleptographic (@NYU_Courant), autorzy przedstawiają TensorSwitch, niemal optymalny schemat zobowiązań wielomianowych oparty na haszach: Rozwiązuje on dwa główne ograniczenia w haszowanych SNARGach: czas udowadniania i duże rozmiary dowodów. Używając kodów tensorowych i interaktywnych dowodów oraklowych, TensorSwitch osiąga czasy zobowiązania i otwarcia liniowe w rozmiarze wejściowym, subliniowe koszty haszowania oraz asymptotycznie minimalne zapytania weryfikatora, bez polegania na zaufanym przygotowaniu lub kryptografii opartej na grupach. 🔹 C2PA 🔹 Succinct dołączył do @C2PA_org, współpracując z innymi uczestnikami rozwijającymi otwarte standardy weryfikacji treści cyfrowych: W miarę jak media generowane przez AI rosną, projekt wprowadza weryfikację ZK, aby wzmocnić przepływy pracy dotyczące pochodzenia z prywatnością i skalowalnymi poświadczeniami. Succinct ma na celu wsparcie zjednoczonych standardów metadanych i poprawę interoperacyjności między platformami. Dołączając do C2PA, projekt planuje przyczynić się do badań i pomóc w wdrażaniu narzędzi do autentyczności treści w praktycznych ustawieniach. 🔹 OP Succinct Lite 🔹 @Celo zaktualizowało swoją sieć testową Sepolia do OP Succinct Lite poprzez hardfork Jello, zbliżając się do uruchomienia mainnetu: Na początku tego roku Celo przeszło na Ethereum L2, aby wspierać płatności w świecie rzeczywistym i stało się pierwszym łańcuchem, który przyjął OP Succinct Lite z EigenDA v2. 🔹 Odwiedź, aby uzyskać więcej raportów z całej branży 🔹

ZKM 🔹 Audyt 🔹 Ziren ZKM przechodzi audyt przez @VeridiseInc, korzystając z platformy weryfikacyjnej Picus: Veridise dostosował ograniczenia Plonky3 Ziren i przeprowadził analizy za pośrednictwem @AuditHubDev. Wstępne wyniki potwierdziły deterministyczne zachowanie dla dodawania i odejmowania w chipie AddSub. Zespoły planują rozszerzyć weryfikację na pełne obwody i zintegrować kontrole w procesie rozwoju ZKM. 🔹 Publikacje 🔹 @ProjectZKM opublikował artykuł wyjaśniający, jak protokół GKR weryfikuje obliczenia obwodów arytmetycznych, sprawdzając spójność w warstwach obwodu za pomocą protokołu Sumcheck: Artykuł wyjaśnia strukturę warstwowego obwodu, rolę rozszerzeń wieloliniowych, jak Sumcheck redukuje weryfikację do ocen punktowych oraz jak rekurencja kończy się na warstwie wejściowej. Pokazuje, dlaczego GKR jest wydajny dla dużych obwodów i fundamentalny w nowoczesnych systemach ZK. 🔹 Wydarzenia 🔹 ZKM opublikował artykuł o swoim czasie na @EFDevcon, z najważniejszymi punktami: • ZKONNECT przez @brevis_zk i House of ZK: CTO ZKM @sd_eigen dołączył do panelu na żywo dotyczącego dowodzenia EVM Proved in 10 Seconds, omawiając systemy dowodowe przyspieszone przez GPU. • Verifying Intelligence przez House of ZK i Brevis: Stephen mówił o prywatności opartej na ZK w przepływach pracy AI i omówił audyt Ziren z @VeridiseInc. Współzałożyciel @DacEconomy dołączył do panelu AI i Praca na temat weryfikacji ludzkich wkładów. • @EtherArgentina Hackathon: ZKM sponsorował wydarzenie, a Stephen był sędzią, a lider edukacji @alicelingl mentorował zespoły. • Native BTCFi Summit przez @babylonlabs_io i @build_on_bob: dyskusje na temat finansów zgodnych z @Bitcoin i skalowania BTC. • StarkConnect przez @Starknet: Stephen uczestniczył w sesji na temat skalowania Bitcoina z Starknet, @AlpenLabs i @atomiqlabs. • ZK Real World Summit: panel na temat łańcuchów zachowujących prywatność z @MantaNetwork, @ZKVProtocol i @nillion. • Cultural Vivo przez @invisiblgarden: ZKM powrócił jako sponsor wspierający hub dla twórców ZK i AI. 🔹 Odwiedź, aby uzyskać więcej raportów z całej branży 🔹