10月15日下午，西安理工大学王尚平教授应邀在我校思贤楼424会议室为我院师生作了精彩的学术报告。报告由黄梅娟副教授主持。
王尚平教授报告的题目为《zk‑SNARK（零知识简洁非交互式知识论证）研究进展》。他深入浅出地讲解零知识证明的基本原理与模拟器形式化定义；介绍了Schnorr协议、Fiat‑Shamir变换如何实现交互到非交互的零知识证明构造；系统阐释了zk‑SNARK简洁、非交互、论证、知识性四大关键属性；详细介绍了R1CS、QAP、KZG多项式承诺等底层技术；梳理了从理论奠基、配对型SNARK、透明证明到递归折叠方案的技术演进脉络；最后对零知识证明在隐私支付等现实场景的应用进行了介绍，分析了该领域现存开放问题与未来发展趋势。
王教授不仅分享了零知识证明领域的前沿研究成果，也拓宽了我院密码学方向的科研与教学视野。数学与信息科学学院部分教师、研究生等30余人参加了报告会。（数学与信息科学学院 文/姜洪领 图/邓银娟 审核/刘淳安）
