package bn128

  1. Overview
  2. Docs
val b : t
val g : t point
val is_on_curve : t point -> bool
val double : t point -> t point
val add : t point -> t point -> t point
val mul : t point -> Z.t -> t point
val neg : t point -> t point