pub fn generator( (which, log2s): &(Vec<Boolean>, Vec<u64>), domain_generator: impl Fn(u64) -> Fp, ) -> Fp