速览a16z推出的基于SNARK的零知识证明新工具Lasso和Jolt’ 精炼后为: ‘a16z推出了基于SNARK的零知识证明新工具Lasso和Jolt

'a16z推出了基于SNARK的零知识证明新工具Lasso和Jolt'

速度与效率升级:a16z Crypto推出Lasso和Jolt技术

区块链技术作为一种去中心化、透明和安全的分布式账本技术,已经在许多领域展现出巨大的潜力。然而,由于其天然的安全和信任特性,区块链的性能一直是限制其广泛应用的一个问题。

a16z Crypto近日推出了两项与SNARK(零知识可证明)技术相关的创新,名为Lasso和Jolt。这两项技术的推出为Web3的扩展和应用程序构建提供了极大的加速度。

  1. 更快的性能:Lasso引领SNARK证明者技术进步

Lasso是一种新的查找参数技术,与以往的工作相比,它减少了证明者承诺的数量和大小。根据a16z Crypto的研究团队表示,使用Lasso技术可以显著提高SNARK证明者的整体速度。与类似的Halo2工具链相比,性能提高了十倍。经过优化后,预计性能将提高约40倍。

换言之,Lasso的证明者技术将超越当前主流的以太坊L2扩展解决方案所采用的各种零知识SNARK证明技术。这将极大地推动ZK-rollups等应用的发展,并为区块链的可扩展性带来新的突破。

  1. 更便捷的开发者体验:Jolt提供理想的开发框架

除了Lasso技术的突破性进展,a16z Crypto还推出了Jolt框架。Jolt是一个专为与以太坊虚拟机兼容的Rollups设计的框架,采用了Lasso技术构建SNARK VM。Jolt的推出使得与之前相比,Web3开发者在性能和用户体验上都得到了显著的提升。

Jolt实现了“查找奇点(lookup singularity)”的概念。这一概念最初由以太坊基金会的Barry Whitehat提出,旨在实现更简化的工具和以查找为中心的电路。相比现有的zkVM(零知识虚拟机),Jolt能够实现类似乃至更好的性能,同时提供更加简化和易于访问的开发者体验。

  1. 更容易审核:Lasso以及Jolt简化了审计工作

除了提供更快的性能和更便捷的开发者体验,Lasso和Jolt技术还在审计方面带来了许多便利。特别是对于SNARK在区块链上的广泛应用,其可审计性尤为重要。

Lasso技术将指令逻辑以Rust语言实现,同时鼓励不同指令集的代码重复。这种设计可以将审计的重心集中到相对较小、可读性更高的代码库中,使得审计工作更加简化和可行。

目前,除了完全实现Jolt所需的工作之外,还有许多任务正在进行中或等待其他开发者的完成,包括实现/集成不同的多项式承诺方案、产品参数的优化、基准测试和错误处理等。这些工作的完成将为后续的技术发展奠定更坚实的基础。

综上所述,a16z Crypto推出的Lasso和Jolt技术为Web3中的扩展和应用程序构建带来了新的可能。这些技术将加快区块链的发展速度,并极大地提升了开发者的体验和审计的便利性。随着这些技术的进一步完善和广泛应用,我们相信区块链将迎来更加广阔的发展前景。