AI 现在帮人写代码、寻找漏洞，已经不算什么新鲜事了。 但我最近研究 Starknet @Starknet 的时候，突然想到一个挺有意思的问题。 如果未来 AI 真的帮助数学研究取得重大突破，甚至发现某些密码学算法存在新的弱点，整个加密行业该怎么办？😂 再加上量子计算的发展，未来的区块链安全，恐怕还真得提前考虑这些问题。 / 这也是为什么我最近越来越关注 Starknet @Starknet 的 Cryptographic Agility，也就是密码学敏捷性。 简单理解，就是当原来的安全算法需要更换时，整个网络有没有能力完成升级。 Starknet 已经有了一些不错的技术基础。 例如基于哈希函数的 STARK 证明系统，以及允许账户灵活调整签名验证方式的原生账户抽象。 但我觉得更值得关注的，是 Starknet 已经开始推进的实际迁移工作。 比如今年 7 月上线主网的 v0.14.3。 这次升级将 Starknet OS 的程序哈希和配置哈希，从 Pedersen 切换到了基于 BLAKE2s-256 的方案。 这个更新看起来比较技术化，却是密码学迁移路线中一个已经落地的步骤。 当然，还有不少工作需要继续推进。 例如状态树相关的哈希迁移、合约地址推导，以及旧合约存储映射的迁移工具，目前仍处于不同的规划或研究阶段。 此外，Starknet 作为 Ethereum L2，还需要考虑以太坊侧的 KZG、桥接等安全依赖。 所以，整个抗量子迁移远没有完成。 / 我觉得这也是这次 Starknet @Starknet 在 Kaito @KaitoAI 上第二季活动中，很值得深入讨论的地方。 面对未知的技术变化，提前设计升级路径，并且一步步把它落地，本身就是一件有意义的事。 毕竟真正的安全建设，需要持续投入，也需要经得起时间检验。 至于 Starknet 后续能推进到什么程度，我还是挺期待的。 有兴趣的兄弟可以看看官方 Quantum Hub，里面把已经完成、正在研究和未来需要迁移的部分，都整理得比较清楚。