Nexus 是什么？

Nexus 是开源的、模块化且可扩展的，优化了 prover 的性能并支持自定义计算。其目标是通过注重正确性、透明性和安全性，提升数字交互体验，使大规模可验证计算变得可访问且高效。