“Acontece que isso é realmente eficiente o suficiente para fazer no Bitcoin - dentro de todas as loucas restrições do Bitcoin Script.” - @robin_linus, Criador do BitVM & @ZeroSync_ Na House of ZK Radio #86, Robin Linus explicou como o BitVM remove os limites de verificação do Bitcoin como um bloqueador - explicando por que refutar um SNARK incorreto pode ser mais barato do que verificar completamente um correto e como essa assimetria é usada para verificar otimisticamente SNARKs dentro do ambiente de script restrito do Bitcoin. Este é o mecanismo que torna o BitVM viável. E é a razão pela qual as pontes de Bitcoin minimizadas em confiança podem depender de uma suposição de honestidade existencial em vez de um modelo de maioria honesta. Assista à conversa completa com Robin enquanto traçamos como esses primitivos desbloqueiam uma nova classe de sistemas em escala Bitcoin: