Principles of Blockchain Systems