Foundations of Blockchain