报告题目：Efficient Zero-knowledge proof of Algebraic and Non-Algebraic Statements
时间：2017-11-21 (星期二) 09:20 ~ 2017-11-21 (星期二) 10:25
地点：理工北楼601报告厅
主办：福建省网络安全与密码技术重点实验室
主讲：唐春明
参加对象：数信学院感兴趣的教师和研究生
报告摘要：零知识证明是一种重要的密码学工具，在多个方向得到重要的应用。零知识证明领域的一个重要结论是，任意的NP问题都存在零知识证明系统。在本报告中，我们主要对代数命题和非代数命题的零知识证明系统进行介绍。对于代数命题，可以使用Sigma协议或Sigma协议的组合，实现零知识证明系统，比如证明离散对数等。而对于非代数命题，比如证明x是y的明文（其中y=E(x,k)），将使用混淆电路（garbled circuit）来构造。零知识证明的实现，特别是非代数命题的零知识证明的实现，对于零知识证明的应用和推广将起到积极的作用。
报告人简介：唐春明，男，1972年1月生，博士、教授、博士生导师、广东省“千百十工程”省级培养对象、广州市高层次人才。现任广州大学数学与信息科学学院副院长、省信息安全技术重点实验室（广州大学）主任。2004年毕业于中国科学院数学与系统科学研究院应用数学专业，获博士学位（导师刘卓军），2001年毕业于湘潭大学数学系计算数学专业，获理学硕士学位（导师高协平），年毕业于湖南科技大学数学系数学教育专业，获理学学士学位。1995年-1998年任职湖南科技大学，2004年至今，任职于广州大学数学与信息科学学院。先后访问新加坡南洋理工大学、美国克莱姆森大学、香港城市大学、台湾高雄师范大学、台湾义守大学等。先后主持国家自然科学基金项目4项，省部级重大、重点等项目20余项。发表学术论文70余篇，其中SCI、EI期刊30余篇，拥有发明专利5项。现担任中国密码学会组织工作委员会副主任委员、中国密码学会应用工作委员会秘书长、广东省数学会常务理事、副秘书长、在中国密码学会、中国数学会、中国保密协会等组织担任多个专家委员会委员，是广东省密码管理局密码应用推广专家组成员。担任国家自然科学基金委评审专家，广东省自然科学基金、省科技厅科技项目评审专家，以及其他多种类型的科研项目、人才项目的评审专家。主要研究方向是：应用密码学，云计算安全，大数据隐私保护，区块链。
