Nova é um novo sistema de zk-SNARKs desenvolvido pela Microsoft, que utiliza sistemas de restrição de ordem relaxada (Relaxed Rank-1 Constraint Systems) para melhorar a eficiência e a flexibilidade das provas.
Principais vantagens da Nova
O uso da tecnologia R1CS relaxada permite utilizar menos aleatoriedade nas provas, aumentando significativamente a eficiência das provas.
Suporte a cálculos incrementais, permitindo calcular funções complexas gradualmente, em vez de ter que calcular a função inteira de uma só vez. Isso é muito útil ao lidar com grandes volumes de dados ou realizar cálculos complexos.
Suporta cálculos polinomiais, podendo lidar com tarefas de prova mais complexas.
Desvantagens potenciais da Nova
Devido ao uso de R1CS relaxado, a prova pode não ser tão robusta quanto os sistemas R1CS tradicionais. No entanto, os desenvolvedores tomaram medidas para resolver esse problema, como o uso de algoritmos criptográficos mais fortes e estratégias de prova mais complexas.
A implementação é relativamente complexa, o que pode aumentar a dificuldade de uso e manutenção. A Nova utiliza muitas técnicas avançadas de criptografia, sendo necessário um entendimento profundo dessas técnicas para utilizá-las e modificá-las de forma eficaz.
A importância da Nova
Nova abriu novos caminhos para o desenvolvimento de zk-SNARKs. A tecnologia que utiliza torna o processo de geração e verificação de provas mais eficiente, o que é crucial para aplicações em larga escala de zk-SNARKs. Além disso, a Nova também suporta cálculos incrementais e polinomiais, ampliando ainda mais o alcance das aplicações de zk-SNARKs.
Componentes principais da Nova
Módulos relacionados ao R1CS: define a estrutura e as operações básicas do R1CS.
Módulo de cálculo polinomial: implementa a representação e as operações básicas de polinómios.
Algoritmo Sumcheck: utilizado para verificar a soma de polinómios.
Esquema de compromisso: implementou o mecanismo de compromisso na criptografia.
Motor de Avaliação: usado para provar e verificar a avaliação de polinómios.
Pré-processador: realizar pré-processamento na entrada.
Motor de transcrição: processar a interação durante o processo de prova.
zkSNARKs implementação: baseado nos componentes acima, foi implementado um sistema de prova não interativa de conhecimento zero e concisa.
A Nova, através da combinação engenhosa destes componentes, implementou um sistema de zk-SNARKs eficiente e flexível, proporcionando novas possibilidades para o desenvolvimento de áreas como a criptografia e a blockchain.
Ver original
Esta página pode conter conteúdo de terceiros, que é fornecido apenas para fins informativos (não para representações/garantias) e não deve ser considerada como um endosso de suas opiniões pela Gate nem como aconselhamento financeiro ou profissional. Consulte a Isenção de responsabilidade para obter detalhes.
18 Curtidas
Recompensa
18
3
Repostar
Compartilhar
Comentário
0/400
shadowy_supercoder
· 08-13 04:19
Por que a Microsoft faz tudo isto tão extravagante?
Ver originalResponder0
BearMarketSurvivor
· 08-11 18:57
O veterano observa a nova arma para ver como é o desempenho do fogo.
Nova: Um novo sistema de zk-SNARKs eficiente e flexível
Nova: um novo sistema zk-SNARKs
Nova é um novo sistema de zk-SNARKs desenvolvido pela Microsoft, que utiliza sistemas de restrição de ordem relaxada (Relaxed Rank-1 Constraint Systems) para melhorar a eficiência e a flexibilidade das provas.
Principais vantagens da Nova
O uso da tecnologia R1CS relaxada permite utilizar menos aleatoriedade nas provas, aumentando significativamente a eficiência das provas.
Suporte a cálculos incrementais, permitindo calcular funções complexas gradualmente, em vez de ter que calcular a função inteira de uma só vez. Isso é muito útil ao lidar com grandes volumes de dados ou realizar cálculos complexos.
Suporta cálculos polinomiais, podendo lidar com tarefas de prova mais complexas.
Desvantagens potenciais da Nova
Devido ao uso de R1CS relaxado, a prova pode não ser tão robusta quanto os sistemas R1CS tradicionais. No entanto, os desenvolvedores tomaram medidas para resolver esse problema, como o uso de algoritmos criptográficos mais fortes e estratégias de prova mais complexas.
A implementação é relativamente complexa, o que pode aumentar a dificuldade de uso e manutenção. A Nova utiliza muitas técnicas avançadas de criptografia, sendo necessário um entendimento profundo dessas técnicas para utilizá-las e modificá-las de forma eficaz.
A importância da Nova
Nova abriu novos caminhos para o desenvolvimento de zk-SNARKs. A tecnologia que utiliza torna o processo de geração e verificação de provas mais eficiente, o que é crucial para aplicações em larga escala de zk-SNARKs. Além disso, a Nova também suporta cálculos incrementais e polinomiais, ampliando ainda mais o alcance das aplicações de zk-SNARKs.
Componentes principais da Nova
Módulos relacionados ao R1CS: define a estrutura e as operações básicas do R1CS.
Módulo de cálculo polinomial: implementa a representação e as operações básicas de polinómios.
Algoritmo Sumcheck: utilizado para verificar a soma de polinómios.
Esquema de compromisso: implementou o mecanismo de compromisso na criptografia.
Motor de Avaliação: usado para provar e verificar a avaliação de polinómios.
Pré-processador: realizar pré-processamento na entrada.
Motor de transcrição: processar a interação durante o processo de prova.
zkSNARKs implementação: baseado nos componentes acima, foi implementado um sistema de prova não interativa de conhecimento zero e concisa.
A Nova, através da combinação engenhosa destes componentes, implementou um sistema de zk-SNARKs eficiente e flexível, proporcionando novas possibilidades para o desenvolvimento de áreas como a criptografia e a blockchain.