Unrelated question: are there any formalization of the Bitcoin protocol out there?