opam-version: "2.0"
maintainer: "Dwight Guth <dwight.guth@runtimeverification.com>"
authors: "Dwight Guth <dwight.guth@runtimeverification.com>"
homepage: "https://github.com/runtimeverification/bn128-ml"
bug-reports: "https://github.com/runtimeverification/bn128-ml/issues"
license: "UIUC"
dev-repo: "git+https://github.com/runtimeverification/bn128-ml.git"
build: [make]
install: [make "install"]
remove: ["ocamlfind" "remove" "bn128"]
depends: [
  "ocaml" {>= "4.03.0"}
  "ocamlfind" {build}
  "zarith"
]
synopsis:
  "Barreto-Naehrig 128 Elliptic Curve pairing function library in OCAML"
description: """
bn128-ml is an OCAML library providing access to the Barreto-Naehrig-128
elliptic curve, including field operations over the relevant field,
elliptic curve operations over the G1, G2, and G12 curves, and a
pairing function which accepts a point in G1 and a point in G2 and
pairs it into a point in G12."""
flags: light-uninstall
url {
  src: "https://github.com/runtimeverification/bn128-ml/archive/0.1.3.tar.gz"
  checksum: "md5=17eef859351940e6a384481380dc547b"
}
