[411mrc]

I think the designer's own words are a better summary of the problem solved:

http://satoshi.nakamotoinstitute.org/emails/cryptography/11/

The magical thing is that you can actually know that the distributed system is consistent by how much work was performed.