A computer scientist explains how proof-of-stake can revolutionize crypto