RISC Zero 和 Ligero 正在攜手打造未來的私密可驗證計算。這使各種應用能夠在保持隱私的同時證明合規性。

為了提供最佳的隱私保障，使用者需要客戶端證明：使用者應能在自己的設備上生成證明，以確保他們的機密信息保持安全。

客戶端證明在 Ligero 中是可能的，但有一個警告：Ligero 的證明太大，無法在鏈上驗證。

這在這個行業中是一個熟悉的問題——證明者的效率和驗證者的效率之間存在自然的權衡；優化客戶端證明自然會在驗證的複雜性上帶來一些成本。

解決方案是遞歸驗證：首先，使用針對證明者效率優化的系統來生成證明。然後，在針對驗證者效率優化的系統中驗證該證明。結果提供了快速的證明和高效的驗證。

RISC Zero 和 Ligero 正在攜手合作，實現這一目標。通過在 R0VM 中啟用對 Ligero 證明的靈活驗證，我們將使用戶能夠生成有關私密數據的證明，而不透露任何超出他們想要證明的細節。