Nova: um sistema inovador de zk-SNARKs

Nova é um novo sistema de zk-SNARKs desenvolvido pela Microsoft, que utiliza a tecnologia (Relaxed R1CS), melhorando significativamente a eficiência e flexibilidade das provas. As principais vantagens do Nova são:

1. Usando a tecnologia R1CS relaxada, reduziu a necessidade de aleatoriedade no processo de prova, aumentando a eficiência.

2. Suporta o cálculo incremental, permitindo calcular funções complexas passo a passo, sem a necessidade de tratar todos os cálculos de uma vez.

3. Suporte para cálculos polinomiais, capaz de lidar com tarefas de prova mais complexas.

4. Aumentou a praticidade dos zk-SNARKs em aplicações em grande escala.

A Nova também apresenta algumas limitações:

1. Devido ao uso de R1CS relaxados, a força da prova pode ser ligeiramente inferior à dos sistemas R1CS tradicionais.

2. A implementação é relativamente complexa, aumentando a dificuldade de uso e manutenção.

Apesar disso, a Nova continua a ocupar uma posição importante no campo dos zk-SNARKs. Ela abriu novos caminhos para o desenvolvimento dos zk-SNARKs, ampliando o alcance das aplicações, especialmente em cenários que exigem o processamento de grandes volumes de dados ou cálculos complexos.

A implementação central da Nova inclui:

1. Estruturas de dados e algoritmos relacionados a R1CS
2. Cálculo e avaliação de polinómios
3. Esquema de dobra não interativa ( NIFS )
4. Protocolo Spartan
5. Esquema de compromisso polinomial baseado em provas de produto interno

Através da combinação dessas tecnologias inovadoras, a Nova conseguiu implementar um sistema de zk-SNARKs eficiente e flexível, oferecendo novas soluções para áreas como blockchain e autenticação de identidade.