package tezos-bls12-381-polynomial

  1. Overview
  2. Docs
type polynomial = Polynomial.t
type t

A context to be used with pippenger

val of_array : Bls12_381.G1.t array -> t
val to_array : t -> Bls12_381.G1.t array
val get : t -> int -> Bls12_381.G1.t

get srs i returns the i-th element of srs

val size : t -> int

Returns the pippenger ctxt size, i.e. the number of elements the context is supposed to be called with

val load_from_file : string -> ?offset:int -> int -> t

srs_load_from_file path ~offset size reads size points of g1 in affine compressed format from the file at path starting at offset.

val pippenger : ?start:int -> ?len:int -> t -> polynomial -> Bls12_381.G1.t

pippenger ctxt poly computes the multiscalar exponentiation using the SRS saved in the context and the coefficients of the given polynomial