.@alicelingl sfida @FormallyJon: I futuri sviluppatori si affideranno agli zkVM o scriveranno circuiti ZK a mano? Scopri le sfumature nel podcast @HouseofZK.

Annuncio del Summit ZK/AI durante la settimana di @token2049, co-organizzato da @HouseofZK e @googlecloud. Questo esclusivo evento di un giorno esplorerà il confine tra le prove a conoscenza zero e l'intelligenza artificiale, e il punto di convergenza tra di essi: AI Verificabile. 🗓️ 29 settembre, dalle 11:00 alle 17:00 📍 Caldwell House, Singapore Candidati per partecipare, parlare o sponsorizzare a

Onestamente, queste sessioni di lettura dei white paper sono alcune delle migliori cose che abbia mai fatto a una conferenza.

Esegui la tua app come faresti con le tue app web2 Vai Chainless 🚀

E se le dApp non avessero affatto bisogno di vivere all'interno di una blockchain? Questa è l'idea esplorata da @BrianSeong99 (@0xPolygon) e @paulgebheim (@SeiNetwork) in questa sessione SBC @WPReadingClub su Chainless - un framework per costruire applicazioni verificabili che funzionano con la velocità del Web2 mentre ancorano la loro fiducia al Web3. Invece di costringere il calcolo in Solidity o in un zkVM, Chainless consente alle applicazioni di funzionare offchain in qualsiasi ambiente, mentre inviano prove onchain per il regolamento e l'interoperabilità. La discussione esamina perché l'esperienza attuale degli sviluppatori è limitata, come le app verificabili potrebbero sbloccare nuove categorie come motori di trading o applicazioni private per impostazione predefinita, e quali compromessi comporta separare l'esecuzione dal regolamento. Brian e Paul approfondiscono anche le sfide pratiche: costi delle prove, riproducibilità e quali segnali di domanda potrebbero finalmente guidare l'adozione. Riepilogo: Carta: Disponibile anche su YouTube:

Bitcoin L2 - opinioni di esperti da @michaelterpin, Fondatore di @TransformVC21, @BitAngels e consulente di @GOATRollup: • Perché L2: Aggiungono programmabilità e throughput senza modificare Bitcoin L1. Esempi: sistemi basati su BitVM2, rollup. • Modello di sicurezza: Preferire design che si regolano on-chain; evitare ponti custodiali. La validità di L2 dovrebbe ancorarsi a Bitcoin. • Casi d'uso: Bridging con fiducia minimizzata, stablecoin garantite da BTC, infrastrutture DeFi, nuovi flussi di pagamento. • Impatto macro: Rafforza il dominio di BTC; completa la tesi del valore rifugio piuttosto che sostituirla. • Percorso di adozione: L'innovazione spesso appare prima su altre catene; se deve scalare, viene portata su Bitcoin tramite L2. • Visione del ciclo: I Bitcoin L2 sono una narrativa chiave di questo ciclo, ma non l'unico motore del prezzo. Ascolta la discussione completa con Michael - approfondimenti su BitVM2, regolamento on-chain e dove si inseriscono gli L2 nella roadmap di Bitcoin:

House of ZK Radio #67: Ming Guo, Co-fondatore e Chief Scientist di ZKM - disponibile ora su Spotify e YouTube 🔳 In questo episodio, @alicelingl si siede con @DacEconomy - Co-fondatore e Chief Research Scientist di @ProjectZKM - per mappare come la zero-knowledge sia passata da @ethereum a Bitcoin, e come appare un'economia Bitcoin sicura tramite calcolo verificabile. Spotify: YouTube: Cosa c'è dentro: • La progressione ZK: privacy delle transazioni → circuiti generali → zkVM con prove quasi in tempo reale • Perché il design zkVM basato su MIPS di ZKM è importante per prestazioni, stabilità e verifica • Architetture Bitcoin L2 basate su BitVM2 come @GOATRollup, e perché L2 è la via sicura verso la programmabilità • “Liquidazione universale”: calcolo verificabile come base per applicazioni decentralizzate • Responsabilità programmabile e incentivi vs. modelli legacy “fidati di una parte” • UX per sviluppatori: da zkDSL a scrivere codice normale e provare l'esecuzione in uno zkVM • Oltre “riserva di valore”: rendimento, asset stabili e attività on-chain ancorate a Bitcoin senza compromettere la sicurezza di L1 Se costruisci su Bitcoin o ZK, questo episodio fornisce un chiaro framework per lo stack, i compromessi e cosa serve per passare dal semplice possesso di BTC a un'economia funzionante e verificabile.

Qui riportiamo i progressi dei principali costruttori nell'ecosistema zkVM, documentando recenti rilasci significativi, innovazioni tecniche e aggiornamenti generali. In evidenza: @SuccinctLabs, @ProjectZKM, @NexusLabs, @RiscZero, Jolt (@a16zcrypto), @ziskvm, & @ligero_inc 👇

E se @solana potesse finalizzare i blocchi in meno di mezzo secondo? Questa è la visione delineata da Roger Wattenhofer (Responsabile della Ricerca presso @anza_xyz/@ETH_en) in questa sessione di lettura del @WPReadingClub. Attraendo sia dalla ricerca accademica sul consenso che dal design unico di Solana, @TheWattenhofer presenta Alpenveil, una nuova proposta di protocollo di consenso che combina: • Finalità ultra-rapida - i risultati simulati mostrano la finalizzazione del blocco in ~150ms, con percorsi reali che si avvicinano a ~500ms di conferma a livello utente. • Votazione parallelizzata - un meccanismo innovativo che esegue votazioni a un turno (80%) e a due turni (60%→commit) in parallelo, permettendo a quello che completa più velocemente di finalizzare il blocco. • Prove di sicurezza formali - un modello rigoroso che si discosta dalle tradizionali assunzioni bizantine del 33%, sostenendo modelli di guasto più realistici (20% bizantino, 40% tollerante ai guasti di crash) data l'attuale panorama dei validatori. • Compromessi nel design del sistema - dalla codifica di cancellazione per la diffusione dei dati a perché il taglio è evitato (almeno inizialmente), e come la distribuzione geografica delle partecipazioni influisce sulla latenza. Questa incredibile sessione rappresenta un ripensamento fondamentale del consenso per le blockchain ad alte prestazioni, mescolando teoria, pratica e le limitazioni del mondo reale di Solana. Riepilogo: Carta: Disponibile anche su YouTube:

Qui riportiamo i progressi dei principali costruttori nell'ecosistema del Proving Service, documentando recenti rilasci significativi, innovazioni tecniche e aggiornamenti generali. In evidenza: @fermah_xyz, @Ingo_zk, @brevis_zk, @zan_team, & @vlayer_xyz ⬇️