ZkVM senaste Här rapporterar vi om framstegen hos de ledande byggarna i zkVM-ekosystemet, och dokumenterar nyligen betydande lanseringar, tekniska genombrott och allmänna uppdateringar. Med: @brevis_zk, @DelphinusLab, Jolt (@a16zcrypto), @ligero_inc, @0xMiden, @NexusLabs, @RiscZero/@boundless_xyz, @SuccinctLabs, @ziskvm och @ProjectZKM. 🔹 Besök för fler rapporter från hela branschen 🔹

Brevis 🔹 ProverNet-vitbok 🔹 @brevis_zk släppte sitt ProverNet-whitepaper som beskriver en decentraliserad marknadsplats där applikationer begär ZK-beviskapacitet och specialiserade provare tävlar om att leverera den: Systemet använder en sanningsenlig online-dubbelauktionsmekanism för att matcha heterogena arbetsbelastningar med lämpliga resurser samtidigt som servicekvalitet upprätthålls genom ekonomiska incitament. ProverNet introducerar BREV-token för betalningar, staking och styrning, och ett beta-mainnet med en förenklad auktion är planerat att lanseras snart. 🔹 Media 🔹 I ett nyligen avsnitt av @HouseofZK Radio beskrev @no89thkey, medgrundare av Brevis, hur teamet gick från sina DeFi-ursprung till att bygga verifierbar beräkning och nästan realtidsbevis: Han pratade om Pico zkVM, Pico Prism-distribuerade provaren som används för @Ethereum blockprovning, och hur Brevis modulära koprocessorarkitektur stödjer lojalitet på kedjan, strömlinjeformade belöningar och CEX/DEX-bryggintegrationer. Fullständig podcast: 🔹 Evenemang 🔹 Brevis ledde och deltog i flera nyckelsessioner under @EFDevcon, där han gav praktiska perspektiv på verifierbar beräkning och övergången till off-chain, bevisbaserade exekveringsmodeller: • Brevis hade ZKONNECT, med House of ZK som medvärd, med fokus på hur zkVMs, ZK-koprocessorer, zkML och zkTLS går från koncept till produktion. Programmet lyfte fram praktiska implementationer av verifierbar beräkning, cross-chain dataåtkomst och AI-inferens, tillsammans med flera huvudtalande föredrag och diskussioner som beskriver hur team tillämpar ZK-infrastruktur på verkliga applikationer. • Michael, höll ett huvudanförande på Verifying Intelligence 3.0, organiserat av House of ZK och medvärd av Brevis: Han redogjorde för varför de flesta blockkedjeberäkningar migrerar off-chain och verifieras via ZKP:er, och presenterade Brevis som det oändliga beräkningslagret som utför tung logik off-chain och returnerar koncisa, verifierbara resultat. Föredraget handlade om Pico zkVM, realtidsbevisning av Ethereum, Brevis modulära arkitektur och nuvarande integrationer som driver intelligent DeFi, integritetsbevarande intyg och kontinuerliga incitamentssystem. 🔹 Partnerskap 🔹 Slutligen presenterade Brevis och @vana en gemensam modell för att använda privat data i AI genom att kombinera autentiserade indata med lokal beräkning som inte avslöjar någon rå information: Brevis zkTLS bevisar dataursprunget, medan Pico zkVM bearbetar det på användarens enhet. Vana hanterar samtycke och belöningar, ger utvecklare verifierade mätvärden och låter användare behålla full kontroll över sina data. 🔹 Besök för fler rapporter från hela branschen 🔹

