Análise do projeto Nova

Nova é um novo sistema de prova de conhecimento zero desenvolvido pela Microsoft, que utiliza técnicas de sistema de restrição de ordem relaxada para aumentar a eficiência e flexibilidade das provas. Ele tem uma posição importante no campo das provas de conhecimento zero, abrindo novas possibilidades para aplicações em larga escala.

Vantagens principais

• Usando a tecnologia R1CS relaxada, reduzindo o uso de aleatoriedade, 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

Módulos Principais

O código fonte da Nova contém os seguintes módulos importantes:

1. bellperson: Implementar funcionalidades relacionadas à geração de R1CS

2. circuito: Definição do circuito de melhoria do protocolo Nova

3. gadgets: gadget que implementa vários primitivas criptográficas

4. nifs: implementar um esquema de dobra não interativo

5. provedor: fornece componentes básicos como compromissos polinomiais, funções de hash, etc.

6. r1cs: Definição e estruturas de dados e operações relacionadas ao R1CS

7. spartan: Implementar o protocolo Spartan

8. traits: Definir várias interfaces de características

Estruturas de Dados Chave

• R1CSShape: representa a forma da matriz R1CS
• R1CSWitness: Representa a testemunha de uma instância R1CS
• R1CSInstance: representa uma instância R1CS
• RelaxedR1CSWitness: Representa o testemunho de uma instância R1CS relaxada
• RelaxedR1CSInstance: Representa uma instância R1CS relaxada

Algoritmo Principal

• Algoritmo Sumcheck: utilizado para verificar a soma de polinómios
• Avaliação de polinómios: provar o valor de um polinómio em um ponto
• Dobragem não interativa: agrupar múltiplas provas em uma única prova

Valor Aplicativo

O sistema Nova fornece ferramentas poderosas para a construção de provas de conhecimento zero eficientes, podendo ser amplamente aplicado em blockchain, computação de privacidade e outras áreas, promovendo a aplicação em larga escala da tecnologia de conhecimento zero.