Nova: Nova tecnologia de prova de conhecimento zero baseada em sistemas de restrição de ordem relaxada.
Nova é um novo sistema de zk-SNARKs desenvolvido pela Microsoft, que utiliza a tecnologia de Sistemas de Restrições de Rango 1 Relaxadas (Relaxed Rank-1 Constraint Systems, Relaxed R1CS) para melhorar a eficiência e a flexibilidade das provas.
Principais Vantagens do Nova
O uso da tecnologia R1CS relaxada permite utilizar menos aleatoriedade na prova, aumentando significativamente a eficiência da prova.
Suporta cálculos incrementais, permitindo calcular funções complexas passo a passo, sem a necessidade de calcular toda a função de uma vez.
Suporte a cálculos polinomiais, capaz de lidar com tarefas de prova mais complexas.
Desvantagens potenciais da Nova
O uso de R1CS relaxado pode reduzir a segurança da prova, mas os desenvolvedores tomaram medidas para resolver este problema.
A implementação é relativamente complexa, aumentando a dificuldade de uso e manutenção.
A posição da Nova no campo dos zk-SNARKs
Nova abriu novos caminhos para o desenvolvimento de zk-SNARKs. A tecnologia R1CS relaxada que utiliza torna o processo de geração e verificação de provas mais eficiente, o que é crucial para aplicações de zk-SNARKs em larga escala. As características que suportam cálculos incrementais e cálculos polinomiais ampliam ainda mais o alcance de aplicação dos zk-SNARKs.
Componentes centrais do Nova
R1CS e R1CS relaxado: sistemas de restrição 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: usado para verificar a soma de polinômios.
Esquema de dobragem não interativa (NIFS): usado para provar a correção de cada passo em cálculos incrementais.
Criptografia de Curvas Elípticas (ECC): fornece uma tecnologia de criptografia de chave pública eficiente.
Função de hash Keccak256: usada para processar a transcrição durante o processo de zk-SNARKs.
A Nova, através da combinação inovadora destes componentes, criou um sistema de zk-SNARKs eficiente e flexível, oferecendo novas possibilidades para áreas como blockchain, autenticação de identidade e computação segura.
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.
12 Curtidas
Recompensa
12
6
Compartilhar
Comentário
0/400
GateUser-2fce706c
· 7h atrás
Chegou, chegou! O novo impulso dos zk-SNARKs, aproveite para se posicionar.
Ver originalResponder0
MidnightGenesis
· 7h atrás
O código parece bom, mas não estou muito confiante.
Ver originalResponder0
CryptoHistoryClass
· 7h atrás
parece outra hype tecnológica de IEO de 2017 fr fr
Ver originalResponder0
WenAirdrop
· 7h atrás
Zero-knowledge ainda é um bull feito pela Microsoft.
Nova: Sistema de restrições de ordem relaxada ajuda a eficiência dos zk-SNARKs
Nova: Nova tecnologia de prova de conhecimento zero baseada em sistemas de restrição de ordem relaxada.
Nova é um novo sistema de zk-SNARKs desenvolvido pela Microsoft, que utiliza a tecnologia de Sistemas de Restrições de Rango 1 Relaxadas (Relaxed Rank-1 Constraint Systems, Relaxed R1CS) para melhorar a eficiência e a flexibilidade das provas.
Principais Vantagens do Nova
O uso da tecnologia R1CS relaxada permite utilizar menos aleatoriedade na prova, aumentando significativamente a eficiência da prova.
Suporta cálculos incrementais, permitindo calcular funções complexas passo a passo, sem a necessidade de calcular toda a função de uma vez.
Suporte a cálculos polinomiais, capaz de lidar com tarefas de prova mais complexas.
Desvantagens potenciais da Nova
O uso de R1CS relaxado pode reduzir a segurança da prova, mas os desenvolvedores tomaram medidas para resolver este problema.
A implementação é relativamente complexa, aumentando a dificuldade de uso e manutenção.
A posição da Nova no campo dos zk-SNARKs
Nova abriu novos caminhos para o desenvolvimento de zk-SNARKs. A tecnologia R1CS relaxada que utiliza torna o processo de geração e verificação de provas mais eficiente, o que é crucial para aplicações de zk-SNARKs em larga escala. As características que suportam cálculos incrementais e cálculos polinomiais ampliam ainda mais o alcance de aplicação dos zk-SNARKs.
Componentes centrais do Nova
R1CS e R1CS relaxado: sistemas de restrição 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: usado para verificar a soma de polinômios.
Esquema de dobragem não interativa (NIFS): usado para provar a correção de cada passo em cálculos incrementais.
Criptografia de Curvas Elípticas (ECC): fornece uma tecnologia de criptografia de chave pública eficiente.
Função de hash Keccak256: usada para processar a transcrição durante o processo de zk-SNARKs.
A Nova, através da combinação inovadora destes componentes, criou um sistema de zk-SNARKs eficiente e flexível, oferecendo novas possibilidades para áreas como blockchain, autenticação de identidade e computação segura.