House of ZK Radio #67: Ming Guo, Co-fundador e Cientista Chefe na ZKM - disponível agora no Spotify e YouTube 🔳 Neste episódio, @alicelingl conversa com @DacEconomy - Co-fundador e Cientista Chefe de Pesquisa na @ProjectZKM - para mapear como o zero-knowledge se deslocou do @ethereum para o Bitcoin, e como é realmente uma economia Bitcoin assegurada por computação verificável. Spotify: YouTube: O que há dentro: • A progressão do ZK: privacidade de transações → circuitos gerais → zkVMs com prova quase em tempo real • Por que o design zkVM baseado em MIPS da ZKM é importante para desempenho, estabilidade e verificação • Arquiteturas Bitcoin L2 baseadas em BitVM2 como @GOATRollup, e por que L2 é a rota segura para programabilidade • “Liquidação universal”: computação verificável como base para aplicações descentralizadas • Responsabilidade programável e incentivos vs. modelos legados de “confiar em uma parte” • UX do desenvolvedor: de zkDSLs para escrever código normal e provar execução em um zkVM • Além de “reserva de valor”: rendimento, ativos estáveis e atividade on-chain ancorada ao Bitcoin sem comprometer a segurança do L1 Se você constrói sobre Bitcoin ou ZK, este episódio fornece uma estrutura clara para a pilha, compensações e o que é necessário para passar de meramente manter BTC para uma economia funcional e verificável.