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 encoding : t Data_encoding.t

Simply encodes the Srs as the filename where it was read from and its size.

val encoding_full : t Data_encoding.t

Encodes the whole Srs as an OCaml 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 -> 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

For testing only

val of_array : Bls12_381.G1.t array -> t
val to_array : t -> Bls12_381.G1.t array
OCaml

Innovation. Community. Security.