We study the mapping that serves as a mathematical model of the system of phase synchronization with discrete time. The conditions of the existence of hyperbolic attractors are derived. We prove the existence of homoclinic trajectories leading to the emergence of hyperbolic attractors.