.@alicelingl utmaningar @FormallyJon: Kommer framtida utvecklare att luta sig mot zkVM:er eller skriva ZK-kretsar för hand? Upptäck nyanserna i podcasten @HouseofZK.

Vi presenterar ZK/AI Summit under @token2049 vecka, som @HouseofZK & @googlecloud samarbetar med. Detta exklusiva endagsevenemang kommer att utforska gränsen för nollkunskapsbevis och artificiell intelligens, och konvergenspunkten mellan dem: Verifierbar AI. 🗓️ 29 september, kl 11-17 📍 Caldwell House, Singapore Ansök om att delta, tala eller sponsra på

Ärligt talat är dessa läsgruppssessioner för vitböcker några av de bästa sakerna jag någonsin har gjort på en konferens.

Kör din app på samma sätt som du skulle köra dina web2-appar Bli kedjelös 🚀

Tänk om dApps inte alls behövde leva i en blockkedja? Det är idén som utforskas av @BrianSeong99 (@0xPolygon) och @paulgebheim (@SeiNetwork) i denna SBC @WPReadingClub-session om Chainless - ett ramverk för att bygga verifierbara applikationer som körs med hastigheten hos Web2 samtidigt som de förankrar sitt förtroende för Web3. Istället för att tvinga beräkning till Solidity eller en zkVM, tillåter Chainless applikationer att köras offchain i vilken miljö som helst, samtidigt som de skickar in bevis på kedjan för avveckling och interoperabilitet. Diskussionen handlar om varför den nuvarande utvecklarupplevelsen är begränsad, hur verifierbara appar kan låsa upp nya kategorier som handelsmotorer eller privata program som standard, och vilka kompromisser som kommer med att separera utförande från avveckling. Brian och Paul dyker också in i de praktiska utmaningarna: beviskostnader, reproducerbarhet och vilka efterfrågesignaler som slutligen kan driva på införandet. Sammanfattning: Papper: Finns även på YouTube:

Bitcoin L2s - expertutlåtanden från @michaelterpin, grundare av @TransformVC21, @BitAngels och rådgivare till @GOATRollup: • Varför L2s: Lägg till programmerbarhet och genomströmning utan att ändra Bitcoin L1. Exempel: BitVM2-baserade system, samlade funktioner. • Säkerhetsmodell: Föredrar konstruktioner som sätter sig på kedjan; Undvik förvaringsbryggor. L2-giltighet bör förankras i Bitcoin. • Användningsområden: Trust-minimerad överbryggning, BTC-stödda stablecoins, DeFi-skenor, nya betalningsflöden. • Makropåverkan: Stärker BTC-dominansen; kompletterar tesen om värdebevarare i stället för att ersätta den. • Väg till införande: Innovation dyker ofta upp i andra kedjor först; om den ska skalas upp portas den till Bitcoin via L2s. • Cykelvy: Bitcoin L2 är en viktig berättelse denna cykel, men inte den enda drivkraften för priset. Hör hela diskussionen med Michael - insikter om BitVM2, uppgörelse i kedjan och var L2:er passar in i Bitcoins färdplan:

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.

Här rapporterar vi om framstegen för de ledande byggarna i zkVM-ekosystemet och dokumenterar de senaste betydande utgåvorna, tekniska genombrott och allmänna uppdateringar. Med: @SuccinctLabs, @ProjectZKM, @NexusLabs, @RiscZero, Jolt (@a16zcrypto), @ziskvm och @ligero_inc 👇

Tänk om @solana kunde slutföra block på mindre än en halv sekund? Det är den vision som beskrivs av Roger Wattenhofer (forskningschef på @anza_xyz/@ETH_en) i den här @WPReadingClub Reading-sessionen. Med utgångspunkt från både akademisk konsensusforskning och Solanas unika design presenterar @TheWattenhofer Alpenveil, ett nytt förslag till konsensusprotokoll som kombinerar: • Ultrasnabb slutgiltighet – simulerade resultat visar blockslutning på ~150 ms, med verkliga sökvägar som närmar sig ~500 ms bekräftelse på användarnivå. • Parallelliserad röstning – en ny mekanism som kör omröstning med en omgång (80 %) och två omgångar (60 %→commit), vilket gör att den som slutför snabbast kan slutföra blocket. • Formella säkerhetsbevis - en rigorös modell som avviker från traditionella 33 % bysantinska antaganden och argumenterar för mer realistiska felmodeller (20 % bysantinska, 40 % kraschfeltoleranta) med tanke på dagens valideringslandskap. • Avvägningar i systemdesign - från raderingskodning för dataspridning till varför snedstreck undviks (åtminstone initialt) och hur geografisk insatsfördelning påverkar latensen. Denna otroliga session är grundläggande omprövning av konsensus för högpresterande blockkedjor, som blandar teori, praktik och Solanas verkliga begränsningar. Sammanfattning: Papper: Finns även på YouTube:

Här rapporterar vi om framstegen för de ledande byggarna i Proving Service-ekosystemet och dokumenterar de senaste betydande lanseringarna, tekniska genombrott och allmänna uppdateringar. Med: @fermah_xyz, @Ingo_zk, @brevis_zk, @zan_team och @vlayer_xyz ⬇️