RISC Zero і Ligero об'єднуються, щоб побудувати майбутнє приватних обчислень, які можна перевірити. Це дає змогу програмам усіх видів доводити відповідність, зберігаючи при цьому конфіденційність.

Щоб запропонувати найкращі гарантії конфіденційності, користувачам потрібно довести на стороні клієнта: користувачі повинні мати можливість генерувати докази на власних пристроях, щоб бути впевненими, що їхня конфіденційна інформація зберігається в безпеці.

Доведення на стороні клієнта можливе з Ligero, але із застереженням: докази Ligero занадто великі для перевірки в мережі.

Це знайома проблема в цій галузі — існує природний компроміс між ефективністю виконавця та ефективністю верифікатора; Оптимізація для доведення на стороні клієнта, природно, пов'язана з деякими витратами з точки зору складності перевірки.

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

RISC Zero і Ligero об'єднуються для цього. Увімкнувши гнучку перевірку доказів Ligero всередині R0VM, ми дозволимо користувачам генерувати докази про приватні дані, не розкриваючи жодних деталей, крім того, що вони хочуть довести.