姓郑的高考状元名字包括：

郑益：

唐高宗上元二年（675）乙亥科状元。

郑全济：

唐德宗贞元元年（785）乙丑科状元。

郑巨源：

唐德宗贞元十三年（797）丁丑科状元。

郑遚：

字蕴山，唐宪宗元和十一年（816）丙申科状元。

郑冠：

唐穆宗长庆三年（823）癸卯科状元。

郑确（一作郑璀）：唐大和年（835）乙卯科状元。

这些名字不仅代表了他们在科举考试中的卓越成就，也体现了他们各自的人格特质和美好寓意。