快捷搜索

以太坊关注安全性

以太坊基金会发布了新的技术路线图，强调在零知识以太坊虚拟机（zkEVMs）中将安全性置于速度之上，设定了至2026年底的三大关键里程碑。

这一转变是在zkEVM团队成功将证明时间从16分钟缩短至16秒，并将成本降低至原来的45倍后进行的，目前99%的以太坊区块在目标硬件上可在10秒内完成证明。

尽管取得了这些性能上的成就，基金会警告称，安全性仍然是“亟待解决的问题”，许多基于STARK的zkEVMs依赖于未经过验证的数学猜想，而近期的研究已开始对其进行质疑。

基金会在12月18日的公告中指出：“如果攻击者能够伪造证明，他们就能伪造任何东西：从无中创造代币、重写状态、窃取资金。”

可证明安全性成为必然标准

基金会将128位可证明安全性设定为主网级zkEVMs的强制目标，符合密码学标准化机构的推荐标准。

第一个里程碑要求zkEVM团队在2026年2月底之前将其证明系统组件与新创建的安全估算工具soundcalc整合。

到2026年5月，团队必须实现100位可证明安全性，最终证明大小需控制在600千字节以内，并提供其递归架构的紧凑描述。

最后一个里程碑要求实现128位可证明安全性，证明大小限制在300千字节，并在2026年底之前提供递归健壮性的正式安全论证。

以太坊基金会的密码学团队成员George Kadianakis强调，在zkEVM架构成为动态目标之前，确保其安全性至关重要。

他表示：“一旦团队达成这些目标，zkVM架构稳定，之前我们所投入的正式验证工作将能发挥其全部潜力。”

近期的密码学进展，包括紧凑的多项式承诺方案如WHIR、JaggedPCS等技术，以及良好结构的递归拓扑，使这些雄心勃勃的安全目标变得可实现。

基金会计划在1月发布详细的技术文章，阐述实现安全性和证明大小要求的证明系统技术。

基金会扩大机构采用推动

在加强技术标准的同时，以太坊通过新推出的“以太坊为机构”门户加速了对机构的推广，该平台为基于以太坊基础设施构建的企业和金融机构提供指导，强调网络十年来的可靠性，拥有超过110万个验证节点并保持持续运行。

基金会强调隐私保护技术，包括零知识证明、完全同态加密和可信执行环境，是合规机构应用的关键。

基金会指出：“隐私解决方案不再是理论上的——它们已经在生产中运行并扩展。”并提到Chainlink、RAILGUN和Aztec Network等项目。

根据RWA.xyz的数据，以太坊目前承载了超过66%的所有代币化现实资产，包括BlackRock、Securitize和Ondo Finance等大型金融公司正在部署代币化工具。

摩根大通最近在以太坊上推出了首个代币化货币市场基金，为MONY基金注入1亿美元，并通过其Kinexys数字资产平台向合格投资者开放，最低投资额为100万美元。

该银行资产管理负责人John Donohue在接受《华尔街日报》采访时表示：“客户对代币化的兴趣巨大。”他补充道，摩根大通希望在这一领域引领潮流，推出与传统货币市场基金相匹配的区块链产品。

简化挑战成为关键优先事项

几天前，联合创始人Vitalik Buterin在12月18日的声明中指出，协议复杂性是以太坊信任性的根本威胁。

他写道：“一种重要且被低估的信任性形式是增加能够全面理解整个协议的人数。”他主张，如果有必要，生态系统应接受更少的功能以提高理解度。

这一担忧源于以太坊技术抽象不断增加所带来的高级功能与可访问性之间的紧张关系。

隐私聚焦的二层网络INTMAX表示：“如果只有五个人能理解你的隐私协议，那么你并没有实现信任性，只是改变了信任对象。”

基金会在其路线图中承认了这些挑战，称以太坊对大多数用户而言“过于复杂”，并概述了简化燃气费用和密钥管理的智能合约钱包的计划。

与此同时，基金会在8月份暂时暂停了其生态系统支持计划的公开资助申请，表示计划在2024年向105个项目提供近300万美元资助后，转向更有针对性的基础设施资金支持。