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

  1. bn128
    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
    Last published 23 Jul 2018