Pionero en la aceleración de hardware en el ámbito ZK: Interpretando la visión y la estrategia de Cysic
Recientemente, el fundador de Ethereum, Vitalik, enfatizó nuevamente la importancia de ZK-SNARKs en la hoja de ruta de Danksharding de Ethereum durante la cumbre de blockchain en Hong Kong, y señaló el enorme potencial de los chips ASIC para acelerar ZK. De hecho, la tecnología ZK tiene el potencial de provocar un cambio de paradigma tanto en Web3 como en la industria tradicional, pero en la actualidad, la eficiencia de generación de pruebas ZK y los costos económicos siguen siendo factores clave que limitan su aplicación a gran escala.
Para abordar este problema, han surgido varios proyectos de aceleración ZK. Entre ellos, Cysic se ha convertido en el foco de atención del mercado gracias a su destacado desempeño en la competencia ZPrize y su sólido respaldo financiero. Este artículo explorará en profundidad los principios del producto de Cysic, su modelo de negocio y los principios básicos de la aceleración de hardware ZK.
Flujo de trabajo del sistema de prueba ZK
El proceso central del sistema de pruebas ZK incluye:
Configuración del problema: determinar el contenido a probar.
Arithmetización y CSP: convertir el contenido a probar en circuitos de compuertas lógicas y formas polinómicas
Elegir el sistema de prueba adecuado ( como Halo, Plonk, etc. ) para generar programas ZKP
El validador utiliza un programa ZKP para generar pruebas, las cuales son entregadas al verificador para su validación.
Actualmente, la tecnología zk-SNARK se utiliza ampliamente en blockchain, aprovechando principalmente su simplicidad en lugar de su propiedad de conocimiento cero. Las características de zk-SNARK son que el costo de generación de pruebas es alto, pero el costo de verificación es bajo, lo que hace que esta asimetría sea muy adecuada para escenarios de verificación descentralizada.
Sin embargo, el alto costo de generación de ZKP eventualmente se trasladará a la experiencia del usuario y a las tarifas, lo que limita la aplicación a gran escala de la tecnología ZK. Para ello, algunos proyectos de aceleración ZK como Cysic, Ingonyama, entre otros, han surgido con el intento de reducir el costo de generación de ZKP desde diferentes ángulos.
Principales cuellos de botella en el cálculo generado por ZKP
En el proceso de generación de ZKP, las dos tareas que consumen más recursos computacionales son la multiplicación de escalares múltiples MSM( y la transformación de teoría de números NTT), que representan el 80-95% del tiempo de generación de pruebas.
MSM se utiliza principalmente para cálculos en curvas elípticas, puede ser altamente paralelizado pero consume mucha memoria. NTT se utiliza para acelerar la multiplicación de polinomios, implica acceso aleatorio a la memoria, lo que no es amigable para el hardware.
Los métodos para optimizar estos dos cálculos incluyen:
Optimización de algoritmos: nuevos algoritmos como Hyperplonk intentan eliminar la operación NTT
Aceleración de hardware: Utilizar hardware como GPU, FPGA o ASIC para mejorar la eficiencia computacional
Estrategia de aceleración ZK de Cysic
La estrategia de desarrollo de Cysic se divide en cuatro etapas:
SDK desarrollado basado en GPU, que proporciona soluciones para aplicaciones ZK e integra los recursos de GPU de toda la red.
Implementación de aceleración de hardware ZK personalizada utilizando FPGA
Desarrollo independiente de hardware ZK Depin basado en ASIC
Construir Cysic Network, como plataforma SAAS / pool de minería que integra varios recursos de potencia de cálculo ZK.
( Cysic Network: ZK piscina de minería y plataforma SaaS
Cysic Network, como piscina de ZK y plataforma SaaS, integrará la potencia de cálculo propia de Cysic y los recursos de potencia de cálculo de terceros. Su flujo de trabajo incluye:
El agente de dirección del proyecto ZK presenta la tarea de prueba.
Prover acepta la tarea y genera una prueba ZK
El comité de validadores verifica la validez de los certificados y vota
Cysic Network también ha construido una cadena pública exclusiva, utilizando el algoritmo de consenso Proof of Compute )PoC###.
( soluciones GPU, FPGA y ASIC
En términos de aceleración de GPU, el SDK CUDA desarrollado por Cysic supera en un 50%-80% a los marcos de código abierto.
En el campo de FPGA, Cysic ha logrado los módulos MSM, NTT más rápidos del mundo. Su SolarMSM y SolarNTT se destacan en cálculos a gran escala.
En el ámbito de ASIC, Cysic está desarrollando dos productos: ZK Air, dirigido a usuarios comunes, y ZK Pro, destinado a grandes proyectos. Se espera que estos dos dispositivos salgan al mercado en 2025 y construirán una red ZK-DePIN estable y confiable.
Con el desarrollo de Cysic Network y la popularización del hardware ZK, el campo de la computación ZK podría experimentar una ola similar a la minería de Bitcoin, con un mercado que podría alcanzar un crecimiento explosivo.
![¿Está a punto de surgir la minería ZK? Un artículo que explica Cysic])https://img-cdn.gateio.im/webp-social/moments-dec45f9974aa0e59204a4ffe6378b865.webp###
Esta página puede contener contenido de terceros, que se proporciona únicamente con fines informativos (sin garantías ni declaraciones) y no debe considerarse como un respaldo por parte de Gate a las opiniones expresadas ni como asesoramiento financiero o profesional. Consulte el Descargo de responsabilidad para obtener más detalles.
9 me gusta
Recompensa
9
6
Compartir
Comentar
0/400
RebaseVictim
· hace4h
¿Qué pasa con el hardware tan caro?
Ver originalesResponder0
CafeMinor
· hace4h
Primera fila ocupando un pequeño banco ZK jugadores
Ver originalesResponder0
DaoDeveloper
· hace4h
parece que finalmente estamos cerrando esa brecha de cómputo zk... su estrategia asic es sólida
Cysic: El líder en hardware acelerado en el campo de ZK, desde GPU hasta ASIC en una estrategia integral.
Pionero en la aceleración de hardware en el ámbito ZK: Interpretando la visión y la estrategia de Cysic
Recientemente, el fundador de Ethereum, Vitalik, enfatizó nuevamente la importancia de ZK-SNARKs en la hoja de ruta de Danksharding de Ethereum durante la cumbre de blockchain en Hong Kong, y señaló el enorme potencial de los chips ASIC para acelerar ZK. De hecho, la tecnología ZK tiene el potencial de provocar un cambio de paradigma tanto en Web3 como en la industria tradicional, pero en la actualidad, la eficiencia de generación de pruebas ZK y los costos económicos siguen siendo factores clave que limitan su aplicación a gran escala.
Para abordar este problema, han surgido varios proyectos de aceleración ZK. Entre ellos, Cysic se ha convertido en el foco de atención del mercado gracias a su destacado desempeño en la competencia ZPrize y su sólido respaldo financiero. Este artículo explorará en profundidad los principios del producto de Cysic, su modelo de negocio y los principios básicos de la aceleración de hardware ZK.
Flujo de trabajo del sistema de prueba ZK
El proceso central del sistema de pruebas ZK incluye:
Actualmente, la tecnología zk-SNARK se utiliza ampliamente en blockchain, aprovechando principalmente su simplicidad en lugar de su propiedad de conocimiento cero. Las características de zk-SNARK son que el costo de generación de pruebas es alto, pero el costo de verificación es bajo, lo que hace que esta asimetría sea muy adecuada para escenarios de verificación descentralizada.
Sin embargo, el alto costo de generación de ZKP eventualmente se trasladará a la experiencia del usuario y a las tarifas, lo que limita la aplicación a gran escala de la tecnología ZK. Para ello, algunos proyectos de aceleración ZK como Cysic, Ingonyama, entre otros, han surgido con el intento de reducir el costo de generación de ZKP desde diferentes ángulos.
Principales cuellos de botella en el cálculo generado por ZKP
En el proceso de generación de ZKP, las dos tareas que consumen más recursos computacionales son la multiplicación de escalares múltiples MSM( y la transformación de teoría de números NTT), que representan el 80-95% del tiempo de generación de pruebas.
MSM se utiliza principalmente para cálculos en curvas elípticas, puede ser altamente paralelizado pero consume mucha memoria. NTT se utiliza para acelerar la multiplicación de polinomios, implica acceso aleatorio a la memoria, lo que no es amigable para el hardware.
Los métodos para optimizar estos dos cálculos incluyen:
Estrategia de aceleración ZK de Cysic
La estrategia de desarrollo de Cysic se divide en cuatro etapas:
( Cysic Network: ZK piscina de minería y plataforma SaaS
Cysic Network, como piscina de ZK y plataforma SaaS, integrará la potencia de cálculo propia de Cysic y los recursos de potencia de cálculo de terceros. Su flujo de trabajo incluye:
Cysic Network también ha construido una cadena pública exclusiva, utilizando el algoritmo de consenso Proof of Compute )PoC###.
( soluciones GPU, FPGA y ASIC
En términos de aceleración de GPU, el SDK CUDA desarrollado por Cysic supera en un 50%-80% a los marcos de código abierto.
En el campo de FPGA, Cysic ha logrado los módulos MSM, NTT más rápidos del mundo. Su SolarMSM y SolarNTT se destacan en cálculos a gran escala.
En el ámbito de ASIC, Cysic está desarrollando dos productos: ZK Air, dirigido a usuarios comunes, y ZK Pro, destinado a grandes proyectos. Se espera que estos dos dispositivos salgan al mercado en 2025 y construirán una red ZK-DePIN estable y confiable.
Con el desarrollo de Cysic Network y la popularización del hardware ZK, el campo de la computación ZK podría experimentar una ola similar a la minería de Bitcoin, con un mercado que podría alcanzar un crecimiento explosivo.
![¿Está a punto de surgir la minería ZK? Un artículo que explica Cysic])https://img-cdn.gateio.im/webp-social/moments-dec45f9974aa0e59204a4ffe6378b865.webp###