House of ZK Radio #67: Ming Guo, co-fundador e cientista-chefe da ZKM - disponível agora no Spotify e YouTube 🔳 Neste episódio, @alicelingl se senta com @DacEconomy - cofundador e cientista-chefe de pesquisa da @ProjectZKM - para mapear como o conhecimento zero mudou do @ethereum para o Bitcoin e como é realmente uma economia Bitcoin garantida por computação verificável. Spotify: YouTube: O que está dentro: • A progressão ZK: privacidade de transações → circuitos gerais → zkVMs com comprovação 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 é o caminho seguro para a programabilidade • "Liquidação universal": computação verificável como base para aplicativos descentralizados • Responsabilidade e incentivos programáveis versus modelos legados de "confiar em uma parte" • Developer UX: de zkDSLs a escrever código normal e comprovar a execução em um zkVM • Além da "reserva de valor": rendimento, ativos estáveis e atividade on-chain ancorada ao Bitcoin sem comprometer a segurança L1 Se você construir em Bitcoin ou ZK, este episódio fornece uma estrutura clara para a pilha, compensações e o que é necessário para passar de apenas manter BTC para uma economia funcional e verificável.