How to Transfer Bitcoin: The Mathematical and Analytical Framework Behind Secure Transactions