Results for Foundations of Bitcoin