Aceleração de hardware ZK: Será que a Cysic pode se tornar a próxima Bitmain?

A tecnologia ZK mostra um enorme potencial em áreas como escalabilidade do Ethereum e computação confiável, mas, atualmente, a baixa eficiência na geração de ZKP impede sua aplicação em larga escala. Para resolver esse problema, surgiram soluções de aceleração de hardware ZK, sendo a Cysic uma das principais.

Fluxo de Trabalho do Sistema de Prova ZK

O processo central do sistema de prova ZK inclui:

1. Definição do problema: determinar o conteúdo a ser provado
2. Arithmetização e CSP: transformar o conteúdo a ser provado em um modelo matemático
3. Escolha o sistema de prova ( como Halo2, Plonk, etc. ) para gerar o programa ZKP.
4. O provador utiliza o programa ZKP para gerar provas, e o verificador realiza a validação.

A geração de ZKP leva muito tempo, mas a verificação é rápida. Essa assimetria beneficia a verificação descentralizada, mas também traz custos elevados.

Principais custos gerados pelo ZKP

As duas tarefas de cálculo mais exigentes em recursos na geração de ZKP são MSM e NTT, representando 80-95% do tempo total:

• MSM: Processamento de multiplicação de múltiplos escalares na curva elíptica
• NTT: Realizar a Transformada Rápida de Fourier em um domínio finito

O MSM necessita de uma grande quantidade de memória e recursos de computação paralela, enquanto o NTT é limitado ao acesso aleatório à memória.

Solução de Aceleração de Hardware ZK

Atualmente, existem principalmente três tipos de soluções de aceleração de hardware: GPU, FPGA e ASIC.

• GPU: alta popularidade, fácil de desenvolver
• FPGA: alta flexibilidade, alta eficiência energética, mas dificuldade de desenvolvimento elevada
• ASIC: a maior eficiência, mas com um longo ciclo de desenvolvimento e alto custo

O layout de aceleração ZK da Cysic

Cysic fez arranjos em vários níveis:

1. Cysic Network: ZK pool e plataforma SaaS
   • Integrar recursos de poder de cálculo próprios e de terceiros
   • Adotar o mecanismo de consenso Proof of Compute

2. Aceleração de GPU:
   • SDK de aceleração CUDA desenvolvido internamente
   • Agregar uma grande quantidade de recursos de poder de computação GPU da comunidade

3. Plano FPGA:
   • Implementar os módulos MSM, NTT, entre outros, mais rápidos do mundo
   • SolarMSM e SolarNTT têm desempenho superior

4. Layout de ASIC:
   • Lançamento dos produtos de hardware ZK Air e ZK Pro
   • Construir uma rede ZK-DePIN

Através de uma disposição multifacetada, a Cysic tem potencial para se tornar a líder no campo da aceleração de hardware ZK, preparando o caminho para a aplicação em larga escala da tecnologia ZK.