2024年10月25-27日，海南省數學學會2024年學術年會暨數學文化與數學科普論壇在海口農墾衷心學校召開。我校數學研究中心主任周密教授應邀參加了本次會議。會議彙聚了省内外衆多數學領域的專家、學者和教育工作者，共同探讨數學教育的前沿話題和發展方向。會議涵蓋了多個精彩的報告和研讨環節，涉及多個方面，為數學教育的發展注入了新的活力。
大會集體留影
本次會議邀請到陝西師範大學二級教授，博士生導師，楊波教授做了《區塊鍊中的隐私保護》的專題講座。楊波教授在講座中深入介紹了區塊鍊隐私保護的相關知識。首先闡述了隐私保護在不同場景下的需求，通過對比可見與不可見、可用與不可用的組合，清晰地呈現了隐私保護強度的差異。接着詳細講解了區塊鍊的基本原理，強調其以密碼技術為基石，以比特币為背景發展而來的密碼貨币特性。在介紹密碼貨币相關知識時，提到其概念可追溯到1982年Chaum提出的電子現金，銀行對文件或數據做（盲）數字簽名賦予其貨币功能。同時，還詳細說明了防止重複花費的密碼技術，如Schnorr協議，通過具體的步驟和公式展示了其隐藏性和捆綁性的特點。對于找零問題，也結合交易輸入輸出的實際情況進行了講解。在隐私性方面，着重強調了匿名性和不可跟蹤性。通過介紹混淆者的概念及其存在的缺陷，引出了零币和零鈔在隐私保護上的優勢。對于零币，詳細講解了其使用的密碼工具，包括數字承諾、知識的簽名知識證明 + 數字簽名以及累加器等，還介紹了零币的構造過程，從參數産生到鑄币協議、花錢協議以及驗證過程都一一闡述，并指出了零币存在缺乏靈活性和不支持找零業務的缺點。對于零鈔，分别介紹了基本版和增強版的相關協議，如基本版零鈔的兌錢、用錢過程中涉及的随機數生成、承諾計算以及通過zk - SNARK協議進行證明的過程，增強版零鈔則在接收錢的方式以及防延展性方面進行了改進。
楊波教授作報告
大會還邀請到中國科學院信息工程研究所研究員，博士生導師林東岱教授做了《密碼分析中的代數思想》的專題報告。林教授首先從代數攻擊談起。代數攻擊作為一種新興的攻擊方法，在密碼學領域引起了廣泛關注。它将密碼破譯的難題轉化為有限域上的低次多元代數方程組求解問題。通過對這些方程組的求解，攻擊者試圖找到密碼系統的弱點，進而破解密碼。這種攻擊方式對基于線性反饋移位寄存器（LFSR）的流密碼系統産生了重大影響。接着，深入探讨了 Correlation Cube Attack（相關立方攻擊）。在發展曆程方面，從 2009 年的立方攻擊開始，曆經動态立方攻擊、條件立方攻擊以及新型條件立方攻擊等階段，不斷發展和完善。2009 年的立方攻擊作為單純的代數攻擊形式出現，随後的動态立方攻擊利用立方的代數特性構建區分器來恢複秘密信息，條件立方攻擊則利用特殊的代數特性進一步提高攻擊效果，而 2020 年的新型條件立方攻擊放松了條件限制，具有更高的自由度和更好的攻擊結果。最後，以 Trivium 流密碼為例，展示了相關技術的具體應用。通過數值映射等方法，研究人員能夠找到給定立方的基以及大量在攻擊中可能表現良好的立方。根據條件相關性，建立關于密鑰位的确定性或概率性方程。例如，對于某個 Trivium 變體，當初始化輪數減少時，可以利用相關技術恢複一定位數的密鑰信息，同時給出了時間複雜度和所需的密鑰流比特及預處理時間。這些攻擊在實際中是可行的，并通過實驗得到了充分驗證。
林東岱教授作報告
會後，周密老師結合自身研究課題與兩位教授進行了探讨，并建立了相關聯系，擇機邀請兩位專家到我校指導工作。
下午，周密老師還參加了高校組的數學專業論壇，仔細聆聽了十場兄弟院校相關教師的學術報告。并與來自海南大學、海南師範大學、海南醫學院、海南熱帶海洋學院等各高校的數學教師就相關學術問題，分享了各自的觀點，探讨了相關學術問題，并達成互訪交流、合作等意向，為今後我校數學專業、科學研究發展打下了堅實的合作基礎。
海南省高校學術報告專場
英国上市公司官网365數學研究中心供稿
2024.10.28.
CONTENT END
