Nejnovější zkVM Zde informujeme o pokroku předních vývojářů v ekosystému zkVM, dokumentujeme nedávná významná vydání, technické průlomy a obecné aktualizace. Účinkují: @brevis_zk, @DelphinusLab, Jolt (@a16zcrypto), @ligero_inc, @0xMiden, @NexusLabs, @RiscZero/@boundless_xyz, @SuccinctLabs, @ziskvm a @ProjectZKM. 🔹 Navštivte nás pro další zprávy z celého odvětví 🔹

Brevis 🔹 Bílý papír 🔹 ProverNet @brevis_zk vydal svůj whitepaper pro ProverNet, který popisuje decentralizované tržiště, kde aplikace vyžadují schopnost prokázat ZK a specializovaní prokazovatelé soutěží o její poskytování: Systém využívá pravdivý online mechanismus dvojité aukce, který kombinuje různorodé pracovní zátěže s vhodnými zdroji a zároveň prosazuje kvalitu služeb prostřednictvím ekonomických pobídek. ProverNet představuje token BREV pro platby, staking a správu a brzy je plánována spuštění beta mainnetu se zjednodušenou aukcí. 🔹 Média 🔹 V nedávné epizodě @HouseofZK Radio @no89thkey spoluzakladatel Brevis pokryl, jak tým přešel od svých DeFi počátků k budování ověřitelných výpočtů a téměř v reálném čase prokazování: Mluvil o Pico zkVM, distribuovaném transformátoru Pico Prism používaném pro ověřování @Ethereum bloků, a o tom, jak modulární koprocesorová architektura Brevis podporuje on-chain loajalitu, zjednodušené odměny a integrace CEX/DEX mostů. Celý podcast: 🔹 Dění 🔹 Brevis během @EFDevcon hostil a účastnil se několika klíčových sekcí, které přinesly praktické pohledy na ověřitelné výpočty a posun k off-chain, důkazově založeným modelům provádění: • Brevis vedl ZKONNECT, House of ZK byl spolumoderátorem, se zaměřením na to, jak se zkVM, ZK koprocesory, zkML a zkTLS přesouvají od konceptů k produkci. Program zdůraznil praktické nasazení ověřitelného výpočetního systému, přístupu k datům napříč řetězci a AI inference, spolu s několika hlavními přednáškami a diskusemi, které popisovaly, jak týmy aplikují infrastrukturu ZK na reálné aplikace. • Michael přednesl hlavní projev na Verifying Intelligence 3.0, organizovaném House of ZK a spolumoderovaném Brevisem: Vysvětlil, proč většina blockchainových výpočtů bude migrovat mimo řetězec a bude ověřena pomocí ZKP, přičemž Brevis představuje nekonečnou výpočetní vrstvu, která provádí náročnou logiku mimo řetězec a vrací stručné, ověřitelné výstupy. Přednáška se věnovala Pico zkVM, real-time Ethereum dokazování, modulární architektuře Brevisu a současným integracím pohánějícím inteligentní DeFi, atestací zachovávajícím soukromí a systémům kontinuálních motivací. 🔹 Partnerství 🔹 Nakonec Brevis a @vana představili společný model využití soukromých dat v AI kombinací autentizovaných vstupů s lokálním výpočtem, který neodhaluje žádné surové informace: Brevis zkTLS dokazuje původ dat, zatímco Pico zkVM jej zpracovává na zařízení uživatele. Vana spravuje souhlas a odměny, poskytuje vývojářům ověřené metriky a umožňuje uživatelům zachovat si plnou kontrolu nad svými daty. 🔹 Navštivte nás pro další zprávy z celého odvětví 🔹

