Nova é um novo tipo de sistema zk-SNARKs, desenvolvido pela Microsoft. Ele utiliza a tecnologia Relaxed R1CS( para aumentar a eficiência e flexibilidade das provas.
As principais vantagens da Nova são:
Usando R1CS relaxados, reduziu a aleatoriedade necessária na prova, aumentando significativamente a eficiência de geração e verificação da prova.
Suporta cálculos incrementais, podendo calcular funções complexas passo a passo, 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.
Forneceu um mecanismo de dobragem de provas eficiente, que pode combinar várias provas em uma.
No entanto, a Nova também tem algumas limitações:
Devido ao uso de R1CS relaxado, a força da prova pode não ser tão forte quanto a dos sistemas R1CS tradicionais.
A implementação é relativamente complexa, o que aumenta a dificuldade de uso e manutenção.
É necessário compreender profundamente técnicas avançadas de criptografia como cálculo polinomial e operações em grupos para poder utilizá-las efetivamente.
A Nova ocupa uma posição importante no campo dos zk-SNARKs, proporcionando novas possibilidades para aplicações em larga escala. O seu surgimento expandiu o alcance da aplicação dos zk-SNARKs, trazendo novas oportunidades para áreas como blockchain e computação segura.
A implementação central da Nova inclui:
Definição e operação de R1CS e R1CS relaxado
Esquema de compromisso polinomial
Esquema de dobra não interativa ) NIFS (
Algoritmo Sumcheck
Teorema do produto interno ) IPA (
Através da combinação dessas tecnologias, a Nova conseguiu uma geração e verificação de provas eficiente. No futuro, a Nova tem potencial para desempenhar um papel importante nas áreas de proteção da privacidade e computação verificá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.
18 Curtidas
Recompensa
18
4
Compartilhar
Comentário
0/400
ChainComedian
· 08-04 03:56
A Microsoft não estará a tentar roubar o lugar dos L2 com esta armadilha, estará?
Ver originalResponder0
Anon32942
· 08-04 03:55
A antiga Microsoft também entrou no jogo de conhecimento zero???
Ver originalResponder0
NftDeepBreather
· 08-04 03:46
Já achava que contar com gm para passar pelo bull run não era confiável.
Nova: Sistema revolucionário de zk-SNARKs que melhora a eficiência do Blockchain
Nova: Sistema de zk-SNARKs eficiente
Nova é um novo tipo de sistema zk-SNARKs, desenvolvido pela Microsoft. Ele utiliza a tecnologia Relaxed R1CS( para aumentar a eficiência e flexibilidade das provas.
As principais vantagens da Nova são:
Usando R1CS relaxados, reduziu a aleatoriedade necessária na prova, aumentando significativamente a eficiência de geração e verificação da prova.
Suporta cálculos incrementais, podendo calcular funções complexas passo a passo, 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.
Forneceu um mecanismo de dobragem de provas eficiente, que pode combinar várias provas em uma.
No entanto, a Nova também tem algumas limitações:
Devido ao uso de R1CS relaxado, a força da prova pode não ser tão forte quanto a dos sistemas R1CS tradicionais.
A implementação é relativamente complexa, o que aumenta a dificuldade de uso e manutenção.
É necessário compreender profundamente técnicas avançadas de criptografia como cálculo polinomial e operações em grupos para poder utilizá-las efetivamente.
A Nova ocupa uma posição importante no campo dos zk-SNARKs, proporcionando novas possibilidades para aplicações em larga escala. O seu surgimento expandiu o alcance da aplicação dos zk-SNARKs, trazendo novas oportunidades para áreas como blockchain e computação segura.
A implementação central da Nova inclui:
Através da combinação dessas tecnologias, a Nova conseguiu uma geração e verificação de provas eficiente. No futuro, a Nova tem potencial para desempenhar um papel importante nas áreas de proteção da privacidade e computação verificável.