El auge del mercado de aceleración de hardware ZK, Cysic podría convertirse en la próxima generación de Bitmain

Recientemente, con el auge de proyectos ZK Rollup como Scroll y Starknet, la aceleración de hardware ZK se ha convertido nuevamente en un tema candente en el mercado. Se cree ampliamente en la industria que, debido al enorme espacio de demanda basado en la tecnología ZK, los grupos mineros ZK y el modelo SaaS de generación de ZKP en tiempo real tienen el potencial de abrir una nueva cadena industrial, y los fabricantes de hardware ZK con fuerza y ventajas de primer movimiento podrían convertirse en el próximo Bit.

En el campo de la aceleración de hardware ZK, Cysic es uno de los proyectos más destacados. El equipo ha ganado importantes premios ZPrize y ha recibido casi 20 millones de dólares en financiamiento de VC de primer nivel como Polychain y ABCDE. Con el lanzamiento inminente de la red de pruebas de Cysic y el grupo de minería ZK, el interés del mercado por ellos sigue en aumento.

Flujo de trabajo del sistema de prueba ZK

El proceso central del sistema de prueba ZK incluye:

1. Configuración del problema: determinar el contenido que se debe probar
2. Arithmetización y CSP: convertir el contenido a probar en circuitos lógicos y polinomios
3. Selecciona el sistema de prueba ( como Halo2, Plonk, etc. ) para compilar el programa ZKP.
4. El probador utiliza un programa ZKP para generar pruebas, que son entregadas al validador para su verificación.

El proyecto ZK Rollup utiliza la tecnología zk-SNARK, aprovechando su simplicidad para concentrar los costos de verificación en el lado del Prover, pero el alto costo de generación de ZKP limita su aplicación a gran escala.

Gastos principales generados por ZKP

Las dos computaciones más costosas en la generación de ZKP son:

• MSM(Multiplicación Escalar Múltiple): multiplicación de múltiples escalares en curvas elípticas
• NTT(Transformada Teórica de Números): Transformada Rápida de Fourier sobre Campos Finitos

Estos dos tipos de cálculo ocupan entre el 80 y el 95% del tiempo de generación de prueba de ocupación. MSM requiere una gran cantidad de recursos de memoria, y NTT implica acceso aleatorio a la memoria, lo que no es amigable para el hardware.

Solución de aceleración de hardware ZK

Actualmente hay tres tipos principales de hardware que pueden lograr la aceleración ZK:

1. GPU: alta popularidad, bajo umbral de desarrollo, pero eficiencia energética relativamente baja
2. FPGA: alta flexibilidad, buena eficiencia energética, pero gran dificultad de desarrollo
3. ASIC: la mayor eficiencia, el menor consumo de energía, pero con un largo ciclo de desarrollo y altos costos

La estrategia de desarrollo de Cysic es:

1. SDK de desarrollo basado en GPU, que integra los recursos de GPU de toda la red
2. Utilizar FPGA para implementar aceleración de hardware ZK personalizada
3. Desarrollo de hardware ZK DePIN basado en ASIC
4. Construir Cysic Network como un pool de minería ZK y plataforma SaaS

Cysic Network

Cysic Network como piscina de minería ZK y plataforma SaaS, integrará los recursos de potencia de cálculo propios de Cysic y los recursos de potencia de cálculo de terceros. Su flujo de trabajo incluye:

1. El equipo del proyecto ZK envía la tarea de verificación al Agente
2. El Prover acepta la tarea y genera la prueba ZK
3. El comité de validadores verifica la validez del certificado y vota

Cysic Network ha construido una cadena pública exclusiva, utilizando el algoritmo de consenso Proof of Compute (PoC).

La disposición de aceleración de hardware de Cysic

En cuanto a las GPU, el SDK CUDA desarrollado por Cysic acelera entre un 50% y un 80% más que los marcos de código abierto.

En el ámbito de FPGA, Cysic ha completado la implementación de los módulos MSM, NTT, entre otros, más rápidos del mundo.

En el ámbito de ASIC, Cysic ha lanzado dos productos ZK DePIN:

• ZK Air: dirigido a usuarios finales, se puede conectar a dispositivos a través de la interfaz Type-C.
• ZK Pro: orientado a grandes proyectos ZK, la potencia de cálculo equivale a la de un servidor GPU de gama alta

Cysic Network integrará estos recursos de hardware para proporcionar soluciones de potencia de cálculo y verificación para la industria ZK, con la esperanza de liderar una nueva ola de crecimiento explosivo en el mercado de cálculo ZK.