币界网消息，据Moneycontrol报道，以太坊联合创始人Vitalik Buterin在采访中表示，未来几年以太坊将推进一系列升级，目标是尽可能广泛地应用零知识证明和AI。他指出，这些技术过去只应用于应用层，放入主网底层风险太大，但如今技术已成熟。他强调，AI的应用能显著加快进程，尤其是在形式化验证方面，以确保新写的代码安全。