文件名称：mitls-fstar:在 F* 中验证 TLS 1.3 的实现
文件大小：10.58MB
文件格式：ZIP
更新时间：2024-08-24 08:23:59
F*
miTLS：经过验证的 TLS 参考实现 该存储库包含新的 F* 开发以及稳定的到 F* 0.9 的端口。 建造 地位 视窗 Linux miTLS 网站 有关更多信息，请访问 。有关 F* 的更多信息，请访问 目录 建造 有两种方法可以设置构建环境。 使用 Docker 前往https://github.com/mitls/mitls-fstar/wiki/Setting-up-a-Docker-based-Development-environment获取设置说明 使用 Cygwin 和 OCaml 进行自定义设置 有许多依赖项。 按照https://github.com/protz/ocaml-installer/wiki上的说明进行操作，进行 Cygwin 和 OCaml 设置。 除了ocamlfind 、 batteries 、 stdint和zarith ，您还需要安