V神最新演讲:区块链 + ZK,以加密验证为基础的可信计算时代正在到来
长期以来,零知识证明与同态加密更多停留在学术或高成本原型阶段;但最近几年算法与工程实现(证明系统优化、并行化、专用硬件支持等)推进显著,使得这些原语的实用化成为现实。Vitalik在上海的发言指出,ZK与FHE的成熟正在显著提升计算效率与开发者体验;媒体报道还援引了一个工程性指标作为示例:已有实现能用“约50块GPU”实时为以太坊L1区块生成ZK证明,显示技术从“理论未来”向“当下可用”转变的速度。值得注意的是,该数字依赖于具体实现与硬件选择,并非普适门槛。
回复