Nova é um novo sistema de zk-SNARKs desenvolvido pela Microsoft, que utiliza a tecnologia de Sistemas de Restrições de Rank-1 Relaxadas ( para melhorar a eficiência e a flexibilidade das provas. Nova ocupa uma posição importante no campo dos zk-SNARKs, abrindo novos caminhos para o desenvolvimento deste setor.
Principais vantagens da Nova
Utilizando a técnica R1CS relaxada, reduziu-se a aleatoriedade necessária no processo de prova, aumentando significativamente a eficiência da prova.
Suporta cálculos incrementais, permitindo calcular funções complexas de forma gradual, sem a necessidade de calcular toda a função 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, o que é crucial para aplicações de zk-SNARKs em grande escala.
Limitações potenciais da Nova
Devido ao uso de R1CS relaxado, a sua prova pode não ser tão robusta quanto a do sistema R1CS tradicional, podendo diminuir a segurança da prova em certa medida.
A implementação é relativamente complexa, podendo aumentar a dificuldade de uso e manutenção. É necessário ter um entendimento profundo de técnicas avançadas de criptografia, como cálculo polinomial, operações de grupo e oráculos aleatórios.
Componentes principais da Nova
R1CS e R1CS relaxado: sistemas de restrições usados para construir zk-SNARKs.
Esquema de compromisso polinomial: utilizado para provar o valor de avaliação de um polinómio sem revelar o próprio polinómio.
Algoritmo Sumcheck: utilizado para verificar a soma de polinômios.
Esquema de dobra não interativa ) NIFS (: utilizado para provar a correção de cada passo em cálculos incrementais.
Parâmetro de produto interno ) IPA (: usado para construir esquemas de compromisso polinomial eficientes.
Perspectivas de Aplicação da Nova
A eficiência e flexibilidade da Nova conferem-lhe amplas perspectivas de aplicação nas seguintes áreas:
Blockchain e criptomoedas: aumentar a eficiência e a privacidade da validação das transações.
Autenticação: implementar um sistema de autenticação que proteja a privacidade.
Computação segura multipartidária: aumentar a eficiência de cálculo e o nível de proteção da privacidade.
Análise de dados com proteção de privacidade: realizar análises de dados complexas enquanto se protege a privacidade dos dados.
A Nova trouxe novas possibilidades para o desenvolvimento da tecnologia zk-SNARKs, com a expectativa de impulsionar este campo em direção a um desenvolvimento mais eficiente e flexível.
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.
13 Curtidas
Recompensa
13
4
Repostar
Compartilhar
Comentário
0/400
AlwaysAnon
· 08-13 12:11
Carregou fortemente a privacidade na blockchain!
Ver originalResponder0
MeltdownSurvivalist
· 08-10 13:54
Estou bastante otimista com a nova r1cs fantástico.
Ver originalResponder0
TokenVelocity
· 08-10 13:48
Eficiência, eficiência, não depende de empilhar equipamentos de mineração para aumentar o poder de computação?
Nova: Um novo e eficiente sistema de zk-SNARKs para proteger a privacidade na Web3
Nova: Sistema de zk-SNARKs recursivo e eficiente
Nova é um novo sistema de zk-SNARKs desenvolvido pela Microsoft, que utiliza a tecnologia de Sistemas de Restrições de Rank-1 Relaxadas ( para melhorar a eficiência e a flexibilidade das provas. Nova ocupa uma posição importante no campo dos zk-SNARKs, abrindo novos caminhos para o desenvolvimento deste setor.
Principais vantagens da Nova
Utilizando a técnica R1CS relaxada, reduziu-se a aleatoriedade necessária no processo de prova, aumentando significativamente a eficiência da prova.
Suporta cálculos incrementais, permitindo calcular funções complexas de forma gradual, sem a necessidade de calcular toda a função 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, o que é crucial para aplicações de zk-SNARKs em grande escala.
Limitações potenciais da Nova
Devido ao uso de R1CS relaxado, a sua prova pode não ser tão robusta quanto a do sistema R1CS tradicional, podendo diminuir a segurança da prova em certa medida.
A implementação é relativamente complexa, podendo aumentar a dificuldade de uso e manutenção. É necessário ter um entendimento profundo de técnicas avançadas de criptografia, como cálculo polinomial, operações de grupo e oráculos aleatórios.
Componentes principais da Nova
R1CS e R1CS relaxado: sistemas de restrições usados para construir zk-SNARKs.
Esquema de compromisso polinomial: utilizado para provar o valor de avaliação de um polinómio sem revelar o próprio polinómio.
Algoritmo Sumcheck: utilizado para verificar a soma de polinômios.
Esquema de dobra não interativa ) NIFS (: utilizado para provar a correção de cada passo em cálculos incrementais.
Parâmetro de produto interno ) IPA (: usado para construir esquemas de compromisso polinomial eficientes.
Perspectivas de Aplicação da Nova
A eficiência e flexibilidade da Nova conferem-lhe amplas perspectivas de aplicação nas seguintes áreas:
Blockchain e criptomoedas: aumentar a eficiência e a privacidade da validação das transações.
Autenticação: implementar um sistema de autenticação que proteja a privacidade.
Computação segura multipartidária: aumentar a eficiência de cálculo e o nível de proteção da privacidade.
Análise de dados com proteção de privacidade: realizar análises de dados complexas enquanto se protege a privacidade dos dados.
A Nova trouxe novas possibilidades para o desenvolvimento da tecnologia zk-SNARKs, com a expectativa de impulsionar este campo em direção a um desenvolvimento mais eficiente e flexível.