Saskaņā ar Foresight News, ZeroSync projekta vadītājs Robins Linuss, kura mērķis ir ieviest Bitcoin pierādījumus bez zināšanām, ir izlaidis dokumentu ar nosaukumu "BitVM: Aprēķiniet visu par Bitcoin". BitVM ir jauna skaitļošanas paradigma, kas ļauj izteikt Tjūringa pabeigtos Bitcoin līgumus, nemainot Bitcoin tīkla konsensa noteikumus. Tas var izpildīt jebkuru izskaitļojamu funkciju un veikt bezsaistes aprēķinus, neatstājot ķēdē nekādas pēdas. Dokumentā ir apskatīta arī BitVM arhitektūra, ievade/izvade, ierobežojumi un izredzes.