A Developer Puts Bitcoin Block Verification at 27 Milliseconds and the Full Chain at 17 GPU Years · Polylog