本文介绍了Boundless，一个可验证计算层，旨在解决区块链的可扩展性问题。通过利用零知识证明，Boundless允许单节点进行计算，并在所有节点之间以低成本验证其正确性，从而支持无限执行与全球交互。该平台旨在推动去中心化应用程序的发展，并且正在早期测试中，展示了其在实际场景中的潜力。
本文介绍了两项新技术——Lasso和Jolt，它们为SNARK设计带来了根本性的新方法，显著提升了性能并改善了开发者体验。Lasso提供了更快的查找论证，支持大型表格的高效查找，而Jolt则为零知识虚拟机（zkVM）设计带来了简化，使开发者可以更容易地编写高效的SNARK应用。
RISC ZERO
a16z Crypto