Zde informujeme o pokroku předních stavitelů v oblasti zkušební služby ZKonomy, dokumentujeme nedávná významná vydání, technické průlomy a obecné aktualizace 👇

ZkCloud @thezkcloud získala grant od @ethereumfndn na nepřetržité generování ZKP pro @ethereum bloky mainnetu v průběhu 2. čtvrtletí 2025. Všechny důkazy jsou veřejně zveřejněny prostřednictvím @eth_proofs. Cílem je demonstrovat škálovatelnou infrastrukturu pro dokazování v reálném čase. ZkCloud používá cluster s 24 GPU a upravené open-source nástroje s plány na přijetí nejrychlejších dostupných zkVM a snížení latence pro blokové důkazy pod 12 sekund: Kromě toho projekt přidal do své testovací sítě čtyři nové validátory: @kintsugi_tech, @DeSpreadTeam, @CalBlockchain a @AhnLab_ABC. Tyto skupiny přinášejí různorodé silné stránky – od lokalizované infrastruktury a kybernetické bezpečnosti až po výzkum a validační operace. Jejich účast posiluje decentralizované prokazování, protože ZkCloud se přibližuje k Mainnetu a rozšiřuje možnosti ověřování v reálném čase v rámci své sítě: Kromě toho byl ZkCloud jedním z hlavních sponzorů summitu Ethproofs Summitu House of ZK v roce @BerBlockWeek. Vedoucí produktového @NorbertVadas se na akci zúčastnil tří sekcí: 1) Nejprve přednesl keynote, kde hovořil o architektonických a technických překážkách škálování ZK provingu - od optimalizace načítání dat RPC až po řešení neočekávaných odchylek ve složitosti bloku kvůli operačním kódům EVM s neúměrnou režií dokazování: 2) Později se Norbert připojil k @Khovr Ethereum Foundation, @0xAlecJames @NexusLabs, @MayaD09111862 @StarkWareLtd a @alicelingl @HouseofZK, aby diskutovali o tom, jak mohou standardizované benchmarky zkVM být zavádějící při optimalizaci pro úzké metriky, o důležitosti hodnocení výkonu s ohledem na hardware a o potřebě transparentních, vícerozměrných rámců, které odrážejí reálnou pracovní zátěž a budují důvěru v ověřitelné výpočty: 3) Nakonec spolu s @carlo_cretino50 z @0xLita, @DacEconomy z @ProjectZKM, @schmiddominik1 z @0xMiden a Alicí Liu ze společnosti House of ZK prozkoumal vývoj interoperability zkVM a zdůraznil potenciál posunout se za hranice tradičních mostů, roli decentralizovaných poskytovatelů důkazů a význam sdílených standardů pro škálovatelné a bezpečné blockchainové aplikace:

Ingonyama Společnost @Ingo_zk vydala zrychlenou implementaci ML-KEM, protokolu pro zapouzdření klíčů založeného na mřížce, který vybral NIST pro postkvantovou kryptografii. Kód založený na CUDA je open-source pod licencí MIT a dosahuje až o 30 % vyšší propustnosti ve srovnání se současnými implementacemi. ML-KEM podporuje tři úrovně zabezpečení sladěné s Kyber512, Kyber768 a Kyber1024: Kromě toho @BagadSuyash a @yuval_domb společností Ingonyama, @QuangVDao společnosti @CarnegieMellon a @SuccinctJT společnosti @a16zcrypto publikovali článek popisující integraci dvou klíčových optimalizací, které významně urychlují protokol pro kontrolu součtu, základní součást SNARKů. Techniky se zaměřují na vstupy polynomů s malou hodnotou a formy rovnosti-polynomů, což umožňuje 2-4× což dokazuje zkrácení času v Jolt zkVM, s ještě větším zlepšením při omezeném paměťovém režimu. Tyto výsledky přímo řeší úzká místa dokazování v systémech, jako je Spartan v rámci Jolt:

