package tezos-plonk

You can search for identifiers within the package.

in-package search v0.2.0

Plonk zero-knowledge proving system

Install

Dune Dependency

research-development.nomadic-labs.com Readme Edit opam file Versions (6)

Authors

N

Nomadic Labs Privacy Team

Maintainers

P

privacy-team@nomadic-labs.com

Sources

privacy-team-v1.0.0.tar.gz

md5=c9007a234fbacaddbc652c139cac56db

sha512=b67825a9259c27ccba51a4cb98056985c93f74f5211d422ce8ee8c35cda748c22bd1e59b3a584a79f96c1be21a409a12ee4b705346e1319c6d8bf45e81029f93

doc/tezos-plonk.distribution/Distribution/Kzg_pack/Make/Polynomial/Evaluations/index.html

Module `Polynomial.Evaluations`

type scalar = scalar

type polynomial = Polynomial.t

type t = PC.Polynomial.Evaluations.t

val t : t Repr.t

val of_array : (int * scalar array) -> t

val to_array : t -> scalar array

val string_of_eval : t -> string

type domain = Domain.t

val of_domain : domain -> t

val to_domain : t -> domain

val zero : t

val is_zero : t -> bool

val degree : t -> int

val length : t -> int

val create : int -> t

val copy : ?res:t -> t -> t

val get : t -> int -> scalar

val mul_by_scalar : scalar -> t -> t

val mul_c : 
  ?res:t ->
  evaluations:t list ->
  ?composition_gx:(int list * int) ->
  ?powers:int list ->
  unit ->
  t

val linear_c : 
  ?res:t ->
  evaluations:t list ->
  ?linear_coeffs:scalar list ->
  ?composition_gx:(int list * int) ->
  ?add_constant:scalar ->
  unit ->
  t

val linear_with_powers : t list -> scalar -> t

val add : ?res:t -> t -> t -> t

val equal : t -> t -> bool

val evaluation_fft : domain -> polynomial -> t

val interpolation_fft : domain -> t -> polynomial

val interpolation_fft2 : domain -> scalar array -> polynomial

val dft : domain -> polynomial -> t

val idft_inplace : domain -> t -> polynomial

val evaluation_fft_prime_factor_algorithm : 
  domain1:domain ->
  domain2:domain ->
  polynomial ->
  t

val interpolation_fft_prime_factor_algorithm_inplace : 
  domain1:domain ->
  domain2:domain ->
  t ->
  polynomial