搜索关键词 格密码
Crypto
Charles Hoskinson质疑Vitalik Buterin的AI安全警告：缺乏数学依据
Cardano创始人Charles Hoskinson公开批评Ethereum联合创始人Vitalik Buterin有关AI可能在未来两年冲击格密码安全性的判断，称相关说法更多基于猜测，缺乏充分的数学论证。相关讨论也涉及Ethereum研究员Justin Drake对ECDSA安全性的担忧，但Buterin同时表示，不建议持币者据此仓促转移资产。
AI & Enterprise
OpenAI内部模型Astra解出10个多年未决难题并公开可机器验证的形式化证明
OpenAI表示，旗下尚未公开的内部模型Astra已在数学、量子复杂性和理论计算机科学领域，针对10个悬而未决至少10年的问题给出新结果，并同步公开可机器验证的形式化证明。公司已在GitHub以Apache 2.0许可证开源249页论文草稿、模型推理过程及基于Lean 4的证明证书。不过，这些结果仍需学界进一步核验其是否准确对应原本的未决问题，以及其学术价值和影响。
Telecommunications & Media
韩国科学技术信息通信部：抗量子密码已在能源、医疗和行政领域完成试点应用
韩国科学技术信息通信部与KISA在首尔举行成果分享会，公布抗量子密码试点应用进展。相关技术已率先落地能源、医疗和行政三大领域，覆盖韩国电力AMI系统、接入8家医院信息系统的数字医疗平台以及国家技术资格考试系统。项目共采用7种算法，累计开发16种密码模块、形成19个应用案例，并完成与既有系统兼容性及关键性能指标验证。