Šok (@a16zcrypto) 🔹 Ethproofs Call 🔹 @SuccinctJT, výzkumník ve @a16zcrypto, prezentoval na nedávné výzvě @eth_proofs. Zdůraznil, jak současné zkVM ovládají paměť proverů rozdělením stop na části a rekurzivním agregováním důkazů, což však přidává složitost, riziko chyb a náklady na výkon. Časové razítko - 32:30: Justin dále vysvětlil, jak Jolt chce tento přístup nahradit streamovacím přístupem, který omezuje paměť proverů na několik gigabajtů, bez ohledu na počet cyklů. Dvě z přibližně dvaceti povinných komponent Sumchecku už jsou ve streamování, zbývající práce by měly brzy dokončit. 🔹 Výzkum 🔹 Justin také publikoval článek založený na výsledcích průzkumu zaměřeného na to, jak moderní návrh SNARK dosahuje rychlého dokazování díky soustředění na protokol sum-check: Článek popisuje, proč techniky jako hromadné hodnocení, vyhledávací argumenty, virtuální polynomy a zachování malých hodnot snižují náklady na práci a závazky. Na Jolt jako hlavní případové studii ukazuje, jak využívání opakované výpočetní struktury umožňuje efektivní zkVM a vede k budoucím zlepšením výkonu. 🔹 Navštivte nás pro další zprávy z celého odvětví 🔹

Miden 🔹 Testnet v0.12 🔹 @0xMiden vydal Testnet v0.12, který přinesl zásadní aktualizace v oblasti ochrany soukromí, správy klíčů, zpracování adres a nástrojů pro vývojáře: Verze přidává nový formát adres s podporou šifrování, vrstvu soukromého přenosu poznámek s @Nethermind, ECDSA podepisování prostřednictvím předkompilací a zlepšení zpracování dat v uzlu. Zahrnuje také základní ochranné zábrany pro viditelnost transakčních dat, nový instalátor midenup pro zjednodušené onboarding, dedikovanou devnet pro experimentování a několik vylepšení na úrovni VM pro kompozibilitelnost a ladění. 🔹 Publikace 🔹 Projekt publikoval článek, který vysvětloval, jak se soukromé multisigy stávají proveditelnými díky novému systému nazvanému Private State Management, který byl vyvinut společně s @OpenZeppelin: Článek popisuje, proč tradiční multisigy spoléhají na sdílený veřejný stav, jak model soukromí Midenu komplikuje koordinaci a jak vrstvy synchronizace, koordinace a autentizace PSM udržují soukromé účty v souladu. Uzavírá příklady praktických případů použití a poznamenává, že raný Proof-of-Concept již existuje. 🔹 Dění 🔹 Na @EFDevcon Miden hostil a účastnil se několika akcí, včetně: • The Privacy Salon, akce organizovaná společností Miden, která shromáždila stavitele, výzkumníky a zakladatele pro krátké, nápadově orientované přednášky a otevřené diskuse o soukromí, decentralizovaných systémech a vyvíjejících se průnikách krypta, web3 a tradičních financí. • Verifying Intelligence 3.0, organizovaný @HouseofZK, kde @huitseeker, vedoucí inženýrství v Midenu, hovořil o roli zkVM v zkML, vysvětloval rozdíly mezi dokazováním inference a tréninkem, omezení TEE a jak Midenův design podporuje praktické, vůči nepřátelům odolné scénáře ověřování AI. Časové razítko - 02:50:12: 🔹 Integrace 🔹 Projekt představil dvě nová partnerství, která rozšiřují jeho ekosystém v oblasti ochrany soukromí, onboardingu a infrastruktury, včetně: • @get_para: Integrovaná vestavěná peněženka Para, distribuovaná MPC autentizace pro bezproblémové, ne-custodialní onboarding pro aplikace Miden. Spolupráce přinesla bezheslové přihlášení, okamžité vytváření peněženek a bezproblémové uživatelské toky, čímž slaďovala UX stack Para s kompatibilním modelem ochrany soukromí Miden, aby podporovala soukromé DeFi, fintech, hry a institucionální aplikace založené na realizaci ZK: • @gateway_eth: Spolupracujeme na poskytování infrastruktury na úrovni podniku pro škálovatelnou, na soukromí zaměřenou blockchainovou síť Miden. Partnerství zajišťuje vysokou dostupnost, rychlý přístup k datům a provozní spolehlivost při škálování Midenu, přičemž Gateway provozuje klíčové komponenty jako nativní bridge, provery a block explorer, aby podpořily nasazení architektury edge execution Midenu: 🔹 Navštivte nás pro další zprávy z celého odvětví 🔹

