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,里面把已经完成、正在研究和未来需要迁移的部分,都整理得比较清楚。