"Acontece que isso é eficiente o suficiente para fazer no Bitcoin - dentro de todas as restrições malucas do Bitcoin Script." - @robin_linus, criador do BitVM & @ZeroSync_ Em 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 totalmente um correto e como essa assimetria é usada para verificar SNARKs de forma otimista dentro do ambiente de scripting restrito do Bitcoin. Esse é o mecanismo que torna o BitVM viável. E é por isso que as pontes de Bitcoin minimizadas pela confiança podem se basear em uma suposição existencial de honestidade, 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: