Nova é um novo sistema de zk-SNARKs desenvolvido pela Microsoft, que utiliza a tecnologia do sistema de restrições de ordem relaxada (Relaxed R1CS), aumentando a eficiência e a flexibilidade das provas.
Principais Vantagens da Nova
Usando a tecnologia R1CS relaxada, reduziu a necessidade de aleatoriedade no processo de prova, aumentando significativamente a eficiência da geração e verificação de provas.
Suporta cálculos incrementais, permitindo calcular funções complexas passo a passo, sem a necessidade de completar todo o processo de cálculo de uma vez. Isso é especialmente útil ao lidar com grandes volumes de dados ou realizar cálculos complexos.
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 força da prova pode não ser tão robusta quanto a dos sistemas R1CS tradicionais. A equipe de desenvolvimento mitiga esse problema adotando algoritmos criptográficos mais poderosos e estratégias de prova mais complexas.
A implementação do Nova é relativamente complexa, envolvendo várias técnicas avançadas de criptografia, como cálculo polinomial, operações em grupos e oráculos aleatórios. Isso aumenta a dificuldade de uso e manutenção.
A posição da Nova no campo dos zk-SNARKs
Nova abriu novos caminhos para o desenvolvimento de zk-SNARKs. Seu processo eficiente de geração e verificação de provas é crucial para aplicações em larga escala de zk-SNARKs. As características que suportam cálculos incrementais e polinomiais expandem ainda mais o alcance das aplicações de zk-SNARKs.
Componentes principais da Nova
R1CS e R1CS relaxado: definem a estrutura básica de um sistema de restrições.
Cálculo polinomial: foram implementadas várias operações polinomiais, como polinômios de igualdade, polinômios multilineares e polinômios esparsos.
Algoritmo Sumcheck: utilizado para verificar a soma de polinómios, é uma componente chave dos sistemas zk-SNARKs.
Proposta de compromisso: permite que o provador comprometa um determinado valor sem o revelar imediatamente.
Motor de Avaliação: responsável pela prova e verificação da avaliação polinomial.
Motor de Transcrição: Processa o registo dos passos de interação durante o processo de prova.
zk-SNARKs implementação: fornece provas de conhecimento zero concisas e não interativas para R1CS relaxado.
Os componentes centrais da Nova formam um sistema de zk-SNARKs eficiente e flexível, proporcionando um forte suporte técnico para áreas como blockchain, autenticação e computação segura.
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.
8 Curtidas
Recompensa
8
8
Compartilhar
Comentário
0/400
DefiOldTrickster
· 07-28 07:21
Não é de admirar que os alarmes de Arbitragem na cadeia estejam a tocar loucamente recentemente, hehe.
Ver originalResponder0
liquidation_watcher
· 07-26 02:53
Mais uma vez a zero knowledge está em alta.
Ver originalResponder0
AirdropDreamBreaker
· 07-25 21:31
Relaxamento, certo? R1CS está tudo relaxado, yyds
Ver originalResponder0
DeFiGrayling
· 07-25 19:00
A Microsoft finalmente fez algo útil!
Ver originalResponder0
Whale_Whisperer
· 07-25 18:58
Veja o novo brinquedo da Microsoft
Ver originalResponder0
PuzzledScholar
· 07-25 18:51
Quem é bom em matemática, venha desafiar.
Ver originalResponder0
StablecoinArbitrageur
· 07-25 18:46
hmm interessante. fiz os meus testes de bot arb sobre isto - os ganhos de eficiência da nova poderiam significar +0.13% de ROI diário
Nova: O novo sistema de zk-SNARKs da Microsoft aumenta 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 do sistema de restrições de ordem relaxada (Relaxed R1CS), aumentando a eficiência e a flexibilidade das provas.
Principais Vantagens da Nova
Usando a tecnologia R1CS relaxada, reduziu a necessidade de aleatoriedade no processo de prova, aumentando significativamente a eficiência da geração e verificação de provas.
Suporta cálculos incrementais, permitindo calcular funções complexas passo a passo, sem a necessidade de completar todo o processo de cálculo de uma vez. Isso é especialmente útil ao lidar com grandes volumes de dados ou realizar cálculos complexos.
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 força da prova pode não ser tão robusta quanto a dos sistemas R1CS tradicionais. A equipe de desenvolvimento mitiga esse problema adotando algoritmos criptográficos mais poderosos e estratégias de prova mais complexas.
A implementação do Nova é relativamente complexa, envolvendo várias técnicas avançadas de criptografia, como cálculo polinomial, operações em grupos e oráculos aleatórios. Isso aumenta a dificuldade de uso e manutenção.
A posição da Nova no campo dos zk-SNARKs
Nova abriu novos caminhos para o desenvolvimento de zk-SNARKs. Seu processo eficiente de geração e verificação de provas é crucial para aplicações em larga escala de zk-SNARKs. As características que suportam cálculos incrementais e polinomiais expandem ainda mais o alcance das aplicações de zk-SNARKs.
Componentes principais da Nova
R1CS e R1CS relaxado: definem a estrutura básica de um sistema de restrições.
Cálculo polinomial: foram implementadas várias operações polinomiais, como polinômios de igualdade, polinômios multilineares e polinômios esparsos.
Algoritmo Sumcheck: utilizado para verificar a soma de polinómios, é uma componente chave dos sistemas zk-SNARKs.
Proposta de compromisso: permite que o provador comprometa um determinado valor sem o revelar imediatamente.
Motor de Avaliação: responsável pela prova e verificação da avaliação polinomial.
Motor de Transcrição: Processa o registo dos passos de interação durante o processo de prova.
zk-SNARKs implementação: fornece provas de conhecimento zero concisas e não interativas para R1CS relaxado.
Os componentes centrais da Nova formam um sistema de zk-SNARKs eficiente e flexível, proporcionando um forte suporte técnico para áreas como blockchain, autenticação e computação segura.