RISC Zero и Ligero объединяются, чтобы построить будущее частных, проверяемых вычислений. Это позволяет приложениям всех типов доказывать соответствие, сохраняя при этом конфиденциальность.

Для того чтобы обеспечить наилучшие гарантии конфиденциальности, пользователям необходимо клиентское доказательство: пользователи должны иметь возможность генерировать доказательства на своих устройствах, чтобы быть уверенными, что их конфиденциальная информация остается в безопасности.

Доказательство на стороне клиента возможно с Ligero, но с оговоркой: доказательства Ligero слишком велики, чтобы их можно было проверить в сети.

Это знакомая проблема в этой отрасли — существует естественный компромисс между эффективностью доказателя и эффективностью проверяющего; оптимизация доказательства на стороне клиента, естественно, имеет некоторые затраты в терминах сложности проверки.

Решение заключается в рекурсивной верификации: сначала создайте доказательство, используя систему, оптимизированную для эффективности доказателя. Затем проверьте это доказательство в системе, оптимизированной для эффективности верификатора. Результат предлагает как быстрое доказательство, так и эффективную верификацию.

RISC Zero и Ligero объединяются для достижения этой цели. Позволяя гибкую проверку доказательств Ligero внутри R0VM, мы дадим пользователям возможность генерировать доказательства о частных данных, не раскрывая никаких деталей, кроме тех, которые они хотят доказать.