以太坊 联合创始人 Vitalik Buterin 承认本周零知识(ZK)技术的一个重大突破,称实时的最新发展证明了“真的很棒”向前迈进。
巴特林的评论是回应开发商乌玛·罗伊(Uma Roy)的帖子的回应,后者宣布她的团队已经实现了以太坊的实时以太坊证明,一年前,密码学社区中许多人在加密社区中的一项成就就被视为“月球车”。
性能差距和验证障碍
罗伊(Roy)的帖子在社交媒体上获得了重大吸引力,它构成了这一里程碑,这是ZK领域的决定时刻。
但是,包括研究人员Zeng Jiajun在内的一些观察员质疑证明制度是否像过去一样革命性,因为过去的预测是这种绩效已经过去了多年。
在庆祝进步的同时,布特林指出了这项工作虽然令人印象深刻,但不应将其视为以太坊1层网络的生产。
他指出,当前的证明系统仅计算平均情况,尚未解决最差的案例性能,这是可靠且安全的第1层实现所需的。
他还标志着缺乏正式验证,这意味着该系统没有经过严格的数学证明来保证其正确性。
Vitalik建议,这仍然是以太坊高风险环境中的重要缺点,在以太坊的高风险环境中,代码不变性和财务风险至关重要。
能源使用和扩展目标
Buterin提出的另一个问题是该系统的能耗。据报道,实时供者使用了大约100千瓦的功率,使其对通用或家庭用途不切实际。
布特林说,理想情况下,这样的系统应在具有约10千瓦的能力的机器上运行,以确保更广泛的权力下放和可访问性,因为可以在家中进行证明。
他还提到了以太坊的长期扩展目标,特别是计划将1层气体限制提高10倍至100倍。
实现限制的大幅度增加将需要在证明性能方面进行重大优化,从而强化了他的论点,即该技术仍有多个步骤可以在基本协议级别部署。
尽管有这些警告,但布特林还是重申了他对罗伊和她的团队的工作的钦佩,并将其描述为ZK景观中的主要里程碑。但是,他还指出,在以太坊可以将这些进步完全融入其核心基础设施之前,还有更多要做的事情。