sqrt(2^3072) == 2^1536