Mavkit_bls12_381_polynomial.Domain
type scalar = scalar
val t : t Repr.t
val length : t -> int
length p
returns the length of a given array p
val primitive_root_of_unity : int -> scalar
primitive_root_of_unity n
returns a primitive n
-th root of unity, provided it exists
build n
computes [one; g; ..; g^{n-1}]
where g
is a primitive n
-th root of unity
build_power_of_two log
computes [one; g; ..; g^{n-1}]
where g
is a primitive n
-th root of unity and n = 2^log