Opam Package bn128.0.1.3

Package info

opam-namebn128
opam-version0.1.3
synopsisBarreto-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.
authors
  • Dwight Guth <dwight.guth@runtimeverification.com>
homepagehttps://github.com/runtimeverification/bn128-ml
licenseUIUC
deps (3)
revdeps(0)
metas (1)
libraries (1)

Package modules

Package sources

bn128

Package files

lib/bn128/bn128Test.mli
lib/bn128/bn128.cmxa
lib/bn128/bn128.cma
lib/bn128/bn128.a
lib/bn128/bN128Pairing.mli
lib/bn128/bN128Pairing.cmx
lib/bn128/bN128Pairing.cmo
lib/bn128/bN128Pairing.cmi
lib/bn128/bN128Elements.mli
lib/bn128/bN128Elements.cmx
lib/bn128/bN128Elements.cmo
lib/bn128/bN128Elements.cmi
lib/bn128/bN128Curve.mli
lib/bn128/bN128Curve.cmx
lib/bn128/bN128Curve.cmo
lib/bn128/bN128Curve.cmi
lib/bn128/META
lib/bn128