Nova: Um novo sistema de zk-SNARKs

Nova é um novo sistema de zk-SNARKs desenvolvido pela Microsoft, que utiliza a tecnologia (Relaxed R1CS) para aumentar a eficiência e a flexibilidade das provas.

As principais vantagens da Nova incluem:

• Usando a técnica R1CS relaxada, é possível utilizar menos aleatoriedade na prova, aumentando significativamente a eficiência da prova.
• Suporta cálculo incremental, permitindo calcular funções complexas passo a passo.
• Suporta cálculos polinomiais, podendo lidar com tarefas de prova mais complexas

Nova também apresenta algumas desvantagens:

• Devido ao uso de R1CS relaxados, as provas podem não ser tão robustas quanto os sistemas R1CS tradicionais.
• A implementação é relativamente complexa, e a dificuldade de uso e manutenção é alta.

Apesar disso, a Nova ainda ocupa uma posição importante no campo dos zk-SNARKs. Ela abriu novos caminhos para o desenvolvimento dos zk-SNARKs, tornando o processo de geração e verificação das provas mais eficiente, podendo lidar com tarefas de prova mais complexas, ampliando ainda mais o alcance das aplicações dos zk-SNARKs.

A implementação central da Nova inclui:

• Definição e implementação de R1CS e R1CS relaxado
• Estruturas de dados e algoritmos relacionados ao cálculo polinomial
• Implementação do protocolo Sumcheck
• Implementação do esquema de dobragem não interativa (NIFS)
• Esquema de compromisso polinomial baseado em prova de produto interno

Esses componentes formam o sistema de zk-SNARKs eficiente da Nova, contribuindo significativamente para o avanço da tecnologia de zk-SNARKs.