evocrypt.opam

# This file is generated by dune, edit dune-project instead
opam-version: "2.0"
synopsis: "EVOCrypt: EasyCrypt Verified OCaml Cryptographic Library"
description:
  "EVOCrypt includes verified implementations of modern cryptographic algorithms including MPC protocols (BGW and Maurer), commitment schemes (SHA3-based), ZK protocols (MPC-in-the-Head and LPZK) and OLE/VOLE protocols based on additively homomorphic encryption schemes (Paillier-based OLE/VOLE). All implementations were developed and proven secure in EasyCrypt and were then extracted to OCaml using CoCoCrypt"
maintainer: ["Vitor Pereira <vitor.pereira@sri.com>"]
authors: ["Vitor Pereira and Stéphane Graham-Lengrand"]
license: "MIT License"
homepage: "https://github.com/SRI-CSL/evocrypt"
bug-reports: "https://github.com/SRI-CSL/evocrypt/issues"
depends: [
  "ocaml"
  "dune" {>= "3.14"}
  "cryptokit"
  "zarith"
  "domainslib"
  "odoc" {with-doc}
]
build: [
  ["dune" "subst"] {dev}
  [
    "dune"
    "build"
    "-p"
    name
    "-j"
    jobs
    "@install"
    "@runtest" {with-test}
    "@doc" {with-doc}
  ]
]
dev-repo: "git+https://github.com/SRI-CSL/evocrypt.git"