Potrivit Foresight News, Robin Linus, liderul de proiect al ZeroSync, care își propune să introducă dovezi de zero cunoștințe în Bitcoin, a lansat o carte albă intitulată „BitVM: Compute Anything on Bitcoin”. BitVM este o nouă paradigmă de calcul care permite exprimarea contractelor Bitcoin complete Turing fără a modifica regulile de consens ale rețelei Bitcoin. Poate executa orice funcție calculabilă și poate efectua calcule offline fără a lăsa urme pe lanț. Cartea albă acoperă, de asemenea, arhitectura, intrarea/ieșirea, limitările și perspectivele BitVM.