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.