check
Direct product via round-preserving compression | Omri Weinstein

Direct product via round-preserving compression