Fast Trajectory Optimization for Legged Robots Using Vertex-Based ZMP Constraints | Synapse