package octez-bls12-381-polynomial

  1. Overview
  2. Docs
include Carray.Elt_sig with type t = G.affine
type t = G.affine
val size : int
val allocate : unit -> t
val zero : t
val eq : t -> t -> bool
val uncompress : G.affine -> bytes -> int

uncompress res bs n reads n bytes from bs and uncompresses them into an affine point in res. Returns 0 if successful.

val pippenger : G.t -> Bigstringaf.t -> Polynomial.t -> int -> int -> int

pippenger res srs poly offset len writes in res the multiexponentiation of srs with the polynomial poly starting at offset and for len elements. Returns 0 if successful.


Innovation. Community. Security.