Nova: Sistema zk-SNARK recursivo eficiente

Nova é um novo tipo de sistema de prova de conhecimento não interativa e concisa de zero conhecimento zk-SNARK(, desenvolvido pelo Microsoft Research. Ele utiliza uma técnica chamada Sistemas de Restrição de Rank-1 Relaxados) (Relaxed Rank-1 Constraint Systems, Relaxed R1CS() para melhorar a eficiência e flexibilidade das provas.

Principais Vantagens da Nova

• Usando a técnica R1CS relaxada, reduziu a necessidade de aleatoriedade, aumentando significativamente a eficiência da prova.
• Suporta cálculos incrementais, permitindo calcular funções complexas passo a passo, sem precisar completar todo o cálculo de uma só vez.
• 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 cenários de aplicação em grande escala.

Limitações potenciais da Nova

• R1CS relaxado pode resultar em uma segurança de prova ligeiramente inferior à dos sistemas R1CS tradicionais
• A implementação é relativamente complexa, com maior dificuldade de uso e manutenção.
• É necessário compreender profundamente as técnicas de criptografia avançada para poder utilizá-las e modificá-las efetivamente.

Componentes principais da Nova

1. R1CS e R1CS relaxado: sistemas de restrição usados para construir provas de conhecimento zero

2. Esquema de compromisso polinomial: utilizado para provar valores de avaliação de polinómios

3. Solução de dobragem não interativa ) NIFS (: utilizada para provar a correção de cada passo do cálculo incremental

4. Algoritmo Sumcheck: utilizado para verificar a soma de polinômios

5. Criptografia de Curvas Elípticas ) ECC (: fornece primitivas criptográficas básicas

6. Função de hash Keccak256: usada para processar o transcript durante o processo de prova

7. Operações com grandes inteiros: suporta cálculos que ultrapassam o alcance de inteiros convencionais

A Nova, através da combinação inovadora desses componentes, implementou um sistema de prova recursiva eficiente, estabelecendo as bases para a aplicação em larga escala da tecnologia de provas de conhecimento zero.