Nova: Sistema zk-SNARK recursivo de alta eficiência de nova geração e suas vantagens

robot
Geração de resumo em curso

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.

ZK6.5%
Ver original
Esta página pode conter conteúdos de terceiros, que são fornecidos apenas para fins informativos (sem representações/garantias) e não devem ser considerados como uma aprovação dos seus pontos de vista pela Gate, nem como aconselhamento financeiro ou profissional. Consulte a Declaração de exoneração de responsabilidade para obter mais informações.
  • Recompensa
  • 8
  • Republicar
  • Partilhar
Comentar
0/400
Nenhum comentário
  • Fixar
Negocie cripto em qualquer lugar e a qualquer hora
qrCode
Digitalizar para transferir a aplicação Gate
Novidades
Português (Portugal)
  • 简体中文
  • English
  • Tiếng Việt
  • 繁體中文
  • Español
  • Русский
  • Français (Afrique)
  • Português (Portugal)
  • Bahasa Indonesia
  • 日本語
  • بالعربية
  • Українська
  • Português (Brasil)