No episódio #86 da House of ZK Radio, @robin_linus (@ZeroSync_) explica por que criou o BitVM e como ele realmente funciona. Robin primeiro explica como o Bitcoin foi projetado como um sistema de pagamento peer-to-peer, mas blocos de 10 minutos e ~4MB a cada 10 minutos estão longe de ser suficientes para uso global. Em vez de transformar o Bitcoin em mais uma cadeia de contratos inteligentes, ele queria uma maneira de obter pontes e L2s estilo zkRollup no Bitcoin usando apenas opcodes existentes. Isso levou à ideia central do BitVM: verificação otimista - em vez de verificar completamente um SNARK na cadeia, você só precisa ser capaz de refutar uma prova inválida, como apontar para duas células conflitantes em uma solução ruim de Sudoku. Ele então explica como o BitVM transforma o ambiente muito limitado do Bitcoin Script, de 32 bits e sem multiplicação, em uma camada de verificação geral, estruturando o sistema em torno de dois papéis: um operador que publica reivindicações e desafiadores que podem provar de forma sucinta a fraude. O modelo de confiança muda de "maioria honesta" para "um desafiador honesto é suficiente", abrindo a porta para pontes com confiança minimizada e L2s mais expressivos sem um soft-fork. Assista ao episódio completo para se aprofundar na evolução do BitVM (BitVM1 → BitVM2 → BitVM3), circuitos embaralhados e Glock, por que ele chama o BitVM de "um monte de hacks sobre hacks", e como tudo isso se encaixa no roteiro mais amplo para escalar o Bitcoin de uma maneira nativa ao Bitcoin: