Nova: Novo sistema de zk-SNARKs eficiente de nova geração
Nova é um sistema inovador de zk-SNARKs desenvolvido pela Microsoft, que utiliza a técnica (Relaxed R1CS), aumentando significativamente a eficiência e flexibilidade das provas.
Principais características do Nova
Utilizando a técnica R1CS relaxada, reduzindo o uso de aleatoriedade e aumentando a eficiência da prova.
Suporta cálculos incrementais, permitindo calcular funções complexas passo a passo.
Suporte para cálculos polinomiais, capaz de lidar com tarefas de prova mais complexas
Implementar um processo de geração e verificação de provas mais eficiente
Ampliou o alcance dos zk-SNARKs
Implementação das tecnologias-chave da Nova
Representação da forma da matriz R1CS
A Nova utiliza a estrutura R1CSShape para representar a forma da matriz R1CS, que inclui informações sobre o número de restrições, o número de variáveis, entre outros.
Instância R1CS relaxada
A estrutura RelaxedR1CSInstance representa uma instância R1CS relaxada, contendo parâmetros relacionados e compromissos.
Representação e cálculo de polinómios
Implementou estruturas de polinômios como EqPolynomial, MultilinearPolynomial, bem como operações relacionadas de avaliação, vinculação, entre outras.
Algoritmo Sumcheck
A estrutura SumcheckProof implementa a geração e verificação da prova Sumcheck.
Proposta de Compromisso
Define a característica CommitmentTrait, que normatiza as operações básicas de compromisso.
Engine de Avaliação
A característica EvaluationEngineTrait define o comportamento do motor de avaliação polinomial.
zk-SNARKs implementação
O traço RelaxedR1CSSNARKTrait define as funções principais do sistema zk-SNARK.
A Nova, através da implementação cuidadosa destas tecnologias chave, construiu um sistema eficiente de zk-SNARKs, fornecendo um forte apoio a áreas como blockchain e computação de privacidade.
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.
18 Curtidas
Recompensa
18
5
Repostar
Compartilhar
Comentário
0/400
MetaNeighbor
· 07-13 11:19
Estou familiarizado com as questões de conhecimento zero.
Nova: Análise do novo sistema de zk-SNARKs eficiente da Microsoft
Nova: Novo sistema de zk-SNARKs eficiente de nova geração
Nova é um sistema inovador de zk-SNARKs desenvolvido pela Microsoft, que utiliza a técnica (Relaxed R1CS), aumentando significativamente a eficiência e flexibilidade das provas.
Principais características do Nova
Utilizando a técnica R1CS relaxada, reduzindo o uso de aleatoriedade e aumentando a eficiência da prova.
Suporta cálculos incrementais, permitindo calcular funções complexas passo a passo.
Suporte para cálculos polinomiais, capaz de lidar com tarefas de prova mais complexas
Implementar um processo de geração e verificação de provas mais eficiente
Ampliou o alcance dos zk-SNARKs
Implementação das tecnologias-chave da Nova
A Nova utiliza a estrutura R1CSShape para representar a forma da matriz R1CS, que inclui informações sobre o número de restrições, o número de variáveis, entre outros.
A estrutura RelaxedR1CSInstance representa uma instância R1CS relaxada, contendo parâmetros relacionados e compromissos.
Implementou estruturas de polinômios como EqPolynomial, MultilinearPolynomial, bem como operações relacionadas de avaliação, vinculação, entre outras.
A estrutura SumcheckProof implementa a geração e verificação da prova Sumcheck.
Define a característica CommitmentTrait, que normatiza as operações básicas de compromisso.
A característica EvaluationEngineTrait define o comportamento do motor de avaliação polinomial.
O traço RelaxedR1CSSNARKTrait define as funções principais do sistema zk-SNARK.
A Nova, através da implementação cuidadosa destas tecnologias chave, construiu um sistema eficiente de zk-SNARKs, fornecendo um forte apoio a áreas como blockchain e computação de privacidade.