Oddbean new post about | logout
 LaGrange proved the four square theorem in 1770.

We use that now in zero-knowledge range proofs.