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.
Principais Vantagens da Nova
O uso da tecnologia R1CS relaxada permite usar menos aleatoriedade na prova, aumentando significativamente a eficiência da prova.
Suporta cálculo incremental, permitindo calcular funções complexas de forma progressiva, sem a necessidade de calcular toda a função de uma só vez.
Suporte para cálculos polinomiais, capaz de lidar com tarefas de prova mais complexas.
Potenciais desvantagens da Nova
Devido ao uso de R1CS relaxado, a prova pode não ser tão robusta quanto os sistemas R1CS tradicionais, o que pode reduzir ligeiramente a segurança.
A implementação é relativamente complexa e requer uma compreensão profunda de cálculos polinomiais, operações em grupos e outras técnicas avançadas de criptografia.
A importância da Nova
Nova abriu novos caminhos para o desenvolvimento de zk-SNARKs. A tecnologia que utiliza torna o processo de geração e verificação das provas mais eficiente, sendo crucial para aplicações de zk-SNARKs em larga escala. Ao mesmo tempo, a Nova também expandiu o alcance das aplicações de zk-SNARKs, podendo lidar com tarefas de prova mais complexas.
Componentes principais da Nova
R1CS e Relaxed R1CS: sistemas de restrição utilizados para construir zk-SNARKs.
Esquema de compromisso polinomial: usado 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.
Cálculo incremental: permite calcular funções complexas passo a passo.
Esquema de dobra não interativo ( NIFS ): utilizado para provar a correção de cada etapa em cálculos incrementais.
A Nova, através da combinação inovadora dessas tecnologias, implementou um sistema de zk-SNARKs eficiente e flexível, oferecendo ferramentas poderosas para áreas como blockchain e computação segura.
Ver original
Esta página pode conter conteúdos de terceiros, que são fornecidos apenas para fins informativos (sem representações/garantias) e não devem ser considerados como uma aprovação dos seus pontos de vista pela Gate, nem como aconselhamento financeiro ou profissional. Consulte a Declaração de exoneração de responsabilidade para obter mais informações.
12 gostos
Recompensa
12
4
Partilhar
Comentar
0/400
BoredRiceBall
· 07-16 18:38
A Microsoft também está a trabalhar com zk? Está a fugir, está a fugir.
Ver originalResponder0
CryptoCross-TalkClub
· 07-14 03:53
O sistema de prova está relaxado, os idiotas na cadeia corram para desbloquear novas formas de fazer as pessoas de parvas.
Ver originalResponder0
RugpullSurvivor
· 07-14 03:49
A Microsoft desta vez tem algo interessante!
Ver originalResponder0
GasWhisperer
· 07-14 03:33
hmm... r1cs relaxado parece assistir a ondas de gás durante baixa congestão... elegante mas arriscado para ser honesto
Nova: A tecnologia R1CS relaxada lidera uma nova era de zk-SNARKs
Nova: Um sistema inovador de 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.
Principais Vantagens da Nova
O uso da tecnologia R1CS relaxada permite usar menos aleatoriedade na prova, aumentando significativamente a eficiência da prova.
Suporta cálculo incremental, permitindo calcular funções complexas de forma progressiva, sem a necessidade de calcular toda a função de uma só vez.
Suporte para cálculos polinomiais, capaz de lidar com tarefas de prova mais complexas.
Potenciais desvantagens da Nova
Devido ao uso de R1CS relaxado, a prova pode não ser tão robusta quanto os sistemas R1CS tradicionais, o que pode reduzir ligeiramente a segurança.
A implementação é relativamente complexa e requer uma compreensão profunda de cálculos polinomiais, operações em grupos e outras técnicas avançadas de criptografia.
A importância da Nova
Nova abriu novos caminhos para o desenvolvimento de zk-SNARKs. A tecnologia que utiliza torna o processo de geração e verificação das provas mais eficiente, sendo crucial para aplicações de zk-SNARKs em larga escala. Ao mesmo tempo, a Nova também expandiu o alcance das aplicações de zk-SNARKs, podendo lidar com tarefas de prova mais complexas.
Componentes principais da Nova
R1CS e Relaxed R1CS: sistemas de restrição utilizados para construir zk-SNARKs.
Esquema de compromisso polinomial: usado 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.
Cálculo incremental: permite calcular funções complexas passo a passo.
Esquema de dobra não interativo ( NIFS ): utilizado para provar a correção de cada etapa em cálculos incrementais.
A Nova, através da combinação inovadora dessas tecnologias, implementou um sistema de zk-SNARKs eficiente e flexível, oferecendo ferramentas poderosas para áreas como blockchain e computação segura.