可验证计算

本文介绍了Boundless，一个可验证计算层，旨在解决区块链的可扩展性问题。通过利用零知识证明，Boundless允许单节点进行计算，并在所有节点之间以低成本验证其正确性，从而支持无限执行与全球交互。该平台旨在推动去中心化应用程序的发展，并且正在早期测试中，展示了其在实际场景中的潜力。

本文介绍了两项新技术——Lasso和Jolt，它们为SNARK设计带来了根本性的新方法，显著提升了性能并改善了开发者体验。Lasso提供了更快的查找论证，支持大型表格的高效查找，而Jolt则为零知识虚拟机（zkVM）设计带来了简化，使开发者可以更容易地编写高效的SNARK应用。

本文讨论了Web3未达到互联网规模的原因，并提出了一种名为vApp的解决方案。vApp利用可验证计算、零知识虚拟机和模块化架构，旨在降低开发者和用户的进入门槛，实现Web2的易用性和Web3的去中心化。文章还探讨了vApp在电商、金融、媒体等领域的应用场景。

这篇博客文章是关于使用SNARKs验证FHE引导（Bootstrapping）的研究，旨在提高FHE的实际应用性。