Closed GlenDC closed 4 months ago
Given its formal verification work and supposedly greater performance, might be time we give it for a spin.
To be done after we already have support for boring ssl.
Given its formal verification work and supposedly greater performance, might be time we give it for a spin.
To be done after we already have support for boring ssl.