本文介绍了Boundless，一个可验证计算层，旨在解决区块链的可扩展性问题。通过利用零知识证明，Boundless允许单节点进行计算，并在所有节点之间以低成本验证其正确性，从而支持无限执行与全球交互。该平台旨在推动去中心化应用程序的发展，并且正在早期测试中，展示了其在实际场景中的潜力。
本文是 RISC Zero 的高级协议工程师 Rami Khalil 参加的炉边访谈的总结，讨论了使用 RISC Zero zkVM 构建应用程序的设计空间，包括 zkVM 的原理、开发者体验、安全性保证、去中心化证明网络 Boundless，以及 zkVM 如何赋能新的应用场景，还分享了开发者的建议和 Veridise 的安全审计经验，和RISC Zero的未来发展方向。
RISC ZERO
Veridise