Nova é um novo sistema de zk-SNARKs desenvolvido pela Microsoft, que utiliza a tecnologia (Relaxed R1CS) para melhorar a eficiência e flexibilidade das provas.
Vantagens do Nova
A principal vantagem do Nova é o uso da tecnologia R1CS relaxada. Os sistemas R1CS tradicionais requerem uma grande quantidade de aleatoriedade durante o processo de prova, o que torna a geração e verificação da prova complexas e demoradas. O Nova, ao usar R1CS relaxada, permite o uso de menos aleatoriedade na prova, aumentando significativamente a eficiência da prova.
A Nova também suporta cálculos incrementais, permitindo calcular funções complexas gradualmente, em vez de calcular a função inteira de uma só vez. Isso é muito útil ao lidar com grandes quantidades de dados ou cálculos complexos. Além disso, a Nova também suporta cálculos polinomiais, podendo lidar com tarefas de prova mais complexas.
Desvantagens da Nova
A Nova utiliza R1CS relaxado, cujos proveitos podem não ser tão robustos quanto os sistemas R1CS tradicionais. O R1CS relaxado usa menos aleatoriedade, o que pode reduzir a segurança da prova. No entanto, os desenvolvedores da Nova tomaram medidas para resolver esse problema, como o uso de algoritmos criptográficos mais robustos e estratégias de prova mais complexas.
Em segundo lugar, a implementação do Nova é relativamente complexa, o que pode aumentar a dificuldade de uso e manutenção. O Nova utiliza várias técnicas de criptografia avançadas, como cálculos polinomiais, operações em grupos e oráculos aleatórios, sendo necessário um entendimento profundo dessas técnicas para usar e modificar efetivamente o Nova.
A importância da Nova no campo dos zk-SNARKs
A Nova ocupa uma posição importante no campo dos zk-SNARKs. Abre novas vias para o desenvolvimento dos zk-SNARKs. A tecnologia R1CS relaxada adotada pela Nova torna o processo de geração e verificação de provas mais eficiente, o que é crucial para aplicações de zk-SNARKs em grande escala. Além disso, a Nova suporta cálculos incrementais e cálculos polinomiais, podendo lidar com tarefas de prova mais complexas, expandindo ainda mais o âmbito de aplicação dos zk-SNARKs.
Análise do código fonte da Nova
O código-fonte da Nova contém principalmente os seguintes módulos importantes:
bellperson: Implementou a geração de R1CS(Rank-1 Constraint Systems).
gadgets: inclui ferramentas para construir provas zk-SNARKs.
provider: Inclui algum código de provedores, como a implementação da função de hash Keccak.
spartan: Inclui código relacionado ao protocolo Spartan.
traits: definiu alguns comportamentos gerais em traits Rust.
A implementação central da Nova inclui:
Implementação de R1CS e R1CS relaxado
Esquema de compromisso polinomial
Algoritmo Sumcheck
Solução de dobragem não interativa ( NIFS )
Operações de criptografia de curva elíptica
Motor de transcrição
Esses componentes juntos formam o sistema de zk-SNARKs da Nova, permitindo gerar e verificar de forma eficiente as provas de cálculos complexos, ao mesmo tempo garantindo a segurança e a privacidade das provas.
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.
17 Curtidas
Recompensa
17
8
Compartilhar
Comentário
0/400
DefiEngineerJack
· 07-27 05:09
*sigh* a microsoft tentando otimizar zk novamente... mostra-me a verificação formal ou é apenas mais um pote de mel L2
Ver originalResponder0
tx_pending_forever
· 07-26 11:14
Já estão a falar de zero-knowledge novamente? Se a segurança está comprometida, ainda se pode usar?
Ver originalResponder0
TestnetScholar
· 07-25 14:13
A tecnologia ficou complexa novamente.
Ver originalResponder0
RugpullTherapist
· 07-25 03:30
Uma nova moda voltou a me afetar... Não é apenas uma armadilha vazia?
Ver originalResponder0
liquiditea_sipper
· 07-25 03:26
Boa jogada, a Microsoft fez um bom trabalho em equilibrar isso.
Ver originalResponder0
Rugpull幸存者
· 07-25 03:25
Este osso de galinha não vale a pena, é melhor usar Stark
Ver originalResponder0
MoonMathMagic
· 07-25 03:20
Mais um sistema sacrificando segurança em troca de desempenho.
Nova: Novo sistema zk-SNARKs que melhora a eficiência e a flexibilidade
Nova: Um novo sistema zk-SNARKs
Nova é um novo sistema de zk-SNARKs desenvolvido pela Microsoft, que utiliza a tecnologia (Relaxed R1CS) para melhorar a eficiência e flexibilidade das provas.
Vantagens do Nova
A principal vantagem do Nova é o uso da tecnologia R1CS relaxada. Os sistemas R1CS tradicionais requerem uma grande quantidade de aleatoriedade durante o processo de prova, o que torna a geração e verificação da prova complexas e demoradas. O Nova, ao usar R1CS relaxada, permite o uso de menos aleatoriedade na prova, aumentando significativamente a eficiência da prova.
A Nova também suporta cálculos incrementais, permitindo calcular funções complexas gradualmente, em vez de calcular a função inteira de uma só vez. Isso é muito útil ao lidar com grandes quantidades de dados ou cálculos complexos. Além disso, a Nova também suporta cálculos polinomiais, podendo lidar com tarefas de prova mais complexas.
Desvantagens da Nova
A Nova utiliza R1CS relaxado, cujos proveitos podem não ser tão robustos quanto os sistemas R1CS tradicionais. O R1CS relaxado usa menos aleatoriedade, o que pode reduzir a segurança da prova. No entanto, os desenvolvedores da Nova tomaram medidas para resolver esse problema, como o uso de algoritmos criptográficos mais robustos e estratégias de prova mais complexas.
Em segundo lugar, a implementação do Nova é relativamente complexa, o que pode aumentar a dificuldade de uso e manutenção. O Nova utiliza várias técnicas de criptografia avançadas, como cálculos polinomiais, operações em grupos e oráculos aleatórios, sendo necessário um entendimento profundo dessas técnicas para usar e modificar efetivamente o Nova.
A importância da Nova no campo dos zk-SNARKs
A Nova ocupa uma posição importante no campo dos zk-SNARKs. Abre novas vias para o desenvolvimento dos zk-SNARKs. A tecnologia R1CS relaxada adotada pela Nova torna o processo de geração e verificação de provas mais eficiente, o que é crucial para aplicações de zk-SNARKs em grande escala. Além disso, a Nova suporta cálculos incrementais e cálculos polinomiais, podendo lidar com tarefas de prova mais complexas, expandindo ainda mais o âmbito de aplicação dos zk-SNARKs.
Análise do código fonte da Nova
O código-fonte da Nova contém principalmente os seguintes módulos importantes:
bellperson: Implementou a geração de R1CS(Rank-1 Constraint Systems).
gadgets: inclui ferramentas para construir provas zk-SNARKs.
provider: Inclui algum código de provedores, como a implementação da função de hash Keccak.
spartan: Inclui código relacionado ao protocolo Spartan.
traits: definiu alguns comportamentos gerais em traits Rust.
A implementação central da Nova inclui:
Esses componentes juntos formam o sistema de zk-SNARKs da Nova, permitindo gerar e verificar de forma eficiente as provas de cálculos complexos, ao mesmo tempo garantindo a segurança e a privacidade das provas.