.@alicelingl daagt @FormallyJon uit: Zullen toekomstige ontwikkelaars vertrouwen op zkVM's of ZK-circuits met de hand schrijven? Ontdek de nuances in de @HouseofZK podcast.

Aankondiging van de ZK/AI Summit tijdens de @token2049 week, mede georganiseerd door @HouseofZK & @googlecloud. Dit exclusieve eendaagse evenement zal de grens verkennen van zero-knowledge proofs en kunstmatige intelligentie, en het convergentiepunt tussen hen: Verifieerbare AI. 🗓️ 29 september, 11:00-17:00 📍 Caldwell House, Singapore Aanmelden om deel te nemen, te spreken of te sponsoren op

Eerlijk gezegd zijn deze leesgroepen voor whitepapers een van de beste dingen die ik ooit op een conferentie heb gedaan.

Voer je app uit zoals je je web2-apps zou uitvoeren Ga Chainless 🚀

Wat als dApps helemaal niet binnen een blockchain hoeven te leven? Dat is het idee dat wordt verkend door @BrianSeong99 (@0xPolygon) en @paulgebheim (@SeiNetwork) in deze SBC @WPReadingClub sessie over Chainless - een framework voor het bouwen van verifieerbare applicaties die draaien met de snelheid van Web2, terwijl ze hun vertrouwen verankeren in Web3. In plaats van computationele processen in Solidity of een zkVM te dwingen, stelt Chainless applicaties in staat om offchain in elke omgeving te draaien, terwijl ze bewijzen onchain indienen voor afhandeling en interoperabiliteit. De discussie kijkt naar waarom de huidige ontwikkelaarservaring beperkt is, hoe verifieerbare apps nieuwe categorieën zoals handelsmachines of standaard privé-applicaties zouden kunnen ontgrendelen, en welke afwegingen komen kijken bij het scheiden van uitvoering en afhandeling. Brian en Paul duiken ook in de praktische uitdagingen: bewijs kosten, reproduceerbaarheid, en welke vraag signalen uiteindelijk de adoptie zouden kunnen stimuleren. Samenvatting: Papier: Ook beschikbaar op YouTube:

Bitcoin L2s - deskundige meningen van @michaelterpin, oprichter van @TransformVC21, @BitAngels, en adviseur van @GOATRollup: • Waarom L2s: Voeg programmeerbaarheid en doorvoer toe zonder Bitcoin L1 te veranderen. Voorbeelden: BitVM2-gebaseerde systemen, rollups. • Beveiligingsmodel: Geef de voorkeur aan ontwerpen die on-chain afhandelen; vermijd custodiale bruggen. L2-validiteit moet verankerd zijn aan Bitcoin. • Toepassingsgevallen: Vertrouwensgeminimaliseerde bruggen, BTC-gedekte stablecoins, DeFi-rails, nieuwe betalingsstromen. • Macro-impact: Versterkt de BTC-dominantie; aanvulling op de store-of-value-these in plaats van deze te vervangen. • Adoptiepaden: Innovatie verschijnt vaak eerst op andere ketens; als het gaat schalen, wordt het via L2s naar Bitcoin overgebracht. • Cycli-weergave: Bitcoin L2s zijn een belangrijke narratief deze cyclus, maar niet de enige drijfveer van de prijs. Luister naar de volledige discussie met Michael - inzichten over BitVM2, on-chain afhandeling, en waar L2s passen in de roadmap van Bitcoin:

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.

Hier rapporteren we over de voortgang van de toonaangevende bouwers in het zkVM-ecosysteem, waarbij we recente belangrijke releases, technische doorbraken en algemene updates documenteren. Met: @SuccinctLabs, @ProjectZKM, @NexusLabs, @RiscZero, Jolt (@a16zcrypto), @ziskvm, & @ligero_inc 👇

Wat als @solana blokken in minder dan een halve seconde zou kunnen finaliseren? Dat is de visie die is uiteengezet door Roger Wattenhofer (Hoofd Onderzoek bij @anza_xyz/@ETH_en) in deze @WPReadingClub leessessie. Putten uit zowel academisch consensusonderzoek als het unieke ontwerp van Solana, presenteert @TheWattenhofer Alpenveil, een nieuw voorstel voor een consensusprotocol dat combineert: • Ultra-snelle finaliteit - gesimuleerde resultaten tonen aan dat blokfinalisatie in ~150ms plaatsvindt, met real-world paden die ~500ms gebruikersniveau bevestiging benaderen. • Parallel stemmen - een nieuw mechanisme dat één ronde (80%) en twee ronden (60%→commit) stemmen parallel laat verlopen, zodat degene die sneller is het blok kan finaliseren. • Formele beveiligingsbewijzen - een rigoureus model dat afwijkt van traditionele 33% Byzantijnse aannames, pleit voor meer realistische foutmodellen (20% Byzantijns, 40% crash-fouttolerant) gezien het huidige validatorlandschap. • Systeemontwerpafwegingen - van erasure coding voor gegevensverspreiding tot waarom slashing wordt vermeden (tenzij aanvankelijk), en hoe geografische inzetverdeling de latentie beïnvloedt. Deze ongelooflijke sessie is een fundamentele heroverweging van consensus voor high-performance blockchains, die theorie, praktijk en de real-world beperkingen van Solana mengt. Samenvatting: Paper: Ook beschikbaar op YouTube:

Hier rapporteren we over de voortgang van de toonaangevende bouwers in het Proving Service-ecosysteem, waarbij we recente belangrijke releases, technische doorbraken en algemene updates documenteren. Met: @fermah_xyz, @Ingo_zk, @brevis_zk, @zan_team, & @vlayer_xyz ⬇️