Hard Problems in Cryptocurrency: Five Years Later - Buterin — LessWrong