package tezos-bls12-381-polynomial

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

• requires: n is even and 0 < 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