По сообщению Foresight News, Робин Линус, руководитель проекта ZeroSync, целью которого является внедрение доказательств с нулевым разглашением в Биткойн, выпустил технический документ под названием «BitVM: Вычислить что-либо на Биткойне». BitVM — это новая вычислительная парадигма, которая позволяет выражать биткойн-контракты, полные по Тьюрингу, без изменения консенсусных правил сети Биткойн. Он может выполнять любую вычислимую функцию и выполнять автономные вычисления, не оставляя следов в цепочке. В официальном документе также рассматриваются архитектура, ввод/вывод, ограничения и перспективы BitVM.