A RISC Zero e a Ligero estão se unindo para construir o futuro da computação privada e verificável. Isso permite que aplicativos de todos os tipos comprovem a conformidade, mantendo a privacidade.

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

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 - há uma compensação natural entre a eficiência do provador e a eficiência do verificador; A otimização para a prova do lado do cliente naturalmente tem alguns custos em termos de 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 otimizado para a eficiência do verificador. O resultado oferece comprovação rápida e verificação eficiente.

RISC Zero & Ligero estão se unindo para fazer exatamente isso. Ao habilitar a verificação flexível de provas Ligero dentro do R0VM, permitiremos que os usuários gerem provas sobre dados privados, sem revelar nenhum detalhe além do que desejam provar.