Nexus 🔹 DEX Alpha 🔹 @NexusLabs spustil Alpha verzi své decentralizované perpetuální futures burzy jako součást Testnet III, která nabízí zjednodušenou, necustodiální CLOB platformu postavenou na ověřitelné infrastruktuře: Zpráva se zaměřuje na základní obchodní funkce, zjednodušený onboarding a testovací fondy místo skutečných aktiv. Ačkoliv je rozhraní minimální, základní objednávkový příšek je navržen pro výkon s nízkou latencí a bude se rozšiřovat díky zpětné vazbě vedené komunitou a postupně zaváděným kryptografickým důkazům. 🔹 Stav 🔹 sítě Nexus zveřejnil listopadovou zprávu o síti: Mezi hlavní body patří: • Síť zpracovala 87,198 milionu transakcí, z toho 87,038 milionu dokončených, což ukazuje vysokou spolehlivost a velmi malou mezeru mezi zahájenou a dokončenou činností. • Průchodnost probíhání se během měsíce upravila z 5 810 na 4,16 důkazů za sekundu, což odráží návrat ke stabilnější základní úrovni po říjnovém rychlém nárůstu. • Ověřené smlouvy dosáhly 2,548 milionu, což dokazuje trvalou důvěru vývojářů v prostředí ověřování i přes vyšší latenci a omezenou propustnost. • Transakční poplatky v průměru činily 0,048 NEX, což udržovalo nízké náklady na ověřitelnost a ponechávalo prostor pro rychlé iterace a časté onchain interakce. 🔹 Dění 🔹 Hlavní vědec Nexus se @JensGroth16 připojil k rozhovoru u krbu na akci @HouseofZK Verifying Intelligence během roku @EFDevcon, kde diskutoval o tom, jak se ZKP vyvíjely od raných teoretických prací k dnešním aplikacím v ověřitelné AI: Vymezil zaměření Nexus na kombinaci prokazatelné správnosti s ekonomickou bezpečností a zdůraznil potřebu standardů, vzdělání a širší institucionální důvěry, aby bylo zajištěno, že ověřitelné systémy budou použitelné a široce přijímány. 🔹 Navštivte nás pro další zprávy z celého odvětví 🔹

Risc Zero & Boundless 🔹 Ethproofs Call 🔹 V nedávném @eth_proofs Call #6 @BruestleJeremy, generální ředitel a spoluzakladatel @RiscZero, sdílel, jak tým úspěšně spustil skutečné linuxové jádro uvnitř zkVM po přidání podpory Risc-V S-mode, plného MMU a virtualizované paměti. Časové razítko - 20:30: Ukázka ukázala více běžících procesů a téměř deterministické prostředí vhodné pro širší softwarové stacky. Risс Zero plánuje tento produkt vydat v příštím vydání okruhu, jak bude pokračovat pokrok na proveru. 🔹 Dění 🔹 @boundless_xyz se zúčastnil několika akcí během Devconnect v Buenos Aires, včetně: • Čtenářská sekce k bílé knize organizovaná @HouseofZK ve spolupráci s @WPReadingClub and @invisiblgarden, kde se Boundless, @citrea_xyz, @MinaProtocol a @o1_labs účastnili kulatých stolů o nedávných výzkumných vývojích a vznikajících nápadech v ekosystému Web3 a ZK. • Panel Verifying Intelligence 3.0, kde @reka_eth, ředitel marketingu ve společnosti Boundless, přispěl k diskusi o dokazování lidského přínosu v éře formované AI a robotikou, spolu s řečníky @humpty0x z @OntologyNetwork, @zKsisyfos z @StarkWareLtd, @DacEconomy z @ProjectZKM a @Viggy_117 z @eigencloud. Časové razítko - 00:57:54: 🔹 Navštivte nás pro další zprávy z celého odvětví 🔹

