도증

당나라에 가서 신라승 원측의 제자가 되어 유식학을 배웠다. 692년(효소왕 1) 귀국하여 왕에게 천문도를 바쳤다. 귀국 후의 활동은 전하지 않으나 유가종의 시조인 대현의 스승이라는 설이 있다.

그의 사상적 체계는 원측의 논적인 혜소가 〈성유식론요의등 成唯識論了義燈〉을 지으면서 원측과 도증을 비판한 것과 대현의 저술을 통해서 알 수 있는데, 대체로 원측의 학설을 따르고 있다. 그는 유식학을 근본사상으로 삼고 있으면서도 반야부 계통의 경전, 인명학, 정토신앙에도 관심이 있었다. 저서로는 〈성유식론강요 成唯識論綱要〉·〈변중변론소 辯中邊論疏〉·〈인명입정리론소 因明入正理論疏〉 등 13종이 있으나 모두 전하지 않는다.