Nova: um novo sistema zk-SNARKs

Nova é um novo sistema de zk-SNARKs desenvolvido pela Microsoft, que utiliza a tecnologia de Sistemas de Restrições de Rango 1 Relaxadas (Relaxed Rank-1 Constraint Systems, Relaxed R1CS) para melhorar a eficiência e flexibilidade das provas.

Principais Vantagens da Nova

1. Usando a técnica R1CS relaxada, permite utilizar menos aleatoriedade na prova, aumentando significativamente a eficiência da prova.

2. Suporta cálculo incremental, permitindo calcular funções complexas passo a passo, sem a necessidade de calcular a função inteira de uma só vez.

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

Desvantagens potenciais da Nova

1. Devido ao uso de R1CS relaxado, a prova pode não ser tão robusta quanto os sistemas R1CS tradicionais, podendo reduzir ligeiramente a segurança.

2. A implementação é relativamente complexa, exigindo uma compreensão profunda de cálculos polinomiais, operações de grupo e técnicas avançadas de criptografia, como máquinas de aleatoriedade.

A importância da Nova no campo dos zk-SNARKs

1. Abriu novos caminhos para o desenvolvimento de zk-SNARKs.

2. Aumentou a eficiência na geração e verificação de provas, o que é crucial para aplicações em larga escala.

3. Ampliou o âmbito de aplicação dos zk-SNARKs, podendo lidar com tarefas de prova mais complexas.

Componentes principais da Nova

1. R1CS e R1CS relaxado: sistemas de restrição utilizados para construir zk-SNARKs.

2. Motor de avaliação de polinómios: utilizado para provar o valor de avaliação de um polinómio num determinado ponto.

3. Esquema de compromisso: permite que o provador se comprometa com um valor sem revelá-lo imediatamente.

4. Algoritmo Sumcheck: usado para verificar a soma de polinómios.

5. Função de passos de cálculo incremental: permite calcular funções complexas passo a passo.

As inovações da Nova trazem novas possibilidades para os sistemas de zk-SNARKs, com a esperança de impulsionar a aplicação dessa tecnologia em áreas mais amplas.