Stručný 🔹 SP1 Hypercube 🔹 @SuccinctLabs uvedl, že nejnovější verze jeho SP1 Hypercube zkVM dokáže dokázat 99,7 % @ethereum L1 bloků za méně než 12 sekund na 16 grafických kartách RTX 5090, čímž prodloužil svůj dřívější milník v reálném čase: Vydání přináší zásadní zlepšení výkonu, formální ověření všech omezení RISC-V, odstranění závislostí na domněnkách o proximity gap a nová bezpečnostní opatření. Hypercube dokončuje audity a bude uvolněn jako open source a prostřednictvím sítě Succinct Prover Network. 🔹 Výzkum 🔹 V nedávné studii @ronrothblum, vedoucího kryptografie ve společnosti Succinct, @benediktbuenz (@EspressoSys), @GiacomoFenzi (@EPFL) a @kleptographic (@NYU_Courant), autoři představují TensorSwitch, téměř optimální schéma polynomických závazků založené na hashu: Řeší dvě hlavní omezení SNARG založených na hashu: dobu proveru a velké velikosti důkazů. Pomocí tenzorových kódů a interaktivních orákulových důkazů dosahuje TensorSwitch závazku a otevírací doby lineární podle velikosti vstupu, sublineárních nákladů na hashování a asymptoticky minimálních ověřovacích dotazů, aniž by se spoléhal na důvěryhodné nastavení nebo skupinovou kryptografii 🔹 C2PA 🔹 Succinct se připojil k @C2PA_org a spolupracuje s dalšími účastníky na vývoji otevřených standardů pro ověřování digitálního obsahu: S rostoucím nárůstem médií generovaných umělou inteligencí projekt zavádí ověřování ZK, aby posílil pracovní postupy pro původ s ochranou soukromí a škálovatelnými atestacemi. Succinct si klade za cíl podporovat jednotné standardy metadat a zlepšovat interoperabilitu napříč platformami. Připojením se k C2PA plánuje projekt přispívat výzkumem a pomáhat s nasazením nástrojů pro autenticitu obsahu v praktických prostředích. 🔹 OP Stručně Lehce 🔹 @Celo aktualizoval svůj Sepolia testnet na OP Succinct Lite prostřednictvím hardforku Jello, čímž se blížil spuštění mainnetu: Začátkem tohoto roku přešlo Celo na Ethereum L2, aby podpořilo reálné platby, a stalo se prvním řetězcem, který přijal OP Succinct Lite s EigenDA v2. 🔹 Navštivte nás pro další zprávy z celého odvětví 🔹

ZKM 🔹 Audit 🔹 ZKM-ův Ziren prochází auditem od @VeridiseInc pomocí své ověřovací platformy Picus: Veridise přizpůsobil Zirenova omezení Plonky3 a provedl analýzy přes @AuditHubDev. Počáteční výsledky potvrdily deterministické chování pro sčítání a odečítání v čipu AddSub. Týmy plánují rozšířit ověřování na celé okruhy a integrovat kontroly do vývojového workflow ZKM. 🔹 Publikace 🔹 @ProjectZKM publikoval článek, který vysvětluje, jak protokol GKR ověřuje výpočty aritmetických obvodů rekurzivním ověřováním konzistence napříč vrstvami obvodů pomocí multivariačního protokolu Sumcheck: Článek vysvětluje strukturu vrstevnatých obvodů, roli multilineárních rozšíření, jak Sumcheck redukuje ověřování na vyhodnocení bodů a jak rekurze končí na vstupní vrstvě. Ukazuje, proč je GKR efektivní pro velké obvody a základem moderních ZK systémů. 🔹 Dění 🔹 ZKM vydal článek o svém působení v @EFDevcon, v němž vynikly: • ZKONNECT by @brevis_zk a House of ZK: ZKM CTO @sd_eigen se připojil k panelu pro ověřování v reálném čase EVM Proven in 10 Seconds, kde diskutoval o GPU akcelerovaných důkazních systémech. • Ověřování inteligence od House of ZK a Brevis: Stephen hovořil o ochraně soukromí založené na ZK v AI pracovních postupech a s @VeridiseInc přezkoumal audit Ziren. Spoluzakladatel @DacEconomy se připojil k panelu AI a práce zaměřenému na ověřování lidského přínosu. • @EtherArgentina Hackathon: ZKM sponzoroval akci se Stephenem jako porotcem a vedoucím vzdělávání @alicelingl mentoringových týmů. • Native BTCFi Summit od @babylonlabs_io a @build_on_bob: diskuse o @Bitcoin sladěném financování a škálování BTC. • StarkConnect by @Starknet: Stephen se zúčastnil sekce o škálování Bitcoinu se Starknetem, @AlpenLabs a @atomiqlabs. • ZK Real World Summit: panel o řetězcích zachovávajících soukromí s @MantaNetwork, @ZKVProtocol a @nillion. • Cultural Vivo by @invisiblgarden: ZKM se vrátil jako sponzor podporující centrum pro stavitele ZK a AI. 🔹 Navštivte nás pro další zprávy z celého odvětví 🔹