Programmeerbaarheid op Bitcoin moet consensus-geverifieerd zijn. @GOATRollup gebruikt ZKM's universele zkVM - Ziren - om program execution te bewijzen en het op L1 te settelen. Bekijk de volledige aflevering van @HouseofZK Radio met ZKM Chief Scientist @DacEconomy:

GOAT Network heeft een nieuw 34 BTC Pilot Fund gelanceerd om liquiditeitsprikkels en de groei van onze gemeenschap te ondersteunen. Dit markeert de eerste keer dat een Bitcoin Layer 2-netwerk zijn eigen BTC-schatkist heeft toegewijd aan ecosysteemprikkels. Terwijl andere Bitcoin-ecosysteemprojecten soms hun eigen tokens hebben uitgegeven, hebben ze geen native BTC-opbrengst geleverd — een vereiste voor de grootste en meest succesvolle liquiditeitsverschaffers. Het toewijzen van onze eigen BTC-schatkist toont een toewijding aan duurzame ecosysteemopbouw die uniek is in de Bitcoin Layer 2-ruimte. Dit BTC Pilot Fund is ook een opwarmronde voor de lancering van ons GOAT Network Ecosysteem Ontwikkelingsfonds, dat in Q4 2025 live zal gaan, met een startwaarde in de tientallen miljoenen. Lees verder om meer te leren!

Nieuw op de ZKM-blog: Multivariate Sumcheck Protocol - Deel 2 Dit artikel biedt praktische richtlijnen voor multilineaire extensies in twee representaties, met implementeerbare procedures voor puntbeoordeling, optelling en elementgewijze vermenigvuldiging. Het behandelt representatie-afwegingen, geheugen-/runtime-gedrag en hoe je deze stappen kunt integreren in een prover/verifier-pijplijn zonder onnodige conversies. Lees Deel 2:

⚡ Ziren Real-Time Proving: een belangrijke mijlpaal voor ZK @ProjectZKM CTO @sd_eigen introduceerde technologie voor real-time bewijslast. 1️⃣ ZKM’s Ziren maakt gebruik van MIPS32r2; de meest stabiele en instructie-efficiënte algemene ISA voor ZK 2️⃣ Ziren was de tweede zkVM die werd gelanceerd op @eth_proofs, en demonstreert actief razendsnelle bewijs generatie 3️⃣ Real-time bewijslast is al live op @goatrollup, een native Bitcoin zkRollup, en komt binnenkort op het Ethereum mainnet.

Deze week staat de samenvatting in het teken van hoe Ziren stilletjes @GOATRollup's real-time Bitcoin rollup aandrijft, hoe het team een browser-native verifier heeft geleverd, en ook een ontwikkelaarsworkshop heeft gehouden bij @frontiertower, San Francisco. We hebben ook het pad naar een verifieerbare Bitcoin-economie uiteengezet op @HouseofZK Radio, en hebben kortetermijnverschijningen gemarkeerd bij @ETHshenzhen en @BitcoinConfAsia 👇

Een deel van het kernteam van ZKM heeft onlangs de eerste in een serie @frontiertower evenementen georganiseerd, in samenwerking met @GOATRollup. Deze workshop in San Francisco, die zich voornamelijk richtte op de integratiepaden van Ziren, bood een basis voor het begrijpen van praktische implementatie op het GOAT Network en aankomende functies in de bewijsstack van ZKM - wat zorgde voor sterke betrokkenheid van het publiek. Enkele belangrijke hoogtepunten: 🔸 Technische Updates – Onderwijsleider @alicelingl presenteerde recente vooruitgangen van Ziren: compatibiliteit met Golang, WASM-gebaseerde verificatie en uitgebreide ondersteuning voor precompile. Alice gaf ook een live demo waarin de generatie en verificatie van bewijs met Ziren werd gedemonstreerd. 🔸 Ziren als Infrastructuur – Hoofdwetenschapper @DacEconomy schetste de rol van Ziren in het faciliteren van een nieuwe golf van infrastructuur en bood technische inzichten in de integratie binnen het GOAT Network. 🔸 Bitcoin-Native Rollup Model – COO & kernbijdrager van GOAT Network @sophianeverfold gaf een overzicht van het economische ontwerp van GOAT, dat gedecentraliseerde sequencers, Ziren en BitVM2 combineert om duurzame BTC-opbrengsten te leveren, voordat hij inging op de vele andere gebruikscasussen van de Bitcoin L2. 🔸 End-to-End Stack – De fireside-sessie behandelde de evolutie van de initiële opbouw van Ziren naar het aandrijven van de real-time Bitcoin rollup van GOAT, inclusief de uitdagingen en oplossingen van het bouwen van een volledige bewijs-pijplijn. Blijf op de hoogte voor meer aankomende evenementen in de Bay Area met ZKM-partnerprojecten:

