tezos-plonk.aggregation
Polynomial.Domain
tezos-plonk
tezos-plonk.distribution
type scalar = scalar
type t = Polynomial_commitment.Polynomial.Domain.t
val t : t Repr.t
val length : t -> int
val get : t -> int -> scalar
val primitive_root_of_unity : int -> scalar
val build : ?primitive_root:scalar -> int -> t
val build_power_of_two : ?primitive_root:scalar -> int -> t
val subgroup : log:int -> t -> t
val inverse : t -> scalar array