4 ms·Unrelated question: are there any formalization of the Bitcoin protocol out there?by GmeSalazar 12y agoUnrelated question: are there any formalization of the Bitcoin protocol out there?