Maison de ZK Radio #67 : Ming Guo, Co-fondateur & Scientifique en Chef chez ZKM - disponible maintenant sur Spotify & YouTube 🔳 Dans cet épisode, @alicelingl s'assoit avec @DacEconomy - Co-fondateur & Scientifique en Chef de la Recherche chez @ProjectZKM - pour cartographier comment le zero-knowledge a évolué d'@ethereum vers Bitcoin, et à quoi ressemble réellement une économie Bitcoin sécurisée par un calcul vérifiable. Spotify : YouTube : Ce qu'il y a à l'intérieur : • La progression ZK : confidentialité des transactions → circuits généraux → zkVMs avec preuve quasi-temps réel • Pourquoi le design zkVM basé sur MIPS de ZKM est important pour la performance, la stabilité et la vérification • Architectures Bitcoin L2 basées sur BitVM2 comme @GOATRollup, et pourquoi L2 est la voie sécurisée vers la programmabilité • "Règlement universel" : calcul vérifiable comme base pour des applications décentralisées • Responsabilité programmable et incitations vs. modèles hérités de "faire confiance à une partie" • UX développeur : des zkDSLs à l'écriture de code normal et à la preuve d'exécution dans un zkVM • Au-delà de "réserve de valeur" : rendement, actifs stables, et activité on-chain ancrée à Bitcoin sans compromettre la sécurité de L1 Si vous construisez sur Bitcoin ou ZK, cet épisode fournit un cadre clair pour la pile, les compromis, et ce qu'il faut pour passer de la simple détention de BTC à une économie fonctionnelle et vérifiable.