Make (snarkette.Snarkette.Pairing.Make)

Parameters

module Fq : Fields.Fp_intf

module Fq_twist : Fields.Extension_intf with type base = Fq.t

module Fq_target : sig ... end

module G1 : Simple_elliptic_curve_intf with type base := Fq.t

module G2 : sig ... end

module Info : sig ... end

module G1_precomputation : sig ... end

module G2_precomputation : sig ... end

val final_exponentiation : Fq_target.t -> Fq_target.t

val miller_loop : G1_precomputation.t -> G2_precomputation.t -> Fq_target.t

val unreduced_pairing : G1.t -> G2.t -> Fq_target.t

val reduced_pairing : G1.t -> G2.t -> Fq_target.t