Fermah @fermah_xyz spustila fázi 2 své testovací sítě, která zahrnuje integraci externích uzlů Prover, vylepšování vývojářských nástrojů a spouštění vlastních benchmarků. Fáze je pojmenována po profesoru Amitu Sahaiovi, jehož práce významně formovala základy kryptografie ZK. Fermah poznamenává, že budoucí fáze rozšíří účast mimo současnou infrastrukturní síť, což signalizuje pokračující růst a širší zapojení komunity: Kromě toho @vanishree_rao, zakladatel společnosti Fermah, během @eth_proofs hovoru #2 během hovoru #2 sdílel, že Fermah se integroval s @RiscZero a @openvm_org lokálně generovat důkazy, jejichž cílem je podporovat všechny zkVMs a ty nejúčinnější předložit Ethproofs. Sdílela také návrh nové bezpečnostní definice - zvolená extrahovatelnost důkazů - upozorňující na mezery v současných standardech. [Časové razítko - 02:04:50]:

Cysic @cysic_xyz zavádí ComputeFi, jehož cílem je decentralizovat výpočetní výkon, který je zásadní pro technologie AI i ZK. Platforma umožňuje uživatelům zpeněžit hardware a poskytuje vývojářům cenově dostupný a transparentní přístup k výpočetním zdrojům. Snížením závislosti na centralizovaných poskytovatelích mohou stavitelé inovovat volně, bezpečně a nákladově efektivně – a připravit tak půdu pro širší digitální účast a aplikace zaměřené na soukromí: Kromě toho projekt spustil fázi III: Zapalování své testovací sítě - na základě dřívějších fází, které zavedly systém dvou tokenů, GPU provery a mobilní verifikátory. Ignition je veřejná beta verze, která uživatelům nabízí možnost zapojit se do decentralizovaných výpočtů a získávat odměny na testnetu. Přístup je v současné době pouze pro zvané a mobilní podpora bude brzy k dispozici: A konečně, na nedávném @eth_proofs Call #2 se spoluzakladatel společnosti Cysic @leofanxiong podělil o aktualizace svých vlastních ASIC vytvořených pro ZKP. Čipy podporují klíčová pole ZK a poskytují více než 1,3 milionu Keccak hashů za sekundu. Používají vlastní síť na čipu pro efektivní přeskupování dat a párují hardware s pevnou funkcí s procesory pro flexibilitu. I když jsou stále na FPGA, překonávají typickou propustnost GPU:

Snarkify Během posledního hovoru @eth_proofs @drouyang, spoluzakladatel a generální ředitel společnosti @Snarkify_ZKP, řekl účastníkům, že společnost Snarkify postavila nejrychlejší H2 GPU prover na @Scroll_ZKP mainnetu a překonala 750 MHz v rychlosti emulace RISC-V. Tým přesunul úplné generování tras na GPU, což výrazně zvýšilo propustnost. Jejich produkt, který umožňuje testování v reálném čase pro jakýkoli zkVM, bude uveden na trh do konce června. [Časové razítko - 01:12:30]:

Druh mořské ryby Společnost @MarlinProtocol oznámila, že vývojáři stavějící na @SuiNetwork budou mít neomezený přístup k jejímu výpočetnímu trhu TEE prostřednictvím společnosti Nautilus. Budou si moci vybrat mezi vyhrazenými důvěrnými virtuálními počítači nebo bezserverovým provedením, které se platí v USDC. Nástroje zahrnují podporu Dockeru, správu klíčů a ověření identity: Společnost Marlin navíc oznámila, že její prostředí Trusted Execution Environment nyní podporují vypořádací vrstvu společnosti @cyclenetwork_GO a infrastrukturu likvidity bez mostů, což zvyšuje bezpečné zpracování dat mimo řetězec. Tato aktualizace splňuje požadavky institucí na důvěrnost a zároveň umožňuje vypořádání s vysokou propustností: