package octez-libs

You can search for identifiers within the package.

in-package search v0.2.0

A package that contains multiple base libraries used by the Octez suite

Install

sha256=aa2f5bc99cc4ca2217c52a1af2a2cdfd3b383208cb859ca2e79ca0903396ca1d

sha512=d68bb3eb615e3dcccc845fddfc9901c95b3c6dc8e105e39522ce97637b1308a7fa7aa1d271351d5933febd7476b2819e1694f31198f1f0919681f1f9cc97cb3a

module G1 : BASE

module G2 : BASE

module GT : Bls12_381.Ff_sig.BASE

exception FailToComputeFinalExponentiation of GT.t

val miller_loop : (G1.t * G2.t) list -> GT.t

val miller_loop_simple : G1.t -> G2.t -> GT.t

Compute the miller loop on a single tuple of point

val pairing : G1.t -> G2.t -> GT.t

Compute a pairing result of a list of points

val final_exponentiation_opt : GT.t -> GT.t option

Compute the final exponentiation of the given point. Returns a None if the point is null

val final_exponentiation_exn : GT.t -> GT.t

Compute the final exponentiation of the given point. Raise FailToComputeFinalExponentiation if the point is null