⚡ Ziren Real-Time Proving: en viktig milstolpe för ZK @ProjectZKM CTO @sd_eigen introducerat teknik för realtidsprovning. 1️⃣ ZKM:s Ziren använder s MIPS32r2; den mest stabila och instruktionseffektiva ISA för allmänt bruk för ZK 2️⃣ Ziren var den andra zkVM som lanserades på @eth_proofs, och demonstrerade aktivt blixtsnabb bevisgenerering 3️⃣ Realtidsprovning är redan live på @goatrollup, en inbyggd Bitcoin zkRollup, och kommer snart på Ethereums huvudnät.

Den här veckans sammanfattning fokuserar på hur Ziren i tysthet driver @GOATRollup:s Bitcoin-rollup i realtid, hur teamet skickade en webbläsarbaserad verifierare och även körde en utvecklarworkshop på @frontiertower, San Francisco. Vi skisserade också vägen mot en verifierbar Bitcoin-ekonomi på @HouseofZK Radio och flaggade för framträdanden på kort sikt på @ETHshenzhen och @BitcoinConfAsia 👇

Några av ZKM-teamets kärntrupper var nyligen värd för det första i en serie @frontiertower evenemang, i samarbete med @GOATRollup. Denna San Francisco-workshop, som främst fokuserade på Zirens integrationsvägar, gav en grund för att förstå praktisk implementering på GOAT Network och kommande funktioner i ZKM:s bevisstack - vilket skapade ett starkt publikengagemang hela tiden. Några viktiga höjdpunkter: 🔸 Tekniska uppdateringar – Education Lead @alicelingl presenterade de senaste Ziren-framstegen: Golang-kompatibilitet, WASM-baserad verifiering och utökat stöd för förkompilering. Alice tillhandahöll också en live-demo som demonstrerade bevisgenerering och verifiering med Ziren. 🔸 Ziren som infrastruktur - Chief Scientist @DacEconomy beskrev Zirens roll i att underlätta en ny våg av infrastruktur och erbjöd teknisk insikt i dess integration inom GOAT Network. 🔸 Bitcoin-Native Rollup Model – COO & GOAT Network-kärnbidragsgivaren @sophianeverfold gav en översikt på hög nivå över GOAT:s ekonomiska design, genom att kombinera decentraliserade sekvenserare, Ziren och BitVM2 för att leverera hållbar BTC-avkastning, innan de dök in i de många andra användningsområdena för Bitcoin L2. 🔸 End-to-End Stack – Fireside-sessionen täckte utvecklingen från Zirens första byggnad till att driva GOAT:s Bitcoin-rollup i realtid, inklusive utmaningar och lösningar för att bygga en fullständig provpipeline. Håll utkik efter fler kommande evenemang i Bay Area med ZKM-partnerprojekt:

Sirens verifierare körs nu i webbläsaren: Produktupplåsningar inkluderar: 🔸 Oberoende kontroller av plånböcker, upptäcktsresande och dapps utan att lita på en backend 🔸 Reproducerbara granskningar (samma Rust-verifierare kompilerad till WASM för webben, inbyggd någon annanstans) 🔸 Mångsidig täckning (STARK, Groth16, Plonk) från en enda SDK 🔸 Millisekundsverifiering för fullständiga L1-@ethereum blocksbevis, lämplig för interaktiv UX Om du skapar förtroendeminimerade klientdelar eller lägger till en "Verifiera"-knapp bredvid kritiska åtgärder är detta vägen till minsta motstånd. Bygg med självförtroende. Distribuera utan kompromisser: Ziren STARK verifier NPM-paket:

House of ZK Radio #67: Ming Guo, medgrundare och Chief Scientist på ZKM - finns nu på Spotify och YouTube 🔳 I det här avsnittet sätter @alicelingl oss ner med @DacEconomy – medgrundare och Chief Research Scientist på @ProjectZKM – för att kartlägga hur nollkunskap har flyttats från @ethereum till Bitcoin, och hur en Bitcoin-ekonomi säkrad av verifierbar beräkning faktiskt ser ut. Spotify: På YouTube: Vad finns inuti: • ZK-framstegen: transaktionssekretess → allmänna kretsar → zkVMs med bevisning nästan i realtid • Varför ZKM:s MIPS-baserade zkVM-design är viktig för prestanda, stabilitet och verifiering • BitVM2-baserade Bitcoin L2-arkitekturer som @GOATRollup, och varför L2 är den säkra vägen till programmerbarhet • "Universell uppgörelse": verifierbar beräkning som grund för decentraliserade applikationer • Programmerbart ansvar och incitament kontra äldre "lita på en part"-modeller • Developer UX: från zkDSL:er till att skriva normal kod och bevisa exekvering i en zkVM • Bortom "värdeförvaring": avkastning, stabila tillgångar och on-chain-aktivitet förankrad i Bitcoin utan att kompromissa med L1-säkerheten Om du bygger på Bitcoin eller ZK ger det här avsnittet ett tydligt ramverk för stacken, kompromisser och vad som krävs för att gå från att bara inneha BTC till en fungerande, verifierbar ekonomi.

ZKM:s zkVM, Ziren, är den dolda motorn för Bitcoin zkRollups 🟠 i realtid Ziren bygger på den stabila MIPS32r2 och drivs av distribuerad, GPU-accelererad provning och förvandlar utvecklarkod till verifierbara bevis med snabbhet och effektivitet. Lära sig mer:

I vårt sista samtal vid dagens @frontiertower-evenemang i San Francisco kommer ZKM:s medgrundare och Chief Scientist @DacEconomy att belysa Zirens roll i att bygga nästa generation av decentraliserad Web3-infrastruktur 🟠 🗓️ Idag (20 augusti), kl 14-17 OSA:

I vårt kommande evenemang i San Francisco kommer @alicelingl, @DacEconomy och @sophianeverfold att reflektera över resan hittills - från den första utbyggnaden av ZKM:s Ziren till att utvidga den stabila och högpresterande grunden till den verkliga tillämpningen av @GOATRollup. 🗓️ 20 augusti, kl 14-17 📍 @frontiertower, SF Diskussionen kommer att täcka historien och utmaningarna med att bygga en komplett stack, innan den ger exklusiva insikter om vart denna väg är på väg härnäst. OSA:

GOAT-nätverkets ambassadörer kommer att spela en viktig roll i det uppdrag som ligger framför oss. Målet: att sprida ordet om hur @GOATRollup förvandlar BTC till en användbar, avkastningsgenererande tillgång. Detta nätverk drivs av Ziren och är hur Bitcoin blir en valuta som du faktiskt kan använda 🟠

Mer från vårt kommande @frontiertower event i San Francisco: ZKM COO @sophianeverfold kommer att utforska hur @GOATRollup:s Bitcoin-baserade zkRollup levererar verklig, hållbar BTC-avkastning genom decentraliserade sekvenserare, zkVM (Ziren) + BitVM2 och en verkligt innovativ ekonomisk modell 🟡 🗓️ 20 augusti kl 14-17 OSA: