Як повідомляє Foresight News, Робін Лінус, керівник проекту ZeroSync, який має на меті запровадити докази нульового знання біткойнів, випустив технічну документацію під назвою «BitVM: Compute Anything on Bitcoin». BitVM — це нова обчислювальна парадигма, яка дозволяє виражати повні за Тьюрингом контракти біткойн без зміни правил консенсусу мережі біткойн. Він може виконувати будь-яку обчислювану функцію та виконувати автономні обчислення, не залишаючи жодних слідів у ланцюжку. Офіційний документ також охоплює архітектуру, введення/виведення, обмеження та перспективи BitVM.