2024年10月25-27日，海南省数学学会2024年学术年会暨数学文化与数学科普论坛在海口农垦衷心学校召开。我校数学研究中心主任周密教授应邀参加了本次会议。会议汇聚了省内外众多数学领域的专家、学者和教育工作者，共同探讨数学教育的前沿话题和发展方向。会议涵盖了多个精彩的报告和研讨环节，涉及多个方面，为数学教育的发展注入了新的活力。
大会集体留影
本次会议邀请到陕西师范大学二级教授，博士生导师，杨波教授做了《区块链中的隐私保护》的专题讲座。杨波教授在讲座中深入介绍了区块链隐私保护的相关知识。首先阐述了隐私保护在不同场景下的需求，通过对比可见与不可见、可用与不可用的组合，清晰地呈现了隐私保护强度的差异。接着详细讲解了区块链的基本原理，强调其以密码技术为基石，以比特币为背景发展而来的密码货币特性。在介绍密码货币相关知识时，提到其概念可追溯到1982年Chaum提出的电子现金，银行对文件或数据做（盲）数字签名赋予其货币功能。同时，还详细说明了防止重复花费的密码技术，如Schnorr协议，通过具体的步骤和公式展示了其隐藏性和捆绑性的特点。对于找零问题，也结合交易输入输出的实际情况进行了讲解。在隐私性方面，着重强调了匿名性和不可跟踪性。通过介绍混淆者的概念及其存在的缺陷，引出了零币和零钞在隐私保护上的优势。对于零币，详细讲解了其使用的密码工具，包括数字承诺、知识的签名知识证明 + 数字签名以及累加器等，还介绍了零币的构造过程，从参数产生到铸币协议、花钱协议以及验证过程都一一阐述，并指出了零币存在缺乏灵活性和不支持找零业务的缺点。对于零钞，分别介绍了基本版和增强版的相关协议，如基本版零钞的兑钱、用钱过程中涉及的随机数生成、承诺计算以及通过zk - SNARK协议进行证明的过程，增强版零钞则在接收钱的方式以及防延展性方面进行了改进。
杨波教授作报告
大会还邀请到中国科学院信息工程研究所研究员，博士生导师林东岱教授做了《密码分析中的代数思想》的专题报告。林教授首先从代数攻击谈起。代数攻击作为一种新兴的攻击方法，在密码学领域引起了广泛关注。它将密码破译的难题转化为有限域上的低次多元代数方程组求解问题。通过对这些方程组的求解，攻击者试图找到密码系统的弱点，进而破解密码。这种攻击方式对基于线性反馈移位寄存器（LFSR）的流密码系统产生了重大影响。接着，深入探讨了 Correlation Cube Attack（相关立方攻击）。在发展历程方面，从 2009 年的立方攻击开始，历经动态立方攻击、条件立方攻击以及新型条件立方攻击等阶段，不断发展和完善。2009 年的立方攻击作为单纯的代数攻击形式出现，随后的动态立方攻击利用立方的代数特性构建区分器来恢复秘密信息，条件立方攻击则利用特殊的代数特性进一步提高攻击效果，而 2020 年的新型条件立方攻击放松了条件限制，具有更高的自由度和更好的攻击结果。最后，以 Trivium 流密码为例，展示了相关技术的具体应用。通过数值映射等方法，研究人员能够找到给定立方的基以及大量在攻击中可能表现良好的立方。根据条件相关性，建立关于密钥位的确定性或概率性方程。例如，对于某个 Trivium 变体，当初始化轮数减少时，可以利用相关技术恢复一定位数的密钥信息，同时给出了时间复杂度和所需的密钥流比特及预处理时间。这些攻击在实际中是可行的，并通过实验得到了充分验证。
林东岱教授作报告
会后，周密老师结合自身研究课题与两位教授进行了探讨，并建立了相关联系，择机邀请两位专家到我校指导工作。
下午，周密老师还参加了高校组的数学专业论坛，仔细聆听了十场兄弟院校相关教师的学术报告。并与来自海南大学、海南师范大学、海南医学院、海南热带海洋学院等各高校的数学教师就相关学术问题，分享了各自的观点，探讨了相关学术问题，并达成互访交流、合作等意向，为今后我校数学专业、科学研究发展打下了坚实的合作基础。
海南省高校学术报告专场
best365英国体育在线数学研究中心供稿
2024.10.28.
CONTENT END