Ziren's verifier draait nu in de browser: Productontgrendelingen omvatten: 🔸 Onafhankelijke controles door wallets, explorers en dapps zonder een backend te vertrouwen 🔸 Reproduceerbare audits (dezelfde Rust-verifier gecompileerd naar WASM voor web, native elders) 🔸 Multi-proof dekking (STARK, Groth16, Plonk) vanuit een enkele SDK 🔸 Milliseconde verificatie voor volledige L1 @ethereum blockbewijzen, geschikt voor interactieve UX Als je trust-minimized frontends bouwt of een "Verifieer"-knop toevoegt naast kritieke acties, is dit het pad van de minste weerstand. Bouw met Vertrouwen. Implementatie zonder Compromis: Ziren STARK verifier NPM-pakket:

House of ZK Radio #67: Ming Guo, mede-oprichter & Chief Scientist bij ZKM - nu beschikbaar op Spotify & YouTube 🔳 In deze aflevering gaat @alicelingl in gesprek met @DacEconomy - mede-oprichter & Chief Research Scientist bij @ProjectZKM - om in kaart te brengen hoe zero-knowledge is verschoven van @ethereum naar Bitcoin, en hoe een Bitcoin-economie beveiligd door verifieerbare berekeningen er daadwerkelijk uitziet. Spotify: YouTube: Wat erin zit: • De ZK-ontwikkeling: transactieprivacy → algemene circuits → zkVMs met bijna real-time bewijsvoering • Waarom het MIPS-gebaseerde zkVM-ontwerp van ZKM belangrijk is voor prestaties, stabiliteit en verificatie • BitVM2-gebaseerde Bitcoin L2-architecturen zoals @GOATRollup, en waarom L2 de veilige route naar programmeerbaarheid is • “Universele afwikkeling”: verifieerbare berekeningen als basis voor gedecentraliseerde applicaties • Programmeerbare verantwoordelijkheid en prikkels versus legacy “vertrouw een partij” modellen • Ontwikkelaar UX: van zkDSLs naar het schrijven van normale code en het bewijzen van uitvoering in een zkVM • Voorbij “opslag van waarde”: rendement, stabiele activa en on-chain activiteit verankerd aan Bitcoin zonder L1-beveiliging in gevaar te brengen Als je op Bitcoin of ZK bouwt, biedt deze aflevering een duidelijk kader voor de stack, afwegingen en wat nodig is om van het simpelweg vasthouden van BTC naar een functionerende, verifieerbare economie te gaan.

ZKM's zkVM, Ziren, is de verborgen motor voor real-time Bitcoin zkRollups 🟠 Gebouwd op de stabiele MIPS32r2 en aangedreven door gedistribueerde, GPU-versnelde bewijzen, verandert Ziren ontwikkelaarscode in verifieerbare bewijzen met snelheid en efficiëntie. Leer meer:

In ons laatste gesprek tijdens het @frontiertower evenement van vandaag in San Francisco, zal ZKM mede-oprichter en Chief Scientist @DacEconomy toelichten welke rol Ziren speelt in het bouwen van de volgende generatie van gedecentraliseerde Web3-infrastructuur 🟠 🗓️ Vandaag (20 augustus), 14:00-17:00 RSVP: