Nova é um novo sistema de zk-SNARKs desenvolvido pela Microsoft, que utiliza a tecnologia (Relaxed R1CS) para melhorar a eficiência e a flexibilidade das provas.
A principal vantagem do Nova é o uso da tecnologia R1CS relaxada. Os sistemas R1CS tradicionais exigem o uso de uma grande quantidade de aleatoriedade durante o processo de prova, o que torna o processo de geração e verificação da prova complexo e demorado. O Nova, ao utilizar a R1CS relaxada, permite o uso de menos aleatoriedade na prova, o que aumenta significativamente a eficiência da prova.
Além disso, a Nova também suporta cálculos incrementais, permitindo calcular funções complexas passo a passo, sem a necessidade de calcular toda a função de uma só vez. Isso é muito útil ao lidar com grandes volumes de dados ou cálculos complexos. A Nova também suporta cálculos polinomiais, podendo lidar com tarefas de prova mais complexas.
As desvantagens do Nova são que, devido ao uso de R1CS relaxado, suas provas podem não ser tão robustas quanto os sistemas R1CS tradicionais. O R1CS relaxado permite o uso de menos aleatoriedade, o que pode reduzir a segurança das provas. No entanto, os desenvolvedores do Nova tomaram medidas para resolver esse problema, como a utilização de algoritmos criptográficos mais robustos e estratégias de prova mais complexas.
Além disso, a implementação do Nova é relativamente complexa, o que pode aumentar a dificuldade de uso e manutenção. O Nova utiliza muitas técnicas avançadas de criptografia, sendo necessário um entendimento profundo dessas técnicas para usar e modificar efetivamente o Nova.
Em geral, a Nova ocupa uma posição importante no campo dos zk-SNARKs. Sua tecnologia R1CS relaxada torna a geração e verificação de provas mais eficientes, o que é crucial para aplicações de zk-SNARKs em grande escala. A Nova também suporta computação incremental e computação polinomial, expandindo ainda mais o alcance das aplicações de zk-SNARKs.
O código-fonte da Nova contém principalmente os seguintes módulos principais:
bellperson: implementar funcionalidades relacionadas ao R1CS.
gadgets: ferramentas que incluem a construção de provas zk-SNARKs.
spartan: implementar funcionalidades relacionadas ao protocolo Spartan.
traits: definiu alguns traits genéricos, como Group, CommitmentTrait, etc.
r1cs.rs: define as estruturas de dados e métodos relacionados ao R1CS.
nifs.rs: implementar um esquema de dobragem não interativa.
ipa_pc.rs: Implementar um esquema de compromisso polinomial baseado em IPA.
Estes módulos implementam em conjunto as funcionalidades principais do Nova, incluindo sistema de restrições R1CS, compromisso polinomial, geração e verificação de zk-SNARKs, entre outros. O Nova, através da combinação destes módulos, alcançou um sistema de zk-SNARKs eficiente.
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
9
Compartilhar
Comentário
0/400
GasWrangler
· 07-15 08:59
tecnicamente falando, o r1cs relaxado da nova é sub-ótimo para garantias de segurança robustas...
Ver originalResponder0
Rugpull幸存者
· 07-14 14:27
A Microsoft tem uma força muito grande.
Ver originalResponder0
PretendingSerious
· 07-13 22:56
bull incrível, a Microsoft finalmente fez algo bom
Ver originalResponder0
CryptoTarotReader
· 07-13 18:34
A Microsoft está aqui! ZK está a preparar-se para uma IPO?
Ver originalResponder0
BlockchainTalker
· 07-13 18:29
na verdade, a microsoft está a fazer provas zk? definitivamente uma mudança de jogo para ser honesto... não muitas pessoas se apercebem disto
Ver originalResponder0
¯\_(ツ)_/¯
· 07-13 18:27
Relax R1CS tão bull!
Ver originalResponder0
ApeWithNoFear
· 07-13 18:21
zk-SNARKs真香
Ver originalResponder0
PonziDetector
· 07-13 18:18
A Microsoft também está a levar a sério o zero conhecimento?
Nova: A tecnologia R1CS relaxada lidera a nova eficiência dos zk-SNARKs
Nova: um sistema de zk-SNARKs eficiente
Nova é um novo sistema de zk-SNARKs desenvolvido pela Microsoft, que utiliza a tecnologia (Relaxed R1CS) para melhorar a eficiência e a flexibilidade das provas.
A principal vantagem do Nova é o uso da tecnologia R1CS relaxada. Os sistemas R1CS tradicionais exigem o uso de uma grande quantidade de aleatoriedade durante o processo de prova, o que torna o processo de geração e verificação da prova complexo e demorado. O Nova, ao utilizar a R1CS relaxada, permite o uso de menos aleatoriedade na prova, o que aumenta significativamente a eficiência da prova.
Além disso, a Nova também suporta cálculos incrementais, permitindo calcular funções complexas passo a passo, sem a necessidade de calcular toda a função de uma só vez. Isso é muito útil ao lidar com grandes volumes de dados ou cálculos complexos. A Nova também suporta cálculos polinomiais, podendo lidar com tarefas de prova mais complexas.
As desvantagens do Nova são que, devido ao uso de R1CS relaxado, suas provas podem não ser tão robustas quanto os sistemas R1CS tradicionais. O R1CS relaxado permite o uso de menos aleatoriedade, o que pode reduzir a segurança das provas. No entanto, os desenvolvedores do Nova tomaram medidas para resolver esse problema, como a utilização de algoritmos criptográficos mais robustos e estratégias de prova mais complexas.
Além disso, a implementação do Nova é relativamente complexa, o que pode aumentar a dificuldade de uso e manutenção. O Nova utiliza muitas técnicas avançadas de criptografia, sendo necessário um entendimento profundo dessas técnicas para usar e modificar efetivamente o Nova.
Em geral, a Nova ocupa uma posição importante no campo dos zk-SNARKs. Sua tecnologia R1CS relaxada torna a geração e verificação de provas mais eficientes, o que é crucial para aplicações de zk-SNARKs em grande escala. A Nova também suporta computação incremental e computação polinomial, expandindo ainda mais o alcance das aplicações de zk-SNARKs.
O código-fonte da Nova contém principalmente os seguintes módulos principais:
bellperson: implementar funcionalidades relacionadas ao R1CS.
gadgets: ferramentas que incluem a construção de provas zk-SNARKs.
spartan: implementar funcionalidades relacionadas ao protocolo Spartan.
traits: definiu alguns traits genéricos, como Group, CommitmentTrait, etc.
r1cs.rs: define as estruturas de dados e métodos relacionados ao R1CS.
nifs.rs: implementar um esquema de dobragem não interativa.
ipa_pc.rs: Implementar um esquema de compromisso polinomial baseado em IPA.
Estes módulos implementam em conjunto as funcionalidades principais do Nova, incluindo sistema de restrições R1CS, compromisso polinomial, geração e verificação de zk-SNARKs, entre outros. O Nova, através da combinação destes módulos, alcançou um sistema de zk-SNARKs eficiente.