Function domain_size

pub fn domain_size(composition_degree: usize, skip_rounds: usize) -> usize

Univariatized domain size.

Note that composition over univariatized multilinears has degree $d (2^n - 1)$ and can be uniquely determined by its evaluations on $d (2^n - 1) + 1$ points. We however deliberately round this number up to $d 2^n$ to be able to use additive NTT interpolation techniques on round evaluations.