.@alicelingl utfordringer @FormallyJon: Vil fremtidige utviklere lene seg på zkVM-er eller skrive ZK-kretser for hånd? Oppdag nyansene på den @HouseofZK podcasten.

Kunngjøring av ZK/AI Summit i løpet av @token2049 uke, arrangert av @HouseofZK & @googlecloud. Dette eksklusive endagsarrangementet vil utforske grensen for nullkunnskapsbevis og kunstig intelligens, og konvergenspunktet mellom dem: Verifiserbar AI. 🗓️ 29. september, kl. 11-17 📍 Caldwell House, Singapore Søk om å delta, snakke eller sponse på

Ærlig talt, disse lesegruppeøktene er noe av det beste jeg noen gang har gjort på en konferanse.

Kjør appen din som du ville kjørt web2-appene dine Bli kjedeløs 🚀

Hva om dApps ikke trengte å leve inne i en blokkjede i det hele tatt? Det er ideen utforsket av @BrianSeong99 (@0xPolygon) og @paulgebheim (@SeiNetwork) i denne SBC @WPReadingClub-økten om Chainless - et rammeverk for å bygge verifiserbare applikasjoner som kjører med hastigheten til Web2 samtidig som de forankrer deres tillit til Web3. I stedet for å tvinge beregning inn i Solidity eller en zkVM, lar Chainless applikasjoner kjøre offchain i alle miljøer, mens de sender inn bevis onchain for oppgjør og interoperabilitet. Diskusjonen ser på hvorfor nåværende utvikleropplevelse er begrenset, hvordan verifiserbare apper kan låse opp nye kategorier som handelsmotorer eller private applikasjoner som standard, og hvilke avveininger som følger med å skille utførelse fra oppgjør. Brian og Paul dykker også ned i de praktiske utfordringene: beviskostnader, reproduserbarhet og hvilke etterspørselssignaler som til slutt kan drive adopsjon. Sammendrag: Papir: Også tilgjengelig på YouTube:

Bitcoin L2s - ekspertuttalelser fra @michaelterpin, grunnlegger av @TransformVC21, @BitAngels og rådgiver for @GOATRollup: • Hvorfor L2s: Legg til programmerbarhet og gjennomstrømning uten å endre Bitcoin L1. Eksempler: BitVM2-baserte systemer, samlebiter. • Sikkerhetsmodell: Foretrekk design som legger seg på kjeden; Unngå varetektsbroer. L2-gyldighet bør forankres til Bitcoin. • Brukstilfeller: Tillitsminimert brobygging, BTC-støttede stablecoins, DeFi-skinner, nye betalingsstrømmer. • Makropåvirkning: Styrker BTC-dominans; utfyller verdilager-tesen i stedet for å erstatte den. • Adopsjonsvei: Innovasjon vises ofte på andre kjeder først; hvis den skal skaleres, blir den portert til Bitcoin via L2s. • Syklusvisning: Bitcoin L2s er en nøkkelfortelling denne syklusen, men ikke den eneste driveren for pris. Hør hele diskusjonen med Michael - innsikt om BitVM2, oppgjør på kjeden og hvor L2-er passer inn i Bitcoins veikart:

House of ZK Radio #67: Ming Guo, medgründer og sjefsforsker ved ZKM - tilgjengelig nå på Spotify og YouTube 🔳 I denne episoden setter @alicelingl seg ned med @DacEconomy - medgründer og sjefsforsker ved @ProjectZKM - for å kartlegge hvordan null-kunnskap har skiftet fra @ethereum til Bitcoin, og hvordan en Bitcoin-økonomi sikret med verifiserbar databehandling faktisk ser ut. Spotify: YouTube: Hva er inni: • ZK-progresjonen: transaksjonspersonvern → generelle kretser → zkVM-er med nesten sanntidsbevising • Hvorfor ZKMs MIPS-baserte zkVM-design er viktig for ytelse, stabilitet og verifisering • BitVM2-baserte Bitcoin L2-arkitekturer som @GOATRollup, og hvorfor L2 er den sikre veien til programmerbarhet • "Universelt oppgjør": verifiserbar beregning som grunnlag for desentraliserte applikasjoner • Programmerbar ansvarlighet og insentiver kontra eldre «stol på en part»-modeller • Utvikler-UX: fra zkDSL-er til å skrive normal kode og bevise kjøring i en zkVM • Utover «store of value»: avkastning, stabile eiendeler og aktivitet på kjeden forankret til Bitcoin uten at det går på bekostning av L1-sikkerheten Hvis du bygger på Bitcoin eller ZK, gir denne episoden et klart rammeverk for stabelen, avveininger og hva som skal til for å gå fra bare å holde BTC til en fungerende, verifiserbar økonomi.

Her rapporterer vi om fremgangen til de ledende byggerne i zkVM-økosystemet, og dokumenterer nylige betydelige utgivelser, tekniske gjennombrudd og generelle oppdateringer. Inneholder: @SuccinctLabs, @ProjectZKM, @NexusLabs, @RiscZero, Jolt (@a16zcrypto), @ziskvm og @ligero_inc 👇

Hva om @solana kunne fullføre blokkeringer på under et halvt sekund? Det er visjonen skissert av Roger Wattenhofer (forskningssjef ved @anza_xyz/@ETH_en) i denne @WPReadingClub Reading-økten. Med utgangspunkt i både akademisk konsensusforskning og Solanas unike design, presenterer @TheWattenhofer Alpenveil, et nytt konsensusprotokollforslag som kombinerer: • Ultrarask finalitet – simulerte resultater viser blokkferdigstillelse i ~150 ms, med baner i den virkelige verden som nærmer seg ~500 ms bekreftelse på brukernivå. • Parallellisert stemmegivning - en ny mekanisme som kjører en-rundes (80 %) og to-runder (60 %→forplikter) stemmegivning parallelt, slik at det som fullføres raskere kan fullføre blokken. • Formelle sikkerhetsbevis – en streng modell som avviker fra tradisjonelle 33 % bysantinske forutsetninger, og argumenterer for mer realistiske feilmodeller (20 % bysantinske, 40 % kollisjonsfeiltolerante) gitt dagens validatorlandskap. • Avveininger i systemdesign – fra slettingskoding for dataspredning til hvorfor slashing unngås (i det minste i utgangspunktet), og hvordan geografisk innsatsfordeling påvirker ventetiden. Denne utrolige økten er grunnleggende nytenkning av konsensus for høyytelses blokkjeder, og blander teori, praksis og Solanas virkelige begrensninger. Sammendrag: Papir: Også tilgjengelig på YouTube:

Her rapporterer vi om fremgangen til de ledende byggherrene i Proving Service-økosystemet, og dokumenterer nylige betydelige utgivelser, tekniske gjennombrudd og generelle oppdateringer. Inneholder: @fermah_xyz, @Ingo_zk, @brevis_zk, @zan_team og @vlayer_xyz ⬇️