package tezos-plonk

You can search for identifiers within the package.

in-package search v0.2.0

Plonk zero-knowledge proving system

Install

md5=c9007a234fbacaddbc652c139cac56db

sha512=b67825a9259c27ccba51a4cb98056985c93f74f5211d422ce8ee8c35cda748c22bd1e59b3a584a79f96c1be21a409a12ee4b705346e1319c6d8bf45e81029f93

type scalar = Scalar.t

val powers : int -> scalar -> scalar array

val batch : scalar -> scalar list -> scalar

val build_quadratic_non_residues : int -> scalar array

val random_fr_list : Bytes.t -> int -> scalar list * Bytes.t

val random_fr : Bytes.t -> scalar * Bytes.t