4月19日上午，应数学与统计学院邀请，陕西师范大学杨波教授在数学南楼103室为学院教师作题为 “零知识证明协议ZK-SNARK” 的学术报告，学院相关教师和学生参加了此次报告。此次报告由董乐副教授主持。
杨波教授主要介绍了如何利用完备性、零知识性等证明协议ZK-SNARK，将高级语言转化为低级语言，再转化为电路，再进行电路算术。最后还介绍了协议ZK-SNARK在区块链、外包计算、匿名认证等方面的应用。最后分析了协议ZK-SNARK的局限性。
报告结束后，杨波教授就与会教师提出的相关问题进行了详细的解答，并展开了深入的讨论与交流，现场气氛热烈，学院师生表示受益匪浅。
专家简介：
杨波，陕西师范大学计算机科学学院二级教授、博士生导师，陕西省百人计划特聘教授，中国密码学会理事，中国密码学会密码算法专业委员会委员，中国密码学会学术工作委员会委员，《密码学报》编委，海南师范大学客座教授，黑龙江大学兼职教授，广西数字密码研究院院长，格尔软件股份有限公司首席密码专家。已主持国家重点研发项目2项、国家自然科学基金10项、“863”计划1项、国家密码发展基金2项等项目20余项。发表学术论文300余篇，出版学术著作及教材6部。
（数学与统计学院 杜蛟）
最新通知