RISC Zero 和 Ligero 正在合作构建未来的私密、可验证计算。这使得各种应用能够在保持隐私的同时证明合规性。

为了提供最佳的隐私保障，用户需要客户端证明：用户应该能够在自己的设备上生成证明，以确保他们的机密信息得到安全保护。

客户端证明在 Ligero 中是可能的，但有一个警告：Ligero 的证明太大，无法在链上验证。

这是这个行业中一个熟悉的问题——证明者的效率和验证者的效率之间存在自然的权衡；为了优化客户端证明，自然会在验证的复杂性上带来一些成本。

解决方案是递归验证：首先，使用针对证明者效率优化的系统生成证明。然后，在针对验证者效率优化的系统中验证该证明。结果提供了快速证明和高效验证。

RISC Zero 和 Ligero 正在联手实现这一目标。通过在 R0VM 内部启用对 Ligero 证明的灵活验证，我们将使用户能够生成关于私密数据的证明，而无需透露他们想要证明的任何细节。