* 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.