Jolt (@a16zcrypto) 🔹 Et-bevis-anrop 🔹 @SuccinctJT, forskare vid @a16zcrypto, presenterade vid det senaste @eth_proofs-samtalet. Han framhöll hur nuvarande zkVM:er styr proverminnet genom att dela upp spår i delar och rekursivt aggregera bevis, men att detta tillför komplexitet, buggrisk och prestandakostnader. Tidsstämpel - 32:30: Justin fortsatte med att förklara hur Jolt vill ersätta detta med en streamingmetod som begränsar prover-minnet till några gigabyte, oavsett antal cykler. Två av ungefär tjugo nödvändiga Sumcheck-komponenter är redan på väg att streamas, och det återstående arbetet förväntas snart vara klart. 🔹 Forskning 🔹 Justin publicerade också en artikel baserad på resultaten från en undersökning som fokuserar på hur modern SNARK-design uppnår snabb bevisning genom att fokusera på summekontrollprotokollet: Artikeln beskriver varför tekniker som batchanalys, uppslagsargument, virtuella polynom och småvärdesbevarande minskar provararbete och åtagandekostnader. Med Jolt som huvudfallstudie visar den hur utnyttjande av upprepade beräkningsstrukturer möjliggör effektiva zkVM:er och vägleder framtida prestandaförbättringar. 🔹 Besök för fler rapporter från hela branschen 🔹

Miden 🔹 Testnet v0.12 🔹 @0xMiden släppte sitt Testnet v0.12, som introducerade stora uppdateringar inom integritetsflöden, nyckelhantering, adresshantering och utvecklarverktyg: Versionen lägger till ett nytt adressformat med krypteringsstöd, ett privat nottransportlager med @Nethermind, ECDSA-signering via förkompileringar och förbättringar av datahanteringen i noden. Den innehåller också grundläggande skyddsräcken för transaktionsdata-insyn, den nya midenup-installatören för strömlinjeformad onboarding, ett dedikerat utvecklingsnätverk för experiment och flera VM-nivåförbättringar för komponerbarhet och felsökning. 🔹 Publikationer 🔹 Projektet publicerade en artikel som förklarar hur privata multisignaturer blir genomförbara genom ett nytt system kallat Private State Management, utvecklat tillsammans med @OpenZeppelin: Texten beskriver varför traditionella multisigs är beroende av delat offentligt tillstånd, hur Midens integritetsmodell komplicerar samordningen, och hur PSM:s synkroniserings-, samordnings- och autentiseringslager håller privata konton i linje. Den avslutas med exempel på praktiska användningsfall och noterar att ett tidigt Proof-of-Concept redan finns tillgängligt. 🔹 Evenemang 🔹 På @EFDevcon var Miden värd och deltog i flera evenemang, bland annat: • Privacy Salon, ett evenemang organiserat av Miden som samlade byggare, forskare och grundare för korta, idédrivna föredrag och öppna diskussioner om integritet, decentraliserade system och de föränderliga skärningspunkterna mellan krypto, web3 och traditionell finans. • Verifying Intelligence 3.0, organiserad av @HouseofZK, där @huitseeker, Engineering Lead på Miden, talade om zkVM:ernas roll i zkML och förklarade skillnaderna mellan att bevisa inferens och träning, begränsningarna hos TEE:er och hur Midens design stödjer praktiska, motståndskraftiga AI-verifieringsscenarier. Tidsstämpel - 02:50:12: 🔹 Integrationer 🔹 Projektet introducerade två nya partnerskap som utökar dess ekosystem inom integritet, onboarding och infrastruktur, inklusive: • @get_para: Integrerade Paras inbyggda plånbok och distribuerad MPC-autentisering för att möjliggöra sömlös, icke-förvaringsmässig onboarding för Miden-applikationer. Samarbetet introducerade lösenordsfri inloggning, omedelbar plånboksskapande och friktionsfria användarflöden, vilket anpassade Paras UX-stack till Midens kompatibla integritetsmodell för att stödja privata DeFi-, fintech-, spel- och institutionella applikationer byggda på ZK-exekvering: • @gateway_eth: Partnerskap för att tillhandahålla infrastruktur av företagsklass för Midens skalbara, integritetsfokuserade blockkedjenätverk. Partnerskapet säkerställer hög tillgänglighet, snabb dataåtkomst och operativ tillförlitlighet när Miden skalar, där Gateway kör kärnkomponenter som den inbyggda bryggan, provers och blockutforskare för att stödja utrullningen av Midens edge-exekveringsarkitektur: 🔹 Besök för fler rapporter från hela branschen 🔹

Nexus 🔹 DEX Alpha 🔹 @NexusLabs lanserade Alpha-versionen av sin decentraliserade eviga terminsbörs som en del av sitt Testnet III, och erbjuder en förenklad, icke-förvaringsbaserad CLOB-plattform byggd på verifierbar infrastruktur: Lanseringen fokuserar på kärnfunktioner inom trading, effektiviserad onboarding och testfonder istället för reala tillgångar. Även om gränssnittet är minimalt är den underliggande orderboken konstruerad för låg latens och kommer att utökas med communitydriven feedback och successivt införda kryptografiska bevis. 🔹 Nätverksstatus 🔹 Nexus släppte sin nätverksrapport i november: Höjdpunkter inkluderar: • Nätverket behandlade 87,198 miljoner transaktioner, varav 87,038 miljoner slutfördes, vilket visar hög tillförlitlighet och en mycket liten lucka mellan initierad och slutgiltig aktivitet. • Bevisgenomströmningen justerades från 5 810 till 4,16 proofs per sekund under månaden, vilket speglar en återgång till en stabilare bevisningsbaslinje efter oktobers snabba topp. • Verifierade kontrakt nådde 2,548 miljoner, vilket visar på fortsatt förtroende för utvecklarna i provmiljön trots högre latens och modererad genomströmning. • Transaktionsavgifterna låg i genomsnitt på 0,048 NEX, vilket höll kostnaden för verifierbarhet låg och lämnade utrymme för snabb iteration och frekventa onchain-interaktioner. 🔹 Evenemang 🔹 Nexus chefsforskare deltog @JensGroth16 i en eldstadschatt på @HouseofZK:s Verifying Intelligence-evenemang under @EFDevcon, där de diskuterade hur ZKP utvecklades från tidigt teoretiskt arbete till dagens tillämpningar inom verifierbar AI: Han beskrev Nexus fokus på att kombinera bevisbar korrekthet med ekonomisk trygghet och betonade behovet av standarder, utbildning och bredare institutionellt förtroende för att säkerställa att verifierbara system blir användbara och allmänt antagna. 🔹 Besök för fler rapporter från hela branschen 🔹

Risc Zero & Boundless 🔹 Et-bevis-anrop 🔹 I det senaste @eth_proofs Call #6 delade @BruestleJeremy, VD och medgrundare av @RiscZero, hur teamet framgångsrikt startade en riktig Linux-kärna i zkVM efter att ha lagt till stöd för Risc-V S-mode, full MMU och virtualiserat minne. Tidsstämpel - 20:30: Demon visade flera processer som kördes och en nästan deterministisk miljö som passade bredare mjukvarustackar. Risс Zero planerar att leverera detta i nästa kretssläpp eftersom framstegen på provaren fortsätter. 🔹 Evenemang 🔹 @boundless_xyz deltog i flera evenemang under Devconnect i Buenos Aires, inklusive: • En whitepaper-lässession organiserad av @HouseofZK i samarbete med @WPReadingClub och @invisiblgarden, där Boundless, @citrea_xyz, @MinaProtocol och @o1_labs deltog i rundabordssamtal om senaste forskningsutvecklingar och framväxande idéer inom Web3- och ZK-ekosystemet. • En panel i Verifying Intelligence 3.0, där @reka_eth, marknadschef på Boundless, bidrog till en diskussion om att bevisa mänskligt bidrag i en era formad av AI och robotik, tillsammans med talare @humpty0x @OntologyNetwork, @zKsisyfos @StarkWareLtd, @DacEconomy @ProjectZKM och @Viggy_117 @eigencloud. Tidsstämpel - 00:57:54: 🔹 Besök för fler rapporter från hela branschen 🔹

Kortfattad 🔹 SP1 Hyperkub 🔹 @SuccinctLabs rapporterade att den senaste versionen av deras SP1 Hypercube zkVM kan bevisa 99,7 % av @ethereum L1-block på under 12 sekunder på 16 RTX 5090 GPU:er, vilket förlänger dess tidigare realtidsbevisningsmilstolpe: Releasen lägger till stora prestandaförbättringar, formell verifiering av alla RISC-V-begränsningar, borttagning av proximitetsgap-konjecturer och nya säkerhetsåtgärder. Hypercube slutför revisioner och kommer att släppas som öppen källkod och via Succinct Prover Network. 🔹 Forskning 🔹 I en nyligen genomförd studie av @ronrothblum, chef för kryptografi på Succinct, @benediktbuenz (@EspressoSys), @GiacomoFenzi (@EPFL) och @kleptographic (@NYU_Courant), presenterar författarna TensorSwitch, ett nästan optimalt hashbaserat polynomåtagandeschema: Den adresserar två huvudsakliga begränsningar i hashbaserade SNARG:er: provtider och stora bevisstorlekar. Med hjälp av tensorkoder och interaktiva orakelbevis uppnår TensorSwitch commitment och öppningstider linjärt i inmatningsstorlek, sublinjära hashkostnader och asymptotiskt minimala verifierarfrågor, utan att förlita sig på betrodd setup eller gruppbaserad kryptografi 🔹 C2PA 🔹 Succinct har anslutit sig till @C2PA_org och arbetar tillsammans med andra deltagare och utvecklar öppna standarder för verifiering av digitalt innehåll: I takt med att AI-genererade medier ökar introducerar projektet ZK-verifiering för att stärka proveniensflöden med integritet och skalbara intyg. Succinct syftar till att stödja enhetliga metadatastandarder och förbättra interoperabiliteten mellan plattformar. Genom att ansluta sig till C2PA planerar projektet att bidra med forskning och hjälpa till att implementera verktyg för innehållsautenticitet i praktiska sammanhang. 🔹 OP: Concinct Lite 🔹 @Celo uppgraderade sitt Sepolia-testnätverk till OP Succinct Lite via Jello hardfork, närmare mainnet-lanseringen: Tidigare i år gick Celo över till en Ethereum L2 för att stödja verkliga betalningar och blev den första kedjan att använda OP Succinct Lite med EigenDA v2. 🔹 Besök för fler rapporter från hela branschen 🔹

ZKM 🔹 Revision 🔹 ZKM:s Ziren genomgår en revision av @VeridiseInc, med hjälp av dess Picus-verifieringsplattform: Veridise anpassade Zirens Plonky3-begränsningar och körde analyser genom @AuditHubDev. De första resultaten bekräftade deterministiskt beteende för addition och subtraktion i AddSub-chippet. Teamen planerar att utöka verifieringen till fullständiga kretsar och integrera kontroller i ZKM:s utvecklingsarbetsflöde. 🔹 Publikationer 🔹 @ProjectZKM publicerade en artikel som förklarar hur GKR-protokollet verifierar aritmetiska kretsberäkningar genom att rekursivt kontrollera konsistens över kretslager med hjälp av det multivariata Sumcheck-protokollet: Texten förklarar lagerstrukturerad kretsstruktur, rollen för multilinjära förlängningar, hur Sumcheck minskar verifiering till punktutvärderingar och hur rekursion slutar vid indataskiktet. Det visar varför GKR är effektivt för stora kretsar och grundläggande i moderna ZK-system. 🔹 Evenemang 🔹 ZKM publicerade en artikel om sin tid på @EFDevcon, med höjdpunkter: • ZKONNECT av @brevis_zk och House of ZK: ZKM CTO @sd_eigen deltog i realtidsprovpanelen EVM Proven in 10 Seconds som diskuterade GPU-accelererade bevissystem. • Verifiering av underrättelser av House of ZK and Brevis: Stephen talade om ZK-baserad integritet i AI-arbetsflöden och granskade Zirens revision med @VeridiseInc. Medgrundaren @DacEconomy deltog i AI- och arbetspanelen om att verifiera mänskliga bidrag. • @EtherArgentina Hackathon: ZKM sponsrade evenemanget med Stephen som domare och utbildningsansvarig @alicelingl mentorteam. • Native BTCFi Summit av @babylonlabs_io och @build_on_bob: diskussioner om @Bitcoin samordnad finans och BTC-skalning. • StarkConnect av @Starknet: Stephen deltog i en session om att skala Bitcoin med Starknet, @AlpenLabs och @atomiqlabs. • ZK Real World Summit: panel om integritetsbevarande kedjor med @MantaNetwork, @ZKVProtocol och @nillion. • Cultural Vivo av @invisiblgarden: ZKM återvände som sponsor och stödde hubben för ZK- och AI-byggare. 🔹 Besök för fler rapporter från hela branschen 🔹