O surgimento do mercado de aceleração de hardware ZK, a Cysic pode se tornar a próxima geração da Bitmain

Recentemente, com o entusiasmo em torno de projetos ZK Rollup como Scroll e Starknet, a aceleração de hardware ZK voltou a ser um ponto focal no mercado. É amplamente acreditado na indústria que, com o enorme espaço de demanda baseado na tecnologia ZK, os pools de mineração ZK e o modelo SaaS de geração de ZKP em tempo real têm o potencial de abrir uma nova cadeia de indústria, e os fabricantes de hardware ZK que têm força e vantagem de primeiro movimento podem se tornar o próximo Bit.

No campo da aceleração de hardware ZK, a Cysic é um dos projetos mais notados. A equipe ganhou um importante prêmio ZPrize e recebeu quase 20 milhões de dólares em financiamento de VC de topo como Polychain e ABCDE. Com o lançamento iminente da rede de testes da Cysic e do pool de mineração ZK, o interesse do mercado por ela continua a aumentar.

Fluxo de trabalho do sistema de prova ZK

O fluxo 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 circuitos lógicos e polinómios
3. Escolha o sistema de prova ( como Halo2, Plonk, etc. ) para compilar programas ZKP.
4. O provador utiliza um programa ZKP para gerar a prova, que é enviada ao validador para verificação.

Os projetos ZK Rollup utilizam a tecnologia zk-SNARK, aproveitando sua simplicidade para concentrar os custos de validação no lado do Prover, mas os altos custos de geração de ZKP limitam a aplicação em larga escala.

Principais custos da geração de ZKP

As duas computações que consomem mais recursos na geração de ZKP são:

• MSM(Multiplicação Multi-Escalar): multiplicação de múltiplos escalares em curvas elípticas
• NTT(Transformada Teórica dos Números): Transformada Rápida de Fourier em Campos Finitos

Esses dois tipos de cálculos ocupam 80-95% do tempo de geração da prova. MSM requer muitos recursos de memória, e NTT envolve acesso aleatório à memória, o que não é amigável para o hardware.

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

Atualmente, existem três tipos principais de hardware que podem implementar aceleração ZK:

1. GPU: alta popularidade, baixo nível de entrada para desenvolvimento, mas eficiência energética relativamente baixa
2. FPGA: alta flexibilidade, boa eficiência energética, mas dificuldade de desenvolvimento elevada
3. ASIC: a maior eficiência, o menor consumo de energia, mas um longo ciclo de desenvolvimento e alto custo

A estratégia de desenvolvimento da Cysic é:

1. SDK de desenvolvimento baseado em GPU, integrando recursos de GPU de toda a rede
2. Utilizar FPGA para implementar aceleração de hardware ZK personalizada
3. Desenvolver hardware DePIN ZK baseado em ASIC
4. Construir a Cysic Network como um pool de mineração ZK e plataforma SaaS

Cysic Network

Cysic Network como piscina de mineração ZK e plataforma SaaS, integrará a potência de cálculo própria da Cysic e recursos de potência de cálculo de terceiros. O seu fluxo de trabalho inclui:

1. A equipe do projeto ZK submete a tarefa de prova ao Agente
2. O Prover aceita a tarefa e gera a prova ZK
3. O comitê de validadores verifica a validade do certificado e vota

A Cysic Network construiu uma blockchain exclusiva, adotando o algoritmo de consenso Proof of Compute (PoC).

Layout de aceleração de hardware da Cysic

Na área de GPU, o SDK CUDA desenvolvido internamente pela Cysic é 50%-80% mais rápido do que os frameworks de código aberto.

Na área de FPGA, a Cysic completou a implementação dos módulos MSM, NTT, entre outros, mais rápidos do mundo.

Na área de ASIC, a Cysic lançou dois produtos ZK DePIN:

• ZK Air: direcionado a usuários finais, pode conectar dispositivos através da porta Type-C
• ZK Pro: direcionado a grandes projetos ZK, com poder de computação equivalente a servidores GPU de topo

A Cysic Network irá integrar esses recursos de hardware, fornecendo soluções de poder computacional e validação para a indústria de ZK, com a expectativa de liderar uma nova onda de crescimento explosivo no mercado de computação ZK.