LWE estimator isn't a proxy for this?