pub fn shifts( (_which, log2s): &(Vec<Boolean>, Vec<u64>), shifts: impl Fn(u64) -> Box<[Fp; 7]>, ) -> Box<[Fp; 7]>