Los coprocesadores zk se pueden considerar como complementos de computación fuera de la cadena derivados del concepto modular, similar a cómo las gpus descargan tareas de computación gráfica de las cpus en computadoras tradicionales, manejando tareas computacionales específicas. En este marco de diseño, las tareas que las cadenas públicas no son hábiles, como "datos pesados" y "lógica computacional compleja," pueden ser calculadas por los coprocesadores zk, con la cadena solo recibiendo los resultados de la computación devuelta. Su corrección está garantizada por pruebas zk, logrando en última instancia una computación fuera de la cadena confiable para tareas complejas.
Actualmente, aplicaciones populares como ai, socialfi, dex y gamefi tienen una necesidad apremiante de alto rendimiento y control de costos. En las soluciones tradicionales, estas "aplicaciones pesadas" que requieren alto rendimiento a menudo optan por modelos de aplicación en cadena + fuera de cadena o diseñan una cadena de aplicación separada. Sin embargo, ambos enfoques tienen problemas inherentes: el primero tiene una "caja negra" y el segundo enfrenta altos costos de desarrollo, desvinculación del ecosistema de la cadena original y liquidez fragmentada. Además, la máquina virtual de la cadena principal impone limitaciones significativas en el desarrollo y operación de dichas aplicaciones (por ejemplo, falta de estándares de capa de aplicación, lenguajes de desarrollo complejos).
Los coprocesadores zk tienen como objetivo resolver estos problemas. Para proporcionar un ejemplo más detallado, podemos pensar en la cadena de bloques como una terminal (como un teléfono o una computadora) que no puede conectarse a Internet. En este escenario, podemos ejecutar aplicaciones relativamente simples, como Uniswap u otras aplicaciones de DeFi, totalmente en la cadena. Pero cuando aparecen aplicaciones más complejas, como la ejecución de una aplicación similar a ChatGPT, el rendimiento y el almacenamiento de la cadena pública serán completamente insuficientes, lo que provocará explosiones de gas. En el escenario de la web2, cuando ejecutamos ChatGPT, nuestra terminal común en sí misma no puede manejar el modelo de lenguaje grande GPT-4o; necesitamos conectarnos a los servidores de OpenAI para transmitir la pregunta y, después de que el servidor calcule e infiera el resultado, recibimos directamente la respuesta. Los coprocesadores zk son como servidores remotos de la cadena de bloques. Si bien los diferentes proyectos de coprocesadores pueden tener ligeras diferencias de diseño según el tipo de proyecto, la lógica subyacente sigue siendo ampliamente similar: cálculo fuera de la cadena + pruebas zk o pruebas de almacenamiento para validación.
tomando el despliegue de bonsái de rise zero como ejemplo, esta arquitectura es muy directa. el proyecto se integra perfectamente en el zkvm propio de rise zero, y los desarrolladores solo necesitan dos pasos simples para usar bonsái como coprocesador:
a partir de las definiciones anteriores, puede parecer que los rollups y los coprocesadores zk tienen una lógica de implementación y objetivos altamente superpuestos. sin embargo, los rollups son más como expansiones multinúcleo de la cadena principal, con las diferencias específicas entre los dos como sigue:
1. objetivo principal:
2. principio de funcionamiento:
3. gestión de estado:
4. escenarios de aplicación:
5. relación con la cadena principal:
así, los dos no son mutuamente excluyentes sino complementarios. incluso si existe un rollup en forma de una cadena de aplicaciones, los coprocesadores zk aún pueden proporcionar servicios.
teóricamente, el alcance de la aplicación de los coprocesadores zk es amplio, abarcando proyectos en varios sectores de la cadena de bloques. los coprocesadores zk permiten que las dapps tengan funcionalidades más cercanas a las de las aplicaciones web2 centralizadas. aquí hay algunos ejemplos de casos de uso recopilados de fuentes en línea:
desarrollo de dapp basado en datos:
Los coprocesadores zk permiten a los desarrolladores crear dapps impulsadas por datos que utilizan datos históricos completos en cadena para cálculos complejos sin suposiciones adicionales de confianza. Esto abre posibilidades sin precedentes para el desarrollo de dapps, como:
programa de operador VIP para DEXs:
Un escenario de aplicación típico es implementar un programa de descuento de tarifas basado en el volumen de operaciones en los dexs, conocido como el “programa de fidelización del trader vip.” Estos programas son comunes en los cexs pero raros en los dexs.
con coprocesadores zk, los dex pueden:
aumento de datos para contratos inteligentes:
Los coprocesadores zk pueden actuar como middleware potente, proporcionando servicios de captura de datos, cálculo y verificación para contratos inteligentes, reduciendo así los costos y mejorando la eficiencia. esto permite que los contratos inteligentes:
tecnología de puente cruzado:
Algunas tecnologías de puente interconectado basadas en zk, como Herodoto y Lagrange, también pueden considerarse aplicaciones de coprocesadores zk. Estas tecnologías se centran principalmente en la extracción y verificación de datos, proporcionando una base de datos confiable para la comunicación entre cadenas.
a pesar de las numerosas ventajas, los coprocesadores zk en la etapa actual están lejos de ser perfectos y enfrentan varios problemas. He resumido los siguientes puntos:
(esta sección es altamente subjetiva y representa solo las opiniones personales del autor.)
este ciclo está liderado principalmente por infraestructura modular. Si la modularización es el camino correcto, este ciclo podría ser el paso final hacia la adopción masiva. Sin embargo, en la etapa actual, todos compartimos un sentimiento común: ¿por qué solo vemos algunas aplicaciones antiguas empaquetadas de nuevo, por qué hay más cadenas que aplicaciones y por qué se considera que un nuevo estándar de token como inscripciones es la mayor innovación de este ciclo?
la razón fundamental de la falta de nuevas narrativas es que la infraestructura modular actual es insuficiente para admitir superaplicaciones, especialmente carece de algunos requisitos previos (interoperabilidad entre cadenas, barreras para los usuarios, etc.), lo que conduce a la fragmentación más significativa en la historia de la cadena de bloques. los rollups, como núcleo de la era modular, han acelerado las cosas, pero también han traído numerosos problemas, como la fragmentación de la liquidez, la dispersión de los usuarios y las limitaciones impuestas por la cadena o la máquina virtual en sí misma en la innovación de las aplicaciones. además, otro “actor clave” en la modularización, celestia, ha liderado el camino de que da no necesariamente esté en ethereum, exacerbando aún más la fragmentación. ya sea impulsado por la ideología o los costos de da, el resultado es que btc se ve obligado a convertirse en da y otras cadenas públicas buscan proporcionar soluciones de da más rentables. la situación actual es que cada cadena pública tiene al menos uno, si no decenas, de proyectos de capa 2. sumado a esto, todos los proyectos de infraestructura y ecosistema han aprendido profundamente la estrategia de apuesta de tokens pionera de blur, exigiendo a los usuarios que apuesten fichas dentro del proyecto. este modo, que beneficia a las ballenas de tres maneras (intereses, apreciación de eth o btc y fichas gratuitas), comprime aún más la liquidez en cadena.
en los mercados alcistas pasados, los fondos solo fluirían dentro de unas pocas a una docena de cadenas públicas, incluso concentrándose principalmente en ethereum. ahora, los fondos están dispersos en cientos de cadenas públicas y apostados en miles de proyectos similares, lo que ha llevado a una disminución en la actividad en la cadena. incluso ethereum carece de actividad en la cadena. como resultado, los jugadores del este participan en pvp en el ecosistema de btc, mientras que los jugadores del oeste lo hacen en solana, por necesidad.
por lo tanto, mi enfoque actual está en cómo promover la liquidez agGretada en todas las cadenas y apoyar la aparición de nuevos estilos de juego y superaplicaciones. en el sector de interoperabilidad entre cadenas, los proyectos líderes tradicionales han rendido consistentemente por debajo, todavía se asemejan a puentes tradicionales entre cadenas. las nuevas soluciones de interoperabilidad que discutimos en informes anteriores tienen como objetivo principal aggreGar múltiples cadenas en una sola cadena. ejemplos incluyen agglayer, superchain, cadena elástica, jam, etc., que no se detallarán aquí. en resumen, la agregación entre cadenas es un obstáculo necesario en la infraestructura modular, pero tomará mucho tiempo superarlo.
Los coprocesadores zk son una pieza crítica en la fase actual. Pueden fortalecer la capa2 y complementar la capa1. ¿Existe una forma de superar temporalmente los problemas de intercambio cruzado y trilema, permitiéndonos realizar algunas aplicaciones de la era actual en ciertas capas1 o capas2 con amplia liquidez? Después de todo, las aplicaciones de cadena de bloques carecen de narrativas frescas. Además, permitir estilos de juego diversos, control de gas, aplicaciones a gran escala, capacidades de intercambio cruzado y reducir las barreras del usuario a través de soluciones integradas de coprocesador podrían ser más ideales que depender de la centralización.
el campo de coprocesador zk surgió alrededor de 2023 y se ha vuelto relativamente maduro en esta etapa. según la clasificación de messari, este campo actualmente abarca tres dominios verticales principales (computación general, interoperabilidad y cross-chain, ai y machine training) con 18 proyectos. la mayoría de estos proyectos son apoyados por vcs líderes. a continuación, describimos varios proyectos de diferentes dominios verticales.
Giza es un protocolo zkml (aprendizaje automático de conocimiento cero) desplegado en starknet, apoyado oficialmente por starkware. Se centra en permitir que los modelos de IA se utilicen de manera verificable en contratos inteligentes de blockchain. Los desarrolladores pueden implementar modelos de IA en la red de Giza, que luego verifica la corrección de la inferencia del modelo a través de pruebas de conocimiento cero y proporciona los resultados a los contratos inteligentes de manera confiable. Esto permite a los desarrolladores construir aplicaciones en cadena que combinen capacidades de IA manteniendo la descentralización y verificabilidad de la cadena de bloques.
giza completa el flujo de trabajo a través de los siguientes tres pasos:
El enfoque de giza permite que los modelos de IA sirvan como fuentes de entrada confiables para contratos inteligentes sin depender de oráculos centralizados o entornos de ejecución confiables. Esto abre nuevas posibilidades para aplicaciones de cadena de bloques, como la gestión de activos basada en IA, detección de fraudes y fijación dinámica de precios. Es uno de los pocos proyectos en el espacio actual de web3 x IA con un bucle cerrado lógico y un uso inteligente de coprocesadores en el campo de la IA.
RISC Zero es un proyecto de coprocesador líder compatible con varios VC de primer nivel. Se centra en permitir que cualquier cálculo se ejecute de forma verificable en contratos inteligentes de blockchain. Los desarrolladores pueden escribir programas en Rust y desplegarlos en la red RISCi Zero. A continuación, RISC Zero verifica la corrección de la ejecución del programa a través de pruebas de conocimiento cero y proporciona los resultados a los contratos inteligentes de forma fiable. Esto permite a los desarrolladores crear aplicaciones complejas en cadena mientras mantienen la descentralización y la verificabilidad de la cadena de bloques.
mencionamos brevemente la implementación y el flujo de trabajo anteriormente. aquí, detallamos dos componentes clave:
risc zero se ha integrado con múltiples soluciones de capa 2 de eth y ha demostrado varios casos de uso para bonsai. Un ejemplo interesante es bonsai pay. Esta demostración utiliza zkvm de risc zero y el servicio de prueba de bonsai, permitiendo a los usuarios enviar o retirar eth y tokens en ethereum usando sus cuentas de Google. Muestra cómo risc zero puede integrar de manera perfecta las aplicaciones on-chain con oauth2.0 (el estándar utilizado por importantes proveedores de identidad como Google), proporcionando un caso de uso que reduce la barrera de usuario web3 a través de aplicaciones web2 tradicionales. Otros ejemplos incluyen aplicaciones basadas en daos.
=nil; es un proyecto de inversión respaldado por entidades reconocidas como mina, polychain, starkware y blockchain capital. Cabe destacar que pioneros en tecnología zk como mina y starkware se encuentran entre los patrocinadores, lo que indica un alto reconocimiento técnico para el proyecto. También se mencionó a =nil; en nuestro informe "El mercado de la potencia informática", centrándose principalmente en el mercado de pruebas (un mercado de generación de pruebas descentralizado). Además, =nil; tiene otro subproducto llamado zkllvm.
zkllvm, desarrollado por la fundación =nil;, es un compilador de circuitos innovador que convierte automáticamente el código de aplicación escrito en lenguajes de programación principales como c++ y rust en circuitos eficientes y demostrables para Ethereum sin la necesidad de lenguajes específicos de dominio de conocimiento nulo (dsl) especializados. Esto simplifica significativamente el proceso de desarrollo, reduce la barrera de entrada y mejora el rendimiento al evitar zkvm. Admite aceleración por hardware para acelerar la generación de pruebas, lo que lo hace adecuado para varios escenarios de aplicaciones zk como rollups, puentes entre cadenas, oráculos, aprendizaje automático y juegos. Está estrechamente integrado con el mercado de pruebas de =nil; foundation, brindando a los desarrolladores soporte integral desde la creación de circuitos hasta la generación de pruebas.
brevis es un subproyecto de celer network y es un coprocesador inteligente de conocimiento cero (zk) para blockchain, lo que permite a las dapps acceder, calcular y utilizar datos arbitrarios en múltiples blockchains de manera totalmente confiable. Al igual que otros coprocesadores, brevis tiene una amplia gama de casos de uso, como la defi impulsada por datos, los zkbridges, la adquisición de usuarios en cadena, zkdid y la abstracción de cuentas sociales en cadena.
La arquitectura brevis consta de tres componentes principales:
con esta arquitectura modular, Brevis puede proporcionar a todos los contratos inteligentes públicos admitidos por la cadena de bloques un método de acceso confiable, eficiente y flexible. La versión v4 de Uni también adopta este proyecto e integra ganchos (un sistema para integrar varias lógicas personalizadas de usuario) para facilitar la lectura de datos históricos de la cadena de bloques, reducir las tarifas de gas y garantizar la descentralización. Este es un ejemplo de un coprocesador zk que promueve un dex.
Lagrange es un protocolo de coprocesador zk de interoperabilidad liderado por 1kx y Founders Fund, principalmente destinado a proporcionar interoperabilidad trustless entre cadenas y apoyar aplicaciones que requieren cálculos de datos a gran escala. A diferencia de los puentes nodales tradicionales, la interoperabilidad entre cadenas de Lagrange se logra principalmente a través de sus innovadores mecanismos de grandes datos zk y de comité de estado.
lagrange ya se ha integrado con eigenlayer, mantle, base, frax, polymer, layerzero, omni, altlayer, entre otros, y será el primer zk avs en vincularse dentro del ecosistema de ethereum.
ybb es un fondo web3 que se dedica a identificar proyectos que definen web3 con la visión de crear un mejor hábitat en línea para todos los residentes de Internet. Fundada por un grupo de creyentes en blockchain que han participado activamente en esta industria desde 2013, ybb siempre está dispuesta a ayudar a los proyectos en etapa inicial a evolucionar de 0 a 1. Valoramos la innovación, la pasión autodirigida y los productos orientados al usuario, al tiempo que reconocemos el potencial de las criptomonedas y las aplicaciones blockchain.
referencias:
1.abcde: una inmersión profunda en el coprocesador zk y su futuro:https://medium.com/ABCDE.com/es-abcde-una-investigación-profunda-sobre-el-coprocesador-zk-y-su-futuro-1d1b3f33f946
2. "zk" es todo lo que necesitas:https://medium.com/gate_ventures/zk-es-todo-lo-que-necesitas-238886062c52
3. risc zero:https://www.risczero.com/bonsai
4.lagrange:https://www.lagrange.dev/blog/interoperability-for-modular-blockchains-the-lagrange-thesis
5.axiomblog:https://blog.axiom.xyz/
6. ¡Aceleración de nitrógeno! ¿Cómo el coprocesador zk rompe las barreras de los datos del contrato inteligente en la cadena de bloques Gate?https://foresightnews.pro/article/detail/48239
Este artículo es una reimpresión de [medio], reenviar el título original 'la gpu de blockchain: análisis integral de coprocesadores zk', todos los derechos de autor pertenecen al autor original [investigador de ybb capital zeke]. Si hay objeciones a esta reproducción, por favor contacte al Gate aprenderequipo, y lo resolverán rápidamente.
exención de responsabilidad: las opiniones expresadas en este artículo son únicamente las del autor y no constituyen ningún consejo de inversión.
las traducciones del artículo a otros idiomas son realizadas por el equipo de aprendizaje de Gate. A menos que se mencione lo contrario, está prohibido copiar, distribuir o plagiar los artículos traducidos.
Los coprocesadores zk se pueden considerar como complementos de computación fuera de la cadena derivados del concepto modular, similar a cómo las gpus descargan tareas de computación gráfica de las cpus en computadoras tradicionales, manejando tareas computacionales específicas. En este marco de diseño, las tareas que las cadenas públicas no son hábiles, como "datos pesados" y "lógica computacional compleja," pueden ser calculadas por los coprocesadores zk, con la cadena solo recibiendo los resultados de la computación devuelta. Su corrección está garantizada por pruebas zk, logrando en última instancia una computación fuera de la cadena confiable para tareas complejas.
Actualmente, aplicaciones populares como ai, socialfi, dex y gamefi tienen una necesidad apremiante de alto rendimiento y control de costos. En las soluciones tradicionales, estas "aplicaciones pesadas" que requieren alto rendimiento a menudo optan por modelos de aplicación en cadena + fuera de cadena o diseñan una cadena de aplicación separada. Sin embargo, ambos enfoques tienen problemas inherentes: el primero tiene una "caja negra" y el segundo enfrenta altos costos de desarrollo, desvinculación del ecosistema de la cadena original y liquidez fragmentada. Además, la máquina virtual de la cadena principal impone limitaciones significativas en el desarrollo y operación de dichas aplicaciones (por ejemplo, falta de estándares de capa de aplicación, lenguajes de desarrollo complejos).
Los coprocesadores zk tienen como objetivo resolver estos problemas. Para proporcionar un ejemplo más detallado, podemos pensar en la cadena de bloques como una terminal (como un teléfono o una computadora) que no puede conectarse a Internet. En este escenario, podemos ejecutar aplicaciones relativamente simples, como Uniswap u otras aplicaciones de DeFi, totalmente en la cadena. Pero cuando aparecen aplicaciones más complejas, como la ejecución de una aplicación similar a ChatGPT, el rendimiento y el almacenamiento de la cadena pública serán completamente insuficientes, lo que provocará explosiones de gas. En el escenario de la web2, cuando ejecutamos ChatGPT, nuestra terminal común en sí misma no puede manejar el modelo de lenguaje grande GPT-4o; necesitamos conectarnos a los servidores de OpenAI para transmitir la pregunta y, después de que el servidor calcule e infiera el resultado, recibimos directamente la respuesta. Los coprocesadores zk son como servidores remotos de la cadena de bloques. Si bien los diferentes proyectos de coprocesadores pueden tener ligeras diferencias de diseño según el tipo de proyecto, la lógica subyacente sigue siendo ampliamente similar: cálculo fuera de la cadena + pruebas zk o pruebas de almacenamiento para validación.
tomando el despliegue de bonsái de rise zero como ejemplo, esta arquitectura es muy directa. el proyecto se integra perfectamente en el zkvm propio de rise zero, y los desarrolladores solo necesitan dos pasos simples para usar bonsái como coprocesador:
a partir de las definiciones anteriores, puede parecer que los rollups y los coprocesadores zk tienen una lógica de implementación y objetivos altamente superpuestos. sin embargo, los rollups son más como expansiones multinúcleo de la cadena principal, con las diferencias específicas entre los dos como sigue:
1. objetivo principal:
2. principio de funcionamiento:
3. gestión de estado:
4. escenarios de aplicación:
5. relación con la cadena principal:
así, los dos no son mutuamente excluyentes sino complementarios. incluso si existe un rollup en forma de una cadena de aplicaciones, los coprocesadores zk aún pueden proporcionar servicios.
teóricamente, el alcance de la aplicación de los coprocesadores zk es amplio, abarcando proyectos en varios sectores de la cadena de bloques. los coprocesadores zk permiten que las dapps tengan funcionalidades más cercanas a las de las aplicaciones web2 centralizadas. aquí hay algunos ejemplos de casos de uso recopilados de fuentes en línea:
desarrollo de dapp basado en datos:
Los coprocesadores zk permiten a los desarrolladores crear dapps impulsadas por datos que utilizan datos históricos completos en cadena para cálculos complejos sin suposiciones adicionales de confianza. Esto abre posibilidades sin precedentes para el desarrollo de dapps, como:
programa de operador VIP para DEXs:
Un escenario de aplicación típico es implementar un programa de descuento de tarifas basado en el volumen de operaciones en los dexs, conocido como el “programa de fidelización del trader vip.” Estos programas son comunes en los cexs pero raros en los dexs.
con coprocesadores zk, los dex pueden:
aumento de datos para contratos inteligentes:
Los coprocesadores zk pueden actuar como middleware potente, proporcionando servicios de captura de datos, cálculo y verificación para contratos inteligentes, reduciendo así los costos y mejorando la eficiencia. esto permite que los contratos inteligentes:
tecnología de puente cruzado:
Algunas tecnologías de puente interconectado basadas en zk, como Herodoto y Lagrange, también pueden considerarse aplicaciones de coprocesadores zk. Estas tecnologías se centran principalmente en la extracción y verificación de datos, proporcionando una base de datos confiable para la comunicación entre cadenas.
a pesar de las numerosas ventajas, los coprocesadores zk en la etapa actual están lejos de ser perfectos y enfrentan varios problemas. He resumido los siguientes puntos:
(esta sección es altamente subjetiva y representa solo las opiniones personales del autor.)
este ciclo está liderado principalmente por infraestructura modular. Si la modularización es el camino correcto, este ciclo podría ser el paso final hacia la adopción masiva. Sin embargo, en la etapa actual, todos compartimos un sentimiento común: ¿por qué solo vemos algunas aplicaciones antiguas empaquetadas de nuevo, por qué hay más cadenas que aplicaciones y por qué se considera que un nuevo estándar de token como inscripciones es la mayor innovación de este ciclo?
la razón fundamental de la falta de nuevas narrativas es que la infraestructura modular actual es insuficiente para admitir superaplicaciones, especialmente carece de algunos requisitos previos (interoperabilidad entre cadenas, barreras para los usuarios, etc.), lo que conduce a la fragmentación más significativa en la historia de la cadena de bloques. los rollups, como núcleo de la era modular, han acelerado las cosas, pero también han traído numerosos problemas, como la fragmentación de la liquidez, la dispersión de los usuarios y las limitaciones impuestas por la cadena o la máquina virtual en sí misma en la innovación de las aplicaciones. además, otro “actor clave” en la modularización, celestia, ha liderado el camino de que da no necesariamente esté en ethereum, exacerbando aún más la fragmentación. ya sea impulsado por la ideología o los costos de da, el resultado es que btc se ve obligado a convertirse en da y otras cadenas públicas buscan proporcionar soluciones de da más rentables. la situación actual es que cada cadena pública tiene al menos uno, si no decenas, de proyectos de capa 2. sumado a esto, todos los proyectos de infraestructura y ecosistema han aprendido profundamente la estrategia de apuesta de tokens pionera de blur, exigiendo a los usuarios que apuesten fichas dentro del proyecto. este modo, que beneficia a las ballenas de tres maneras (intereses, apreciación de eth o btc y fichas gratuitas), comprime aún más la liquidez en cadena.
en los mercados alcistas pasados, los fondos solo fluirían dentro de unas pocas a una docena de cadenas públicas, incluso concentrándose principalmente en ethereum. ahora, los fondos están dispersos en cientos de cadenas públicas y apostados en miles de proyectos similares, lo que ha llevado a una disminución en la actividad en la cadena. incluso ethereum carece de actividad en la cadena. como resultado, los jugadores del este participan en pvp en el ecosistema de btc, mientras que los jugadores del oeste lo hacen en solana, por necesidad.
por lo tanto, mi enfoque actual está en cómo promover la liquidez agGretada en todas las cadenas y apoyar la aparición de nuevos estilos de juego y superaplicaciones. en el sector de interoperabilidad entre cadenas, los proyectos líderes tradicionales han rendido consistentemente por debajo, todavía se asemejan a puentes tradicionales entre cadenas. las nuevas soluciones de interoperabilidad que discutimos en informes anteriores tienen como objetivo principal aggreGar múltiples cadenas en una sola cadena. ejemplos incluyen agglayer, superchain, cadena elástica, jam, etc., que no se detallarán aquí. en resumen, la agregación entre cadenas es un obstáculo necesario en la infraestructura modular, pero tomará mucho tiempo superarlo.
Los coprocesadores zk son una pieza crítica en la fase actual. Pueden fortalecer la capa2 y complementar la capa1. ¿Existe una forma de superar temporalmente los problemas de intercambio cruzado y trilema, permitiéndonos realizar algunas aplicaciones de la era actual en ciertas capas1 o capas2 con amplia liquidez? Después de todo, las aplicaciones de cadena de bloques carecen de narrativas frescas. Además, permitir estilos de juego diversos, control de gas, aplicaciones a gran escala, capacidades de intercambio cruzado y reducir las barreras del usuario a través de soluciones integradas de coprocesador podrían ser más ideales que depender de la centralización.
el campo de coprocesador zk surgió alrededor de 2023 y se ha vuelto relativamente maduro en esta etapa. según la clasificación de messari, este campo actualmente abarca tres dominios verticales principales (computación general, interoperabilidad y cross-chain, ai y machine training) con 18 proyectos. la mayoría de estos proyectos son apoyados por vcs líderes. a continuación, describimos varios proyectos de diferentes dominios verticales.
Giza es un protocolo zkml (aprendizaje automático de conocimiento cero) desplegado en starknet, apoyado oficialmente por starkware. Se centra en permitir que los modelos de IA se utilicen de manera verificable en contratos inteligentes de blockchain. Los desarrolladores pueden implementar modelos de IA en la red de Giza, que luego verifica la corrección de la inferencia del modelo a través de pruebas de conocimiento cero y proporciona los resultados a los contratos inteligentes de manera confiable. Esto permite a los desarrolladores construir aplicaciones en cadena que combinen capacidades de IA manteniendo la descentralización y verificabilidad de la cadena de bloques.
giza completa el flujo de trabajo a través de los siguientes tres pasos:
El enfoque de giza permite que los modelos de IA sirvan como fuentes de entrada confiables para contratos inteligentes sin depender de oráculos centralizados o entornos de ejecución confiables. Esto abre nuevas posibilidades para aplicaciones de cadena de bloques, como la gestión de activos basada en IA, detección de fraudes y fijación dinámica de precios. Es uno de los pocos proyectos en el espacio actual de web3 x IA con un bucle cerrado lógico y un uso inteligente de coprocesadores en el campo de la IA.
RISC Zero es un proyecto de coprocesador líder compatible con varios VC de primer nivel. Se centra en permitir que cualquier cálculo se ejecute de forma verificable en contratos inteligentes de blockchain. Los desarrolladores pueden escribir programas en Rust y desplegarlos en la red RISCi Zero. A continuación, RISC Zero verifica la corrección de la ejecución del programa a través de pruebas de conocimiento cero y proporciona los resultados a los contratos inteligentes de forma fiable. Esto permite a los desarrolladores crear aplicaciones complejas en cadena mientras mantienen la descentralización y la verificabilidad de la cadena de bloques.
mencionamos brevemente la implementación y el flujo de trabajo anteriormente. aquí, detallamos dos componentes clave:
risc zero se ha integrado con múltiples soluciones de capa 2 de eth y ha demostrado varios casos de uso para bonsai. Un ejemplo interesante es bonsai pay. Esta demostración utiliza zkvm de risc zero y el servicio de prueba de bonsai, permitiendo a los usuarios enviar o retirar eth y tokens en ethereum usando sus cuentas de Google. Muestra cómo risc zero puede integrar de manera perfecta las aplicaciones on-chain con oauth2.0 (el estándar utilizado por importantes proveedores de identidad como Google), proporcionando un caso de uso que reduce la barrera de usuario web3 a través de aplicaciones web2 tradicionales. Otros ejemplos incluyen aplicaciones basadas en daos.
=nil; es un proyecto de inversión respaldado por entidades reconocidas como mina, polychain, starkware y blockchain capital. Cabe destacar que pioneros en tecnología zk como mina y starkware se encuentran entre los patrocinadores, lo que indica un alto reconocimiento técnico para el proyecto. También se mencionó a =nil; en nuestro informe "El mercado de la potencia informática", centrándose principalmente en el mercado de pruebas (un mercado de generación de pruebas descentralizado). Además, =nil; tiene otro subproducto llamado zkllvm.
zkllvm, desarrollado por la fundación =nil;, es un compilador de circuitos innovador que convierte automáticamente el código de aplicación escrito en lenguajes de programación principales como c++ y rust en circuitos eficientes y demostrables para Ethereum sin la necesidad de lenguajes específicos de dominio de conocimiento nulo (dsl) especializados. Esto simplifica significativamente el proceso de desarrollo, reduce la barrera de entrada y mejora el rendimiento al evitar zkvm. Admite aceleración por hardware para acelerar la generación de pruebas, lo que lo hace adecuado para varios escenarios de aplicaciones zk como rollups, puentes entre cadenas, oráculos, aprendizaje automático y juegos. Está estrechamente integrado con el mercado de pruebas de =nil; foundation, brindando a los desarrolladores soporte integral desde la creación de circuitos hasta la generación de pruebas.
brevis es un subproyecto de celer network y es un coprocesador inteligente de conocimiento cero (zk) para blockchain, lo que permite a las dapps acceder, calcular y utilizar datos arbitrarios en múltiples blockchains de manera totalmente confiable. Al igual que otros coprocesadores, brevis tiene una amplia gama de casos de uso, como la defi impulsada por datos, los zkbridges, la adquisición de usuarios en cadena, zkdid y la abstracción de cuentas sociales en cadena.
La arquitectura brevis consta de tres componentes principales:
con esta arquitectura modular, Brevis puede proporcionar a todos los contratos inteligentes públicos admitidos por la cadena de bloques un método de acceso confiable, eficiente y flexible. La versión v4 de Uni también adopta este proyecto e integra ganchos (un sistema para integrar varias lógicas personalizadas de usuario) para facilitar la lectura de datos históricos de la cadena de bloques, reducir las tarifas de gas y garantizar la descentralización. Este es un ejemplo de un coprocesador zk que promueve un dex.
Lagrange es un protocolo de coprocesador zk de interoperabilidad liderado por 1kx y Founders Fund, principalmente destinado a proporcionar interoperabilidad trustless entre cadenas y apoyar aplicaciones que requieren cálculos de datos a gran escala. A diferencia de los puentes nodales tradicionales, la interoperabilidad entre cadenas de Lagrange se logra principalmente a través de sus innovadores mecanismos de grandes datos zk y de comité de estado.
lagrange ya se ha integrado con eigenlayer, mantle, base, frax, polymer, layerzero, omni, altlayer, entre otros, y será el primer zk avs en vincularse dentro del ecosistema de ethereum.
ybb es un fondo web3 que se dedica a identificar proyectos que definen web3 con la visión de crear un mejor hábitat en línea para todos los residentes de Internet. Fundada por un grupo de creyentes en blockchain que han participado activamente en esta industria desde 2013, ybb siempre está dispuesta a ayudar a los proyectos en etapa inicial a evolucionar de 0 a 1. Valoramos la innovación, la pasión autodirigida y los productos orientados al usuario, al tiempo que reconocemos el potencial de las criptomonedas y las aplicaciones blockchain.
referencias:
1.abcde: una inmersión profunda en el coprocesador zk y su futuro:https://medium.com/ABCDE.com/es-abcde-una-investigación-profunda-sobre-el-coprocesador-zk-y-su-futuro-1d1b3f33f946
2. "zk" es todo lo que necesitas:https://medium.com/gate_ventures/zk-es-todo-lo-que-necesitas-238886062c52
3. risc zero:https://www.risczero.com/bonsai
4.lagrange:https://www.lagrange.dev/blog/interoperability-for-modular-blockchains-the-lagrange-thesis
5.axiomblog:https://blog.axiom.xyz/
6. ¡Aceleración de nitrógeno! ¿Cómo el coprocesador zk rompe las barreras de los datos del contrato inteligente en la cadena de bloques Gate?https://foresightnews.pro/article/detail/48239
Este artículo es una reimpresión de [medio], reenviar el título original 'la gpu de blockchain: análisis integral de coprocesadores zk', todos los derechos de autor pertenecen al autor original [investigador de ybb capital zeke]. Si hay objeciones a esta reproducción, por favor contacte al Gate aprenderequipo, y lo resolverán rápidamente.
exención de responsabilidad: las opiniones expresadas en este artículo son únicamente las del autor y no constituyen ningún consejo de inversión.
las traducciones del artículo a otros idiomas son realizadas por el equipo de aprendizaje de Gate. A menos que se mencione lo contrario, está prohibido copiar, distribuir o plagiar los artículos traducidos.