Nova é um novo sistema de zk-SNARKs desenvolvido pela Microsoft, que utiliza a tecnologia (Relaxed R1CS), melhorando significativamente a eficiência e flexibilidade das provas. As principais vantagens do Nova são:
Usando a tecnologia R1CS relaxada, reduziu a necessidade de aleatoriedade no processo de prova, aumentando a eficiência.
Suporta o cálculo incremental, permitindo calcular funções complexas passo a passo, sem a necessidade de tratar todos os cálculos de uma vez.
Suporte para cálculos polinomiais, capaz de lidar com tarefas de prova mais complexas.
Aumentou a praticidade dos zk-SNARKs em aplicações em grande escala.
A Nova também apresenta algumas limitações:
Devido ao uso de R1CS relaxados, a força da prova pode ser ligeiramente inferior à dos sistemas R1CS tradicionais.
A implementação é relativamente complexa, aumentando a dificuldade de uso e manutenção.
Apesar disso, a Nova continua a ocupar uma posição importante no campo dos zk-SNARKs. Ela abriu novos caminhos para o desenvolvimento dos zk-SNARKs, ampliando o alcance das aplicações, especialmente em cenários que exigem o processamento de grandes volumes de dados ou cálculos complexos.
A implementação central da Nova inclui:
Estruturas de dados e algoritmos relacionados a R1CS
Cálculo e avaliação de polinómios
Esquema de dobra não interativa ( NIFS )
Protocolo Spartan
Esquema de compromisso polinomial baseado em provas de produto interno
Através da combinação dessas tecnologias inovadoras, a Nova conseguiu implementar um sistema de zk-SNARKs eficiente e flexível, oferecendo novas soluções para áreas como blockchain e autenticação de identidade.
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.
15 Curtidas
Recompensa
15
3
Repostar
Compartilhar
Comentário
0/400
MelonField
· 8h atrás
Tem personalidade, sem limites~?
Ver originalResponder0
HashBandit
· 8h atrás
a verdade é que este material r1cs lembra-me os meus dias de mineração de eth... pelo menos consome muito menos energia lmao
Ver originalResponder0
HypotheticalLiquidator
· 8h atrás
Relaxamento = vulnerabilidades de gestão de riscos Cuidado com o efeito dominó
Nova: aplicação inovadora do sistema zk-SNARKs da Microsoft
Nova: um sistema inovador de zk-SNARKs
Nova é um novo sistema de zk-SNARKs desenvolvido pela Microsoft, que utiliza a tecnologia (Relaxed R1CS), melhorando significativamente a eficiência e flexibilidade das provas. As principais vantagens do Nova são:
Usando a tecnologia R1CS relaxada, reduziu a necessidade de aleatoriedade no processo de prova, aumentando a eficiência.
Suporta o cálculo incremental, permitindo calcular funções complexas passo a passo, sem a necessidade de tratar todos os cálculos de uma vez.
Suporte para cálculos polinomiais, capaz de lidar com tarefas de prova mais complexas.
Aumentou a praticidade dos zk-SNARKs em aplicações em grande escala.
A Nova também apresenta algumas limitações:
Devido ao uso de R1CS relaxados, a força da prova pode ser ligeiramente inferior à dos sistemas R1CS tradicionais.
A implementação é relativamente complexa, aumentando a dificuldade de uso e manutenção.
Apesar disso, a Nova continua a ocupar uma posição importante no campo dos zk-SNARKs. Ela abriu novos caminhos para o desenvolvimento dos zk-SNARKs, ampliando o alcance das aplicações, especialmente em cenários que exigem o processamento de grandes volumes de dados ou cálculos complexos.
A implementação central da Nova inclui:
Através da combinação dessas tecnologias inovadoras, a Nova conseguiu implementar um sistema de zk-SNARKs eficiente e flexível, oferecendo novas soluções para áreas como blockchain e autenticação de identidade.