Nova: Sistema de zk-SNARKs eficiente

Nova é um novo sistema de zk-SNARKs desenvolvido pela Microsoft. Ele utiliza a tecnologia de (Relaxed R1CS), que melhora significativamente a eficiência e flexibilidade da prova. As principais características do Nova incluem:

• Usando R1CS relaxado, reduziu a necessidade de aleatoriedade no processo de prova, melhorando significativamente a eficiência.
• Suporta cálculo incremental, permitindo calcular funções complexas passo a passo sem a necessidade de completá-las de uma só vez.
• Suporta cálculos polinomiais, podendo lidar com tarefas de prova mais complexas
• Utilizando técnicas criptográficas avançadas, como cálculos polinomiais, operações em grupo e oráculos aleatórios, entre outros.

A Nova tem uma posição importante no campo dos zk-SNARKs. Ela abre novas possibilidades para aplicações em larga escala de zk-SNARKs, expandindo o alcance das suas aplicações.

Os componentes principais da Nova incluem:

• Sistema R1CS: define a estrutura e as operações do sistema de restrições
• Cálculo polinomial: implementou polinómios de igualdade, polinómios multivariáveis, etc.
• Plano de compromisso: usado para ocultar informações, mas pode verificar a sua correção
• Algoritmo Sumcheck: Verificar a correção da soma de polinômios
• Esquema de dobragem não interativo: usado para provar a correção do cálculo incremental.

A Nova também implementou um conjunto completo de processos de geração e verificação de provas, incluindo as três fases de configuração, prova e verificação.

No geral, a Nova é um sistema de zk-SNARKs eficiente e flexível, que fornece uma base sólida para construir aplicações complexas de zk-SNARKs. Ao proteger a privacidade, também traz novas possibilidades para áreas como blockchain e autenticação.