RISC Zero と Ligero は、プライベートで検証可能なコンピューティングの未来を構築するために協力しています。これにより、あらゆる種類のアプリケーションがプライバシーを維持しながらコンプライアンスを証明できるようになります。

可能な限り最高のプライバシー保証を提供するために、ユーザーはクライアント側の証明を必要としています:ユーザーは、機密情報が安全に保たれていることを確信するために、自分のデバイスで証明を生成できる必要があります。

Ligero ではクライアント側の証明が可能ですが、Ligero の証明は大きすぎてオンチェーンで検証できないという注意点があります。

これはこの業界ではよく知られた問題であり、証明者の効率と検証者の効率の間には自然なトレードオフがあります。クライアント側の証明の最適化には、当然のことながら、検証の複雑さという点である程度のコストがかかります。

解決策は再帰的検証です:まず、証明者の効率に最適化されたシステムを使用して証明を作成します。次に、検証者の効率に最適化されたシステムでその証明を検証します。その結果、迅速な証明と効率的な検証の両方が可能になります。

RISC Zero と Ligero はまさにそれを実現するために協力しています。R0VM 内で Ligero 証明の柔軟な検証を可能にすることで、ユーザーは証明したい以上の詳細を明らかにすることなく、個人データに関する証明を生成できるようになります。