Another article from the same blog about optimizing RSA: * https://www.amazon.science/blog/formal-verification-makes-rsa-faster-and-faster-to-deploy https://ww

Another article from the same blog about optimizing RSA: * https://www.amazon.science/blog/formal-verification-makes-rsa-faster-and-faster-to-deploy https://www.amazon.science/blog/formal-verification-makes-rs... RSA signature verification is already very fast and TLS doesn't use RSA for encryption anymore so the problem reduces to optimizing signing operations.