Cryptonomist 采访了Polyhedra Network 的 CSO Eric Vreeland,谈论了Web3、零知识(ZK)证明和人工智能(AI)。
我们的愿景是通过使用零知识 (ZK) 来大幅提升计算能力和跨平台互操作性。虽然零知识证明 (ZKP) 最广为人知的特点是其隐私特性,但 ZKP 将大型数据集压缩为小型证明的能力具有巨大的潜力,可以彻底改变计算。ZKP 无需验证每个单独的计算或交易,而是可以将它们批量处理,以便验证者可以快速检查它们。这可能会大幅提高 AI 和机器学习等计算密集型应用的性能。
随着传统金融机构不断探索区块链技术,提供可验证计算和保护数据隐私的能力将使零知识成为越来越受关注的领域。
到目前为止,零知识应用的最大障碍是底层技术的复杂性以及性能(速度)方面的限制。Polyhedra继续在 ZK 研究上投入大量资金,并继续突破零知识证明生成速度的极限。我们最新的证明系统 Expander 目前是世界上最快的证明系统,它使零知识应用更加实用。我们现在的重点是让这些高性能证明系统的开发更容易实现,以便任何开发人员都可以利用零知识的优势。
零知识证明允许一方向另一方证明声明的有效性,而无需透露任何底层信息,从而促进安全且无需信任的交易。对于开发人员来说,这减少了对信任机制或第三方中介的需求,从而降低了成本。
在 web3 中,ZKP 允许卸载计算并最小化链上数据。链上计算成本高昂,处理大部分链下计算可显著降低成本。在 web2 中,零知识可提高数据安全性和隐私性,从而实现信任最小化的交互,而无需中介。
零知识证明无需完全访问底层信息即可有效验证大型计算和数据集,从而有助于提高系统的可扩展性并降低运营成本。
这减少了主系统的计算负荷并最大限度地减少了数据传输,从而缩短了处理时间并降低了基础设施成本。具体示例包括区块链技术中的 zk-rollups,其中大量交易在链下处理,而只有简明的证明在链上验证,从而显著提高了吞吐量并降低了 gas 费用。
在 web2 环境中,ZKP 用于隐私保护数据分析,允许公司在不损害用户隐私的情况下对加密数据执行计算,从而减少对大量数据处理和安全措施的需求。
关键优势在于消除了额外的信任假设或第三方。替代桥最常见的是使用验证器网络或中间链来确认一条链的状态并将其转发给另一条链。
零知识证明可以消除这个问题,只需生成一条链的状态证明,然后在另一条链上验证该证明即可。消除这些额外的信任假设可以减少攻击面并最大限度地降低信任,只需要信任区块链本身的数据和共识。
零知识通过提供防篡改验证来提高AI模型的完整性和可靠性,确保模型的训练过程正确执行,而不会暴露底层数据。这让最终用户相信模型是建立在可信数据之上的,从而改善了用户体验,并提高了通常非常不透明的领域的可信度。
零知识的防篡改特性也大大降低了欺诈的机会。金融服务或医疗保健等涉及敏感数据的应用是零知识可以带来直接好处的行业。
我们是 zkBridge 白皮书的作者,也是最广泛使用的零知识安全桥 www.zkbridge.com 的创建者。我们连接了超过 25 个区块链,并促成了超过 2000 万笔跨链交易。
最近我们正在开发 Proof Cloud,这是一个云端证明平台,可以降低成本并提高证明生成过程的效率。它将在月底向公众开放。
最后,我们已将创纪录的证明系统 Expander 开源。与其他证明系统相比,Expander 的速度要快几个数量级,使用 Expander 的开发人员将看到证明生成速度和成本的惊人改进。
在接下来的 12 个月里,我们计划投入大量资源探索如何将零知识应用于人工智能和机器学习,并推出一系列特定于人工智能的开发工具和应用程序。