Nova: um sistema eficiente de zk-SNARKs

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

Principais Vantagens da Nova

• Utilizando a técnica R1CS relaxada, a aleatoriedade no processo de prova foi reduzida, aumentando a eficiência.
• Suporta cálculo incremental, podendo calcular funções complexas passo a passo
• Suporta cálculos polinomiais, podendo lidar com tarefas de prova mais complexas
• O processo de geração e verificação de provas é mais eficiente, adequado para aplicações em larga escala

Limitações do Nova

• Devido ao uso de R1CS relaxado, a segurança da prova pode ser ligeiramente inferior à dos sistemas R1CS tradicionais.
• A implementação é bastante complexa, exigindo uma compreensão profunda de cálculos polinomiais, operações de grupo e outras técnicas avançadas de criptografia.

A importante posição da Nova

Nova abriu uma nova direção de desenvolvimento para zk-SNARKs. A sua eficiência e flexibilidade permitem que os zk-SNARKs sejam aplicados em áreas mais amplas, como autenticação, blockchain e computação segura.

Componentes principais da Nova

1. Módulo R1CS: implementou um sistema R1CS relaxado

2. Módulo de cálculo polinomial: implementou compromissos e avaliações polinomiais

3. Algoritmo Sumcheck: validação da soma de polinómios

4. Esquema de Compromisso: implementou o compromisso polinomial

5. Motor de avaliação: implementou a avaliação polinomial

6. módulo zkSNARK: implementou um sistema de zk-SNARKs

A Nova, através da colaboração destes módulos, alcançou uma prova de conhecimento zero eficiente. Ao mesmo tempo que melhora a eficiência da prova, também garante segurança suficiente, contribuindo de forma importante para o desenvolvimento da tecnologia de provas de conhecimento zero.