CryptoVerif Installation
Instructions for installing CryptoVerif.
Contents
Prerequisites
(CH: It would be great if these prerequisites would be only for building from sources, while the binary packages would include their dependencies)
- OCaml version 3.00 or higher.
(CH: This is a prerequisite only when building from source, right? Is there any way to do this without building things from sources (e.g. on Windows)?)
(CH: TODO: separate instructions for OCaml, shared between the three tools)
- The cryptokit OCaml cryptographic library, version 1.9 (CH: right?)(CH: Is this required or optional?)
In order to run implementations of protocols generated by CryptoVerif, you need to have the Caml cryptographic library "cryptokit" installed. This library is available at
http://forge.ocamlcore.org/projects/cryptokit/
You need to either - arrange so that the installed cryptokit library is in subdirectory "implementation/cryptokit" of the CryptoVerif distribution (possibly via a symbolic link) - or install the cryptokit library in the "cryptokit" subdirectory of the Caml standard library - or modify the variable CRYPTOKIT in the scripts implementation/npsk/build.sh implementation/wlsk/build_wlsk.sh so that the cryptokit library is included.
(CH: Can we make this easier? Can we automate it with a script? Also, people using opam can just do `opam install cryptokit`)
- (CH: Cygwin for Windows)
(CH: If any of the other tools needs Cygwin to run on Windows, we could link to the Cygwin installation instructions, and mention explicitly which packages our tools we depend on: make, etc)
- Emacs (CH: it seems it's already a dependency for the EasyCrypt part: https://www.easycrypt.info/trac/browser/README?rev=1.0)
Installing the binary package (Windows)
On Windows, the recommended way is to use the precompiled binaries, available as a separate distribution. [1]
(CH: Any chance for a zip archive of this? Windows people don't usually use tar gz?)
(CH: How about including a cryptokit binary in this release, so that people can use this out of the box?)
(CH: It would be too hard to provide binaries for other platforms?)
Building from Source (Linux, Mac, Windows with Cygwin)
Download CryptoVerif sources:
wget http://prosecco.gforge.inria.fr/personal/bblanche/cryptoverif/cryptoverif1.19.tar.gz
Uncompress the archive using tar:
gunzip cryptoverif1.19.tar.gz tar -xf cryptoverif1.19.tar
or if you have GNU tar:
tar -xzf cryptoverif1.19.tar.gz
This will create a directory named cryptoverif1.19 in the current directory. Go into this directory, and build the programs:
cd cryptoverif1.19 ./build
Frequently asked questions
License
The CryptoVerif cryptographic protocol verifier, version 1.19 is copyright ENS, CNRS, INRIA, by Bruno Blanchet and David Cadé, 2005-2014. It is released under the terms of the CeCILL-B license. (The CeCILL-B license is a BSD-style license. See the file LICENSE for more information.)
