1 search result for "author:"Dwight Guth <dwight.guth@runtimeverification.com>""

Showing 1 - 1
  1. bn128
    Documentation
    Barreto-Naehrig 128 Elliptic Curve pairing function library in OCAML
    Dwight Guth <dwight.guth@runtimeverification.com>
    0.1.3
    UIUC
    Used by 0 other packages
    23 Jul 2018