RISC Zero và Ligero đang hợp tác để xây dựng tương lai của tính toán riêng tư, có thể xác minh. Điều này cho phép các ứng dụng đủ loại chứng minh sự tuân thủ trong khi vẫn duy trì tính riêng tư.

Để cung cấp các đảm bảo quyền riêng tư tốt nhất có thể, người dùng cần có khả năng chứng minh từ phía khách hàng: người dùng nên có thể tạo ra các chứng cứ trên thiết bị của họ, để tự tin rằng thông tin bí mật của họ được giữ an toàn.

Chứng minh phía khách hàng là khả thi với Ligero, nhưng có một điều cần lưu ý: các chứng minh của Ligero quá lớn để xác minh trên chuỗi.

Đây là một vấn đề quen thuộc trong ngành này — có một sự đánh đổi tự nhiên giữa hiệu quả của người chứng minh và hiệu quả của người xác minh; tối ưu hóa cho việc chứng minh phía khách hàng tự nhiên có một số chi phí về độ phức tạp của việc xác minh.

Giải pháp là xác minh đệ quy: trước tiên, tạo một bằng chứng bằng hệ thống được tối ưu hóa cho hiệu suất của người chứng minh. Sau đó, xác minh bằng chứng đó trong một hệ thống được tối ưu hóa cho hiệu suất của người xác minh. Kết quả mang lại cả việc chứng minh nhanh chóng và xác minh hiệu quả.

RISC Zero và Ligero đang hợp tác để làm điều đó. Bằng cách cho phép xác minh linh hoạt các chứng cứ Ligero bên trong R0VM, chúng tôi sẽ cho phép người dùng tạo ra các chứng cứ về dữ liệu riêng tư, mà không tiết lộ bất kỳ chi tiết nào ngoài những gì họ muốn chứng minh.