Satoshi's Math: How Bitcoin's Use of Mathematical Tools Ensures System Consistency