2024年5月17日15：30，信息与智能工程学院在书新四号楼四楼会议室开展了一场主题为“零知识证明ZK-SNARK协议及应用”的学术讲座。信息与智能工程学院智能工程系杨明教授为本次讲座主讲人，全体教师和全体研究生共同参与。
会议伊始，杨明教授向在座师生详细介绍了ZK-SNARK的概念及其技术发展脉络，以P问题与NP问题的定义与差异为切入点，进而引出了QAP问题的概念，即通过将问题转化为正确的“形式”来进行处理。在讲解基于多项式因式分解的改进过程时，他精准地指出了证明中的问题，并利用多个运算的多项式成功验证了算术电路拍平的可行性。
随后，杨明教授对密码学方法进行了总结，并着重介绍了ZK-SNARK算法及基本协议。他特别强调了零知识证明在隐私保护的革命性应用，详细讲解了区块链扩容、隐私币及身份证明等应用场景。接下来为进一步加深与会师生对零知识证明的理解，杨明教授通过实例验证了大型模型的真实性和互操作性，使在场师生对ZK-SNARK算法及基本协议有了更加深刻的认知。
在讨论环节，师生们积极提出问题，杨明教授以严谨态度深入剖析议题做出了精准解答，拓宽了学生对零知识证明技术的视野，为同学们在该技术领域的探索与应用奠定了坚实的基础。
本次学术讲座的举办对信息与智能工程学院在零知识证明技术领域的研究意义重大，它深化了师生对区块链平台的理解，拓展学生对零知识证明技术的视野，为师生们提供了一个深入交流与学习的机会。
