Document the roadmap of the project

[DemiMarie]

Is there an estimated time for when mitls will be usable in production, for example?

[beurdouche]

Hi Demi, miTLS is already used in production, however the complexity of the project makes it difficult to treat as a traditional software artifact for third parties. I can let @protz or @ad-l comment more on that if they want.

[DemiMarie]

I know that parts of HACL* are already used in places such as NSS. What about the TLS and hoped-for QUIC implementations?

[beurdouche]

The TLS and QUIC parts are used in production too, but not at Mozilla.
I'll let the MSFT folks comment on that point if they want to... : )

[DemiMarie]

The TLS and QUIC parts are used in production too, but not at Mozilla. I'll let the MSFT folks comment on that point if they want to... : )

If there is a formally verified TLS implementation I want to see it in @curl!