Pioneiros da aceleração de hardware no campo ZK: interpretando a visão e o planejamento da Cysic
Recentemente, o fundador do Ethereum, Vitalik, enfatizou na Conferência de Blockchain de Hong Kong a importância dos ZK-SNARKs no roteiro de Danksharding do Ethereum e apontou o enorme potencial dos chips ASIC para acelerar ZK. De fato, a tecnologia ZK tem o potencial de trazer uma mudança de paradigma tanto na Web3 quanto nas indústrias tradicionais, mas atualmente a eficiência de geração das provas ZK e os custos econômicos ainda são fatores-chave que limitam sua aplicação em larga escala.
Para resolver este problema, alguns projetos de aceleração ZK surgiram. Entre eles, a Cysic, com seu desempenho excepcional na competição ZPrize e um forte histórico de financiamento, tornou-se o foco da atenção do mercado. Este artigo irá explorar em profundidade os princípios do produto da Cysic, o modelo de negócios e os princípios básicos da aceleração de hardware ZK.
Fluxo de trabalho do sistema de prova ZK
O processo central do sistema de prova ZK inclui:
Configuração do problema: determinar o conteúdo a ser provado
Arithmetização e CSP: transformar o conteúdo a ser provado em circuitos lógicos e formas polinomiais
Escolha o sistema de prova adequado ( como Halo, Plonk, etc. ) para gerar programas ZKP
O provador utiliza um programa ZKP para gerar a prova, que é enviada ao verificador para validação.
Atualmente, a tecnologia zk-SNARK é amplamente utilizada em blockchain, principalmente devido à sua simplicidade em vez de sua propriedade de conhecimento zero. As características do zk-SNARK são o alto custo de geração de provas, mas baixo custo de verificação, e essa assimetria torna-a muito adequada para cenários de verificação descentralizada.
Mas o alto custo de geração de ZKP acabará por ser transferido para a experiência do usuário e as taxas, limitando a aplicação em larga escala da tecnologia ZK. Para isso, alguns projetos de aceleração de ZK como Cysic, Ingonyama, entre outros, surgiram na tentativa de reduzir o custo de geração de ZKP a partir de diferentes ângulos.
Principais gargalos de cálculo gerados por ZKP
No processo de geração de ZKP, as duas tarefas que consomem mais recursos computacionais são a MSM( multiplicação escalar múltipla) e a NTT( transformação de teoria dos números), que ocupam 80-95% do tempo de geração da prova.
O MSM é principalmente utilizado para cálculos em curvas elípticas, podendo ser amplamente paralelizado, mas consumindo muita memória. O NTT é utilizado para acelerar a multiplicação de polinómios, envolvendo acesso aleatório à memória, o que não é amigável para o hardware.
Os métodos para otimizar esses dois cálculos incluem:
Otimização de algoritmos: novos algoritmos como Hyperplonk tentam eliminar operações NTT
Aceleração de hardware: utilização de GPU, FPGA ou ASIC para melhorar a eficiência de cálculo
Estratégia de Aceleração ZK da Cysic
A estratégia de desenvolvimento da Cysic é dividida em quatro fases:
SDK desenvolvido com base em GPU, fornecendo soluções para aplicações ZK e integrando recursos de GPU em toda a rede.
Utilização de FPGA para implementar aceleração de hardware ZK personalizada
Desenvolvimento autónomo de hardware ZK Depin baseado em ASIC
Construir a Cysic Network, como plataforma SAAS/piscina integrando vários recursos de poder computacional ZK.
Cysic Network: ZK Pool e Plataforma SaaS
Cysic Network como pool de mineração ZK e plataforma SaaS, integrará a capacidade de computação própria da Cysic e recursos de computação de terceiros. Seu fluxo de trabalho inclui:
O agente de direção do projeto ZK submete a tarefa de prova.
Prover aceita a tarefa e gera a prova ZK
O comitê de validadores verifica a validade da prova e vota
A Cysic Network também construiu uma blockchain exclusiva, utilizando o algoritmo de consenso Proof of Compute (PoC).
soluções GPU, FPGA e ASIC
Em termos de aceleração por GPU, o SDK CUDA desenvolvido pela Cysic oferece um aumento de desempenho de mais de 50%-80% em comparação com estruturas de código aberto.
No campo FPGA, a Cysic implementou os módulos MSM e NTT mais rápidos do mundo. Os seus SolarMSM e SolarNTT apresentam um desempenho excepcional em cálculos em grande escala.
Na área de ASIC, a Cysic está a desenvolver dois produtos: o ZK Air, voltado para utilizadores comuns, e o ZK Pro, destinado a grandes projetos. Espera-se que estes dois dispositivos sejam lançados em 2025, construindo uma rede ZK-DePIN estável e confiável.
Com o desenvolvimento da Cysic Network e a popularização do hardware ZK, o campo da computação ZK pode experimentar um boom semelhante ao da mineração de Bitcoin, e o tamanho do mercado pode alcançar um crescimento explosivo.
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.
9 Curtidas
Recompensa
9
6
Compartilhar
Comentário
0/400
RebaseVictim
· 4h atrás
O hardware é bastante caro, o que está acontecendo?
Ver originalResponder0
CafeMinor
· 4h atrás
Ocupando um pequeno banco na frente, jogadores de ZK
Ver originalResponder0
DaoDeveloper
· 4h atrás
parece que finalmente estamos a colmatar essa falha de zk compute... a estratégia asic deles é sólida
Cysic: O líder em hardware acelerado no campo ZK com uma estratégia abrangente de GPU a ASIC
Pioneiros da aceleração de hardware no campo ZK: interpretando a visão e o planejamento da Cysic
Recentemente, o fundador do Ethereum, Vitalik, enfatizou na Conferência de Blockchain de Hong Kong a importância dos ZK-SNARKs no roteiro de Danksharding do Ethereum e apontou o enorme potencial dos chips ASIC para acelerar ZK. De fato, a tecnologia ZK tem o potencial de trazer uma mudança de paradigma tanto na Web3 quanto nas indústrias tradicionais, mas atualmente a eficiência de geração das provas ZK e os custos econômicos ainda são fatores-chave que limitam sua aplicação em larga escala.
Para resolver este problema, alguns projetos de aceleração ZK surgiram. Entre eles, a Cysic, com seu desempenho excepcional na competição ZPrize e um forte histórico de financiamento, tornou-se o foco da atenção do mercado. Este artigo irá explorar em profundidade os princípios do produto da Cysic, o modelo de negócios e os princípios básicos da aceleração de hardware ZK.
Fluxo de trabalho do sistema de prova ZK
O processo central do sistema de prova ZK inclui:
Atualmente, a tecnologia zk-SNARK é amplamente utilizada em blockchain, principalmente devido à sua simplicidade em vez de sua propriedade de conhecimento zero. As características do zk-SNARK são o alto custo de geração de provas, mas baixo custo de verificação, e essa assimetria torna-a muito adequada para cenários de verificação descentralizada.
Mas o alto custo de geração de ZKP acabará por ser transferido para a experiência do usuário e as taxas, limitando a aplicação em larga escala da tecnologia ZK. Para isso, alguns projetos de aceleração de ZK como Cysic, Ingonyama, entre outros, surgiram na tentativa de reduzir o custo de geração de ZKP a partir de diferentes ângulos.
Principais gargalos de cálculo gerados por ZKP
No processo de geração de ZKP, as duas tarefas que consomem mais recursos computacionais são a MSM( multiplicação escalar múltipla) e a NTT( transformação de teoria dos números), que ocupam 80-95% do tempo de geração da prova.
O MSM é principalmente utilizado para cálculos em curvas elípticas, podendo ser amplamente paralelizado, mas consumindo muita memória. O NTT é utilizado para acelerar a multiplicação de polinómios, envolvendo acesso aleatório à memória, o que não é amigável para o hardware.
Os métodos para otimizar esses dois cálculos incluem:
Estratégia de Aceleração ZK da Cysic
A estratégia de desenvolvimento da Cysic é dividida em quatro fases:
Cysic Network: ZK Pool e Plataforma SaaS
Cysic Network como pool de mineração ZK e plataforma SaaS, integrará a capacidade de computação própria da Cysic e recursos de computação de terceiros. Seu fluxo de trabalho inclui:
A Cysic Network também construiu uma blockchain exclusiva, utilizando o algoritmo de consenso Proof of Compute (PoC).
soluções GPU, FPGA e ASIC
Em termos de aceleração por GPU, o SDK CUDA desenvolvido pela Cysic oferece um aumento de desempenho de mais de 50%-80% em comparação com estruturas de código aberto.
No campo FPGA, a Cysic implementou os módulos MSM e NTT mais rápidos do mundo. Os seus SolarMSM e SolarNTT apresentam um desempenho excepcional em cálculos em grande escala.
Na área de ASIC, a Cysic está a desenvolver dois produtos: o ZK Air, voltado para utilizadores comuns, e o ZK Pro, destinado a grandes projetos. Espera-se que estes dois dispositivos sejam lançados em 2025, construindo uma rede ZK-DePIN estável e confiável.
Com o desenvolvimento da Cysic Network e a popularização do hardware ZK, o campo da computação ZK pode experimentar um boom semelhante ao da mineração de Bitcoin, e o tamanho do mercado pode alcançar um crescimento explosivo.