package tezos-plonk

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
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 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

OCaml

Innovation. Community. Security.