package octez-bls12-381-polynomial

compute_domain res n g computes [one; g; ..; g^{n-1}] for a given blst_fr element g

requires:

• 1 < n <= size res

ensures:

• res[i] = g^i for i = 0..(n-1)

rescale res a size_res size_a writes the result of rescaling the evaluation representation of a polynomial a from domain_a of size size_a to domain_res of size size_res in res

requires:

• size res = size_res
• size a = size_a
• size_res <= size_a
• res and a are disjoint
• size_res mod size_a = 0