【文件属性】:
文件名称:easycrypt:EasyCrypt
文件大小:1.22MB
文件格式:ZIP
更新时间:2021-04-03 23:31:05
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系统)安装需求
可从