Em House of ZK Radio #86, @robin_linus (@ZeroSync_) explica por que ele 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 ~ 4 MB por 10 minutos não são suficientes para uso global. Em vez de transformar o Bitcoin em outra cadeia de contratos inteligentes, ele queria uma maneira de obter pontes e L2s no estilo zkRollup no Bitcoin usando apenas opcodes existentes. Isso levou à ideia central do BitVM: verificação otimista - em vez de verificar totalmente um SNARK on-chain, você só precisa ser capaz de refutar uma prova inválida, como apontar para duas células conflitantes em uma solução de Sudoku ruim. Ele então explica como o BitVM transforma o ambiente muito limitado, de 32 bits e sem multiplicação do Bitcoin Script em uma camada de verificação geral, estruturando o sistema em torno de duas funções: um operador que publica reivindicações e desafiantes que podem provar sucintamente a fraude. O modelo de confiança muda de "maioria honesta" para "um desafiante honesto é suficiente", abrindo a porta para pontes minimizadas pela confiança 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 ilegíveis e Glock, por que ele chama o BitVM de "uma pilha de hacks em hacks" e como tudo isso se encaixa no roteiro mais amplo para escalar o Bitcoin de uma maneira nativa do Bitcoin: