Formalization of Blockchain Properties | Publicación