-
Notifications
You must be signed in to change notification settings - Fork 1.1k
/
opam
31 lines (31 loc) · 1.13 KB
/
opam
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
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: [
"sha256=2f7cff036093d9fe898d03931aa7f347fc946656f72f6d7ef5ff502c6fa947f6"
"md5=17eef859351940e6a384481380dc547b"
]
}