文件名称：easycrypt:EasyCrypt
文件大小：1.22MB
文件格式：ZIP
更新时间：2024-04-23 17:17:45
OCaml
EasyCrypt：计算机辅助加密证明 EasyCrypt是一个工具集，用于通过对抗性代码推理概率计算的关系属性。 它的主要应用是基于游戏的加密证明的构建和验证。 目录 安装要求 EasyCrypt使用以下第三方工具/库： OCaml（> = 4.05） 可在 OCamlbuild Why3（> = 1.3） 可在 Why3必须安装有证明。 参见 Why3库必须安装（make byte && make install-lib） Menhir 随附的OCaml电池 OCaml PCRE（> = 7） OCaml Zarith OCaml原始文件 在POSIX / Win32系统（GNU / Linux，* BSD，OS-X）上，我们建议用户通过opam安装EasyCrypt及其所有依赖opam 。 通过OPAM 使用OPAM 2（POSIX系统）安装需求 可从