报告题目：代数和非代数语句的有效零知识证明
报告时间：2023年10月21日下午15：00-16：00
报告地点：bat365在线平台犀浦校区7教7510
报告人：唐春明
摘要：零知识证明是一种重要的密码学工具，在多个方向得到重要的应用。零知识证明领域的一个重要结论是，任意的NP问题都存在零知识证明系统。在本报告中，我们主要对代数命题和非代数命题的零知识证明系统进行介绍。对于代数命题，可以使用Sigma协议或Sigma协议的组合，实现零知识证明系统，比如证明离散对数等。而对于非代数命题，比如证明x是y的明文（其中y=E(x,k)），将使用混淆电路（garbled circuit）来构造。零知识证明的实现，特别是非代数命题的零知识证明的实现，对于零知识证明的应用和推广将起到积极的作用。
报告人简介： 唐春明，教授，博士生导师，广州大学研究生院常务副经理、广东省信息安全技术重点实验室主任，国家一流本科专业（信息安全）建设点负责人、省教育厅科研创新团队带头人，广州市高层次人才优秀专家、广州市优秀教师。目前是教育部高等学校数学类专业教学指导委员会委员、中国密码学会组织工作委员会副主任、中国密码学会密码应用工作委员会副主任、广东省工业与应用数学学会副理事长、广东省数学会常务理事兼副秘书长、广东省重点领域密码应用推进工作组专家。主要研究领域为密码学及其应用，先后主持科技部重点研发计划项目课题和子课题项目各1项、国家自然科学基金项目8项、省部级重大项目30余项，近年来出版专著（包括译著）和教材5本，发表论文120多篇（SCI检索70余篇），拥有发明专利5项、软件著作权3项，获得国家级教学成果二等奖1项。
窗体底端
