开发人员将能够在 Nexus zkVM 中验证以任何语言编写的程序。

Nexus 的目标是让可验证的互联网无处不在，让所有人都能访问。我们与 Pi Squared 一起采取措施，使可验证计算具有通用性、互操作性、高性能和易用性。

Nexus 和 Pi Squared 的合作伙伴关系将使开发人员能够在 Nexus zkVM 中验证以任何编程语言编写的程序。Pi Squared 技术的灵活性可以将以任何语言开发的任何程序翻译成 Rust，以通过 Nexus zkVM 进行证明，Nexus zkVM 足够强大，可以证明任何大小的计算。

Pi Squared 将 Nexus zkVM 与其 Proof Checker 集成，该系统大大减少了在 Nexus zkVM 上验证程序的计算开销，旨在简化证明生成。Nexus 和 Pi Squared 将并行生成证明，从而更快地证明任何链上操作的结果。

Pi Squared 会将此管道集成到其 Universal Settlement Layer 中，从而简化应用程序互操作性并减少对容易出错的编译器实现的依赖。我们的合作将为更多的跨链应用程序实现互操作性，包括零知识汇总、智能合约和 AI。

Pi Squared 将于本周在犹他州盐湖城举行的 Permissionless III 会议上演示 Nexus zkVM 在证明中的集成。在此处阅读有关证明的更多信息。

如果您有兴趣了解有关此合作伙