Selon Foresight News, Robin Linus, le chef du projet ZeroSync, qui vise à introduire des preuves de connaissance nulle dans Bitcoin, a publié un livre blanc intitulé « BitVM : Compute Anything on Bitcoin ». BitVM est un nouveau paradigme informatique qui permet l'expression de contrats Bitcoin complets de Turing sans modifier les règles de consensus du réseau Bitcoin. Il peut exécuter n'importe quelle fonction calculable et effectuer des calculs hors ligne sans laisser de traces sur la chaîne. Le livre blanc couvre également l'architecture, les entrées/sorties, les limites et les perspectives de BitVM.