Nova é um novo sistema de zk-SNARKs desenvolvido pela Microsoft, projetado para aumentar a eficiência e flexibilidade das provas. Ele utiliza a tecnologia de Sistemas de Restrições de Rank-1 Relaxadas (Relaxed Rank-1 Constraint Systems, Relaxed R1CS), que permite o uso de menos aleatoriedade nas provas, aumentando assim significativamente a eficiência das mesmas.
Principais características da Nova
Eficiência: A Nova utiliza a tecnologia R1CS relaxada, reduzindo a aleatoriedade necessária no processo de prova, aumentando significativamente a velocidade de geração e verificação das provas.
Suporte a cálculos incrementais: Nova permite calcular funções complexas passo a passo, sem a necessidade de completar todo o processo de cálculo de uma só vez. Isso é especialmente útil ao lidar com grandes volumes de dados ou realizar cálculos complexos.
Suporte a cálculos polinomiais: Nova pode lidar com tarefas de prova mais complexas, expandindo o alcance das zk-SNARKs.
Flexibilidade: O design da Nova permite que ela se adapte a uma variedade de cenários de aplicação, desempenhando um papel em vários campos.
Implementação técnica da Nova
A implementação central da Nova inclui as seguintes partes principais:
R1CS (Rank-1 Constraint Systems): A Nova utiliza um sistema R1CS melhorado para construir zk-SNARKs.
Esquema de compromisso polinomial: A Nova utiliza um esquema de compromisso polinomial baseado em Argumento de Produto Interno (Inner Product Argument, IPA).
Algoritmo Sumcheck: um algoritmo utilizado para verificar a soma de polinômios, desempenhando um papel importante no sistema de provas da Nova.
Esquema de Dobragem Não Interativa (Non-Interactive Folding Scheme, NIFS): utilizado para provar a correção de cada passo no cálculo incremental.
Criptografia de Curvas Elípticas (ECC): A Nova utiliza ECC para realizar operações criptográficas eficientes.
A posição da Nova no campo dos zk-SNARKs
A chegada da Nova abriu novos caminhos para o desenvolvimento de zk-SNARKs. A sua eficiência e flexibilidade tornam possível a aplicação em larga escala de zk-SNARKs. A Nova suporta cálculos incrementais e cálculos polinomiais complexos, expandindo ainda mais o alcance das aplicações de zk-SNARKs.
Apesar de o Nova ter vantagens significativas em eficiência e funcionalidade, a sua implementação é relativamente complexa, exigindo uma compreensão profunda das técnicas criptográficas relevantes para ser utilizada e modificada de forma eficaz. Além disso, devido à utilização de R1CS relaxado, as provas do Nova podem não ser tão robustas quanto os sistemas R1CS tradicionais em algumas situações. No entanto, os desenvolvedores do Nova tomaram medidas para abordar esses problemas potenciais, como a utilização de algoritmos criptográficos mais robustos e estratégias de prova mais complexas.
De um modo geral, a Nova representa um avanço importante na tecnologia zk-SNARKs, oferecendo novas possibilidades e direções para o futuro desenvolvimento deste campo.
Ver original
This page may contain third-party content, which is provided for information purposes only (not representations/warranties) and should not be considered as an endorsement of its views by Gate, nor as financial or professional advice. See Disclaimer for details.
11 Curtidas
Recompensa
11
3
Compartilhar
Comentário
0/400
LiquidationWatcher
· 11h atrás
Adormeci na aula de matemática. Alguém pode explicar isso em uma frase?
Ver originalResponder0
CrashHotline
· 11h atrás
A Microsoft finalmente fez algo sério.
Ver originalResponder0
LongTermDreamer
· 11h atrás
Daqui a três anos isso vai explodir, só depende de quem consegue aguentar a retração.
Nova: Sistema de zk-SNARKs eficiente e flexível para aplicação em larga escala
Nova: Um sistema de zk-SNARKs eficiente
Nova é um novo sistema de zk-SNARKs desenvolvido pela Microsoft, projetado para aumentar a eficiência e flexibilidade das provas. Ele utiliza a tecnologia de Sistemas de Restrições de Rank-1 Relaxadas (Relaxed Rank-1 Constraint Systems, Relaxed R1CS), que permite o uso de menos aleatoriedade nas provas, aumentando assim significativamente a eficiência das mesmas.
Principais características da Nova
Eficiência: A Nova utiliza a tecnologia R1CS relaxada, reduzindo a aleatoriedade necessária no processo de prova, aumentando significativamente a velocidade de geração e verificação das provas.
Suporte a cálculos incrementais: Nova permite calcular funções complexas passo a passo, sem a necessidade de completar todo o processo de cálculo de uma só vez. Isso é especialmente útil ao lidar com grandes volumes de dados ou realizar cálculos complexos.
Suporte a cálculos polinomiais: Nova pode lidar com tarefas de prova mais complexas, expandindo o alcance das zk-SNARKs.
Flexibilidade: O design da Nova permite que ela se adapte a uma variedade de cenários de aplicação, desempenhando um papel em vários campos.
Implementação técnica da Nova
A implementação central da Nova inclui as seguintes partes principais:
R1CS (Rank-1 Constraint Systems): A Nova utiliza um sistema R1CS melhorado para construir zk-SNARKs.
Esquema de compromisso polinomial: A Nova utiliza um esquema de compromisso polinomial baseado em Argumento de Produto Interno (Inner Product Argument, IPA).
Algoritmo Sumcheck: um algoritmo utilizado para verificar a soma de polinômios, desempenhando um papel importante no sistema de provas da Nova.
Esquema de Dobragem Não Interativa (Non-Interactive Folding Scheme, NIFS): utilizado para provar a correção de cada passo no cálculo incremental.
Criptografia de Curvas Elípticas (ECC): A Nova utiliza ECC para realizar operações criptográficas eficientes.
A posição da Nova no campo dos zk-SNARKs
A chegada da Nova abriu novos caminhos para o desenvolvimento de zk-SNARKs. A sua eficiência e flexibilidade tornam possível a aplicação em larga escala de zk-SNARKs. A Nova suporta cálculos incrementais e cálculos polinomiais complexos, expandindo ainda mais o alcance das aplicações de zk-SNARKs.
Apesar de o Nova ter vantagens significativas em eficiência e funcionalidade, a sua implementação é relativamente complexa, exigindo uma compreensão profunda das técnicas criptográficas relevantes para ser utilizada e modificada de forma eficaz. Além disso, devido à utilização de R1CS relaxado, as provas do Nova podem não ser tão robustas quanto os sistemas R1CS tradicionais em algumas situações. No entanto, os desenvolvedores do Nova tomaram medidas para abordar esses problemas potenciais, como a utilização de algoritmos criptográficos mais robustos e estratégias de prova mais complexas.
De um modo geral, a Nova representa um avanço importante na tecnologia zk-SNARKs, oferecendo novas possibilidades e direções para o futuro desenvolvimento deste campo.