RISC Zero e Ligero estão a unir-se para construir o futuro da computação privada e verificável. Isto permite que aplicações de todos os tipos provem conformidade enquanto mantêm a privacidade.

Para oferecer as melhores garantias de privacidade possíveis, os usuários precisam de provas do lado do cliente: os usuários devem ser capazes de gerar provas em seus próprios dispositivos, a fim de ter confiança de que suas informações confidenciais estão seguras.

A prova do lado do cliente é possível com o Ligero, mas com uma ressalva: as provas do Ligero são grandes demais para serem verificadas na cadeia.

Este é um problema familiar nesta indústria — existe um trade-off natural entre a eficiência do provador e a eficiência do verificador; otimizar para a prova do lado do cliente tem naturalmente alguns custos em termos da complexidade da verificação.

A solução é a verificação recursiva: primeiro, faça uma prova usando o sistema otimizado para a eficiência do provador. Em seguida, verifique essa prova em um sistema que é otimizado para a eficiência do verificador. O resultado oferece tanto uma prova rápida quanto uma verificação eficiente.

RISC Zero e Ligero estão a unir-se para fazer exatamente isso. Ao permitir a verificação flexível das provas Ligero dentro do R0VM, vamos permitir que os utilizadores gerem provas sobre dados privados, sem revelar quaisquer detalhes além do que desejam provar.