Autor original: Investigador de YBB Capital Zeke
TLDR
El coprocesador ZK (coprocesador ZK) puede considerarse como un complemento informático fuera de la cadena derivado del concepto modular. Su función es similar a la GPU en nuestras computadoras tradicionales que comparten tareas informáticas gráficas para la CPU, es decir, compartir informática. en escenarios específicos. procesador de tareas;
Se puede utilizar para procesar cálculos complejos y datos pesados, reducir las tarifas del gas y ampliar las funciones de contratos inteligentes;
La diferencia con Rollup: el coprocesador ZK no tiene estado, se puede utilizar en cadenas y es adecuado para escenarios informáticos complejos;
El coprocesador ZK es difícil de desarrollar, tiene un alto rendimiento y carece de estandarización. El hardware requiere muchos costes. Aunque la pista está mucho más madura que hace un año, todavía se encuentra en sus primeras etapas;
Después de que la infraestructura entró en la era modular de la expansión fractal, blockchain cayó en varios problemas, como falta de liquidez, usuarios dispersos, falta de innovación e interoperabilidad entre cadenas, y formó una paradoja con L1 de expansión vertical. El coprocesador ZK puede proporcionar un buen refuerzo para los dos en el futuro, permitiéndoles salir de problemas, brindar soporte de rendimiento para aplicaciones antiguas y aplicaciones nuevas e importantes, y brindar narrativas más nuevas.
1. Otra rama de la infraestructura modular, el coprocesador ZK.
1.1 Descripción general del coprocesador ZK
El coprocesador ZK (coprocesador ZK) puede considerarse como un complemento informático fuera de la cadena derivado del concepto modular. Su función es similar a la GPU en nuestras computadoras tradicionales que comparten tareas informáticas gráficas para la CPU, es decir, compartir informática. en escenarios específicos. El procesador de la tarea. Bajo este marco de diseño, las tareas de "datos pesados" y "lógica de cálculo compleja" en las que la cadena pública no es buena se pueden calcular a través del coprocesador ZK. La cadena solo necesita recibir los resultados del cálculo devuelto, y su exactitud está garantizada por ZK. Como prueba, finalmente se realizan cálculos confiables fuera de la cadena para tareas complejas.
Actualmente, las aplicaciones populares como AI, SocialFi, DEX y GameFi tienen necesidades urgentes de alto rendimiento y control de costos. En las soluciones tradicionales, estas "aplicaciones pesadas" que requieren un alto rendimiento a menudo eligen la forma de activos dentro de la cadena + fuera de la cadena. aplicaciones, o, Diseñar una cadena de aplicaciones por separado para la aplicación. Sin embargo, ambos tienen algunos problemas inherentes, por ejemplo, el primero tiene una caja negra y el segundo tiene problemas como altos costos de desarrollo, separación de la ecología de la cadena original y fragmentación de la liquidez. Además, la máquina virtual de la cadena principal también tiene grandes restricciones en el desarrollo y operación de dichas aplicaciones (como la falta de estándares de capa de aplicación y lenguajes de desarrollo complejos).
La existencia del coprocesador ZK sirve para resolver este tipo de problemas. Para dar un ejemplo más detallado, podemos considerar la cadena de bloques como un terminal que no se puede conectar a Internet (en este caso, podemos ejecutarlo). Algunas aplicaciones más simples, como Uniswap y otras aplicaciones DeFi, pueden ejecutarse completamente en cadena. Pero cuando aparecen aplicaciones más complejas, como ejecutar aplicaciones como ChatGPT, el rendimiento y el almacenamiento de la cadena pública serán completamente insuficientes y Gas explotará. En el caso de Web2, lo mismo ocurre cuando ejecutamos ChatGPT. Los terminales comunes por sí solos no pueden manejar modelos de lenguaje grandes como GPT-4 o Necesitamos comunicar el problema al servidor OpenAI a través de Internet después de que el servidor calcule la inferencia. resultados, recibirás la respuesta directamente. El coprocesador ZK es similar al servidor remoto de blockchain. Sin embargo, para diferentes tipos de proyectos, el diseño de diferentes proyectos de coprocesador puede tener ligeras desviaciones, pero la lógica subyacente no será muy diferente. cálculo + prueba ZK o pruebas de almacenamiento. Tomando la implementación de Bonsai de Rise Zero como ejemplo, podemos entender que la lógica de esta arquitectura es muy simple. El proyecto se integra perfectamente en el propio zkVM de Rise Zero. Los desarrolladores solo necesitan dos pasos simples para usar Bonsai como coprocesador.
Escriba una aplicación zkVM para manejar la lógica de la aplicación;
Escriba un contrato de Solidity que le pida a Bonsai que ejecute su aplicación zkVM y procese los resultados.
¿Cuál es la diferencia entre 1.2 y Rollup?
En la definición anterior, encontraremos que Rollup parece tener un alto grado de superposición con el coprocesador ZK independientemente de su lógica de implementación o sus objetivos. Pero, de hecho, Rollup se parece más a la versión multinúcleo de la cadena principal. Las diferencias específicas entre los dos son las siguientes:
1. Propósito principal:
Rollup: mejore el rendimiento de las transacciones de blockchain y reduzca las tarifas de transacción.
Coprocesador ZK: amplía la potencia informática de los contratos inteligentes para que pueda procesar lógicas más complejas y mayores cantidades de datos.
2. Principio de funcionamiento:
Rollup: resuma las transacciones en la cadena y transfiéralas a la cadena principal mediante prueba de fraude o prueba ZK.
Coprocesador ZK: similar a ZK Rollup, excepto que los escenarios de aplicación de los dos son diferentes y están limitados por la forma y las reglas de la cadena y no son adecuados para el trabajo del coprocesador ZK.
3. Gestión de estados:
Rollup: necesita mantener su propio estado y sincronizarse con la cadena principal periódicamente.
Coprocesador ZK: no mantiene un estado persistente y cada cálculo no tiene estado.
4. Escenarios de aplicación:
Rollup: Principalmente para el lado C, adecuado para operaciones de alta frecuencia.
Coprocesador ZK: principalmente para el lado B, adecuado para escenarios que requieren cálculos complejos, como modelos financieros avanzados, análisis de big data, etc.
5. Relación con la cadena principal:
Rollup: puede verse como una extensión de la cadena principal, que generalmente se centra en una red blockchain específica.
Coprocesador ZK: puede proporcionar servicios para múltiples blockchains y no se limita a una cadena principal específica, por lo que también puede proporcionar servicios para Rollup.
Por lo tanto, los dos no son mutuamente excluyentes e incluso son complementarios. Incluso si existe un Rollup en forma de cadena de aplicaciones, el coprocesador ZK aún puede proporcionar servicios.
1.3 Casos de uso
En teoría, el coprocesador ZK tiene una gama de aplicaciones muy amplia y básicamente puede cubrir proyectos en varias pistas de blockchain. La existencia del coprocesador ZK puede acercar la función de Dapp a la función de la aplicación centralizada Web2. Los siguientes son algunos casos de uso de demostración recopilados de Internet:
Desarrollo de DApps basado en datos
El coprocesador ZK permite a los desarrolladores crear DApps basadas en datos que aprovechan los datos históricos de toda la cadena y realizan cálculos complejos sin suposiciones de confianza adicionales. Esto brinda posibilidades sin precedentes para el desarrollo de DApp, tales como:
Análisis de datos avanzado: el análisis de datos en cadena funciona de manera similar a Dune Analytics.
Lógica empresarial compleja: implemente algoritmos y lógica empresarial complejos en aplicaciones centralizadas tradicionales.
Aplicaciones entre cadenas: cree DApps entre cadenas basadas en datos de múltiples cadenas.
Programa de comerciante VIP de DEX
Un escenario de aplicación típico es implementar un programa de descuento de tarifas basado en el volumen de transacciones en un intercambio descentralizado (DEX), es decir, el "Programa de lealtad de comerciantes VIP". Este tipo de esquema es común en los intercambios centralizados (CEX) pero poco común en DEX.
Usando el coprocesador ZK, DEX puede:
Realice un seguimiento del volumen histórico de transacciones de los usuarios
Calcular el nivel VIP del usuario
Ajuste dinámicamente las tarifas de transacción según el nivel
Esta función puede ayudar a DEX a mejorar la retención de usuarios, aumentar la liquidez y, en última instancia, aumentar los ingresos.
Mejora de datos para contratos inteligentes
El coprocesador ZK puede servir como un potente middleware para proporcionar servicios de captura, cálculo y verificación de datos para contratos inteligentes, reduciendo así los costos y mejorando la eficiencia. Esto permite que los contratos inteligentes:
Acceda y procese grandes cantidades de datos históricos
Realice cálculos complejos fuera de la cadena
Implementar una lógica empresarial más avanzada
Tecnología de puente entre cadenas
Algunas tecnologías de puentes entre cadenas basadas en ZK, como Herodotus y Lagrange, también pueden considerarse como una aplicación del coprocesador 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.
El coprocesador 1.4 ZK no es perfecto
Aunque hemos enumerado muchas ventajas, la etapa actual del coprocesador ZK no es perfecta y aún debe enfrentar muchos problemas. Personalmente resumí los siguientes puntos:
1. Desarrollo: el concepto de ZK es difícil de entender para muchos desarrolladores. El desarrollo también requiere conocimientos de criptografía relevantes y dominio de lenguajes y herramientas de desarrollo específicos;
2. Los costos de hardware son altos: el hardware ZK utilizado para la computación fuera de la cadena debe ser sufragado en su totalidad por el proyecto en sí. El hardware ZK es costoso y aún está en rápido desarrollo e iteración, y es probable que el hardware se elimine en cualquier momento. También es una cuestión que vale la pena considerar si esto puede formar un circuito cerrado en la lógica empresarial;
3. La pista está abarrotada: de hecho, no habrá una gran diferencia en la implementación técnica. Al final, es probable que sea similar al patrón de Capa 2 actual. Hay varios proyectos pendientes, pero la mayoría de ellos se ignoran;
Circuito 4.zk: ejecutar cálculos fuera de cadena en el coprocesador zk requiere convertir programas informáticos tradicionales en circuitos zk. Escribir circuitos personalizados para cada aplicación es muy complicado, y usar zkvm para escribir circuitos en máquinas virtuales genera diferentes modelos informáticos. .
2. Piezas clave del rompecabezas que conducen a una aplicación a gran escala
(Este capítulo es muy subjetivo y representa sólo las opiniones personales del autor)
Este ciclo está dominado por la infraestructura modular. Si el camino de la modularización es correcto, entonces este ciclo puede ser el último paso hacia la aplicación a gran escala. Sin embargo, en la etapa actual, todos tenemos un sentimiento común: ¿Por qué solo podemos ver algunos vinos viejos con aplicaciones nuevas? ¿Por qué hay muchas más cadenas que aplicaciones? ¿Por qué los nuevos estándares simbólicos, como las inscripciones, pueden considerarse la mayor innovación en esto? ¿redondo?
La razón por la que existe tal falta de narrativas nuevas es que la infraestructura modular actual no es suficiente para soportar súper aplicaciones, especialmente la falta de algunos requisitos previos (interoperabilidad de cadena completa, umbrales de usuario, etc.), lo que ha contribuido a la mayor desarrollo en la historia de blockchain disfrazado de separación. El rollup, como núcleo de la era modular, es rápido, pero también trae muchos problemas, es decir, la fragmentación de la liquidez, la dispersión de los usuarios, la cadena o la máquina virtual en sí que hemos enfatizado anteriormente todavía limita la innovación de las aplicaciones. Por otro lado, Celestia, otro "hombre clave" de la modularidad, ha sido pionero en la idea de que DA no necesita estar en Ethereum. Esta idea intensifica aún más la fragmentación. Ya sea por ideología o por el costo de DA, el resultado es que BTC se ve obligado a hacer DA, y otras cadenas públicas tienen que hacer DA más rentables. La situación actual es que hay tan solo una y hasta docenas de ellas. Proyectos de capa 2 en cada cadena pública. Finalmente, todas las partes del proyecto ecológico y de infraestructura han estudiado en profundidad el juego del dragón que mata puntos (OpenSea) iniciado por Blur (Tieshun), lo que requiere que los usuarios prometan tokens en el proyecto. Este tipo de matar tres pájaros de un tiro (interés, ETH). para ballenas o el aumento de BTC y el modelo de token gratuito Token), comprimiendo aún más la liquidez en la cadena.
En el pasado mercado alcista, los fondos solo fluían en unas pocas a una docena de cadenas públicas, e incluso se podría decir que se concentraban solo en Ethereum. Pero los fondos actuales están dispersos en cientos de cadenas públicas y comprometidos en miles de proyectos que son todos iguales. La prosperidad en la cadena ya no existe, e incluso Ethereum no tiene actividades en la cadena. Entonces, los jugadores orientales están haciendo PvP en el ecosistema BTC, y los jugadores occidentales no tienen más remedio que hacerlo en Solana. Por lo tanto, lo que más me preocupa personalmente en este momento es cómo promover la agregación de liquidez a lo largo de la cadena y cómo respaldar el nacimiento de nuevos juegos y súper aplicaciones. En el ámbito de la interoperabilidad de la cadena completa, varios proyectos líderes tradicionales en realidad han tenido un desempeño deficiente. Aún se parecen más a los puentes entre cadenas tradicionales. La nueva solución de interoperabilidad también se discutió en nuestro informe de investigación anterior, principalmente agregando múltiples cadenas en una sola cadena. Actualmente, estamos trabajando en AggLayer, Superchain, Elastic Chain, JAM, etc., que no se discutirán aquí.
Con todo, la agregación de toda la cadena es un obstáculo que debe superarse bajo la estructura modular, pero este obstáculo aún llevará mucho tiempo. El coprocesador ZK es una pieza del rompecabezas más crítica en la etapa actual. Además de fortalecer la Capa 2, también puede fortalecer la Capa 1. ¿Es posible escapar temporalmente de los dos problemas de la paradoja de la cadena completa y del triángulo? ¿Primero implementar algunas aplicaciones actuales en alguna Capa 1 o Capa 2 que tengan amplia liquidez? Después de todo, la narrativa actual sobre la aplicación blockchain es realmente deficiente. Por otro lado, para lograr la diversificación del juego, el control del gas, la aparición de aplicaciones a gran escala e incluso la cadena cruzada, reduciendo el umbral de usuario, la integración de una solución de coprocesador será una solución más ideal que depender de la centralización.
3. Lista de proyectos
La pista del coprocesador ZK surgió básicamente alrededor de 2023 y está relativamente madura en la etapa actual. Según la clasificación de Messari, los proyectos existentes en la pista se pueden dividir en tres grandes áreas verticales (computación general, interoperabilidad y cross-chain, IA y entrenamiento de máquinas), con 18 proyectos. La mayoría de estos proyectos cuentan con el respaldo de VC principales. Seleccionamos algunos proyectos en diferentes campos verticales para describirlos a continuación.
3.1 Humano
Giza es un protocolo zkML (aprendizaje automático de conocimiento cero) implementado en Starknet y respaldado oficialmente por StarkWare, que se centra en permitir que los modelos de inteligencia artificial se utilicen de forma verificable en contratos inteligentes de blockchain. Los desarrolladores pueden implementar modelos de IA en la red de Giza, que luego verifica la exactitud del razonamiento del modelo a través de pruebas de conocimiento cero y proporciona los resultados para su uso mediante contratos inteligentes sin confianza. Esto permite a los desarrolladores crear aplicaciones en cadena que incorporen capacidades de inteligencia artificial mientras mantienen la descentralización y verificabilidad de la cadena de bloques.
Giza completa el flujo de trabajo realizando los siguientes tres pasos:
Conversión de modelos: Giza convierte los modelos de IA en formato ONNX de uso común a un formato que se puede ejecutar en sistemas a prueba de conocimiento cero. Esto permite a los desarrolladores entrenar modelos utilizando herramientas familiares y luego implementarlos en la red de Giza.
Inferencia fuera de la cadena: cuando un contrato inteligente solicita la inferencia del modelo de IA, Giza realiza los cálculos reales fuera de la cadena. Esto evita el alto costo de ejecutar modelos complejos de IA directamente en la cadena de bloques.
Verificación de conocimiento cero: Giza genera pruebas ZK para cada inferencia del modelo para demostrar que el cálculo se realizó correctamente. Estas pruebas se verifican en cadena, lo que garantiza la exactitud de los resultados de la inferencia sin tener que repetir todo el proceso de cálculo en cadena.
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 blockchain, como la gestión de activos basada en inteligencia artificial, la detección de fraude y la fijación de precios dinámicos. Es uno de los pocos proyectos lógicos de circuito cerrado en el actual Web3 x AI, y también es un uso maravilloso del coprocesamiento en el campo de la IA.
3.2 Calentamiento Cero
Risc Zero es un proyecto de coprocesador respaldado por múltiples capitalistas de riesgo líderes y es líder en el campo. El proyecto se centra en permitir que se ejecuten cálculos arbitrarios de forma verificable dentro de contratos inteligentes de blockchain. Los desarrolladores pueden escribir programas en Rust e implementarlos en la red RISC Zero, luego verifica la exactitud de la ejecución del programa a través de pruebas de conocimiento cero y proporciona los resultados a contratos inteligentes sin confianza. Esto permite a los desarrolladores crear aplicaciones complejas en cadena mientras mantienen la descentralización y verificabilidad de la cadena de bloques.
Hemos hablado brevemente sobre el proceso de implementación y trabajo anteriormente, y aquí hablaremos en detalle sobre los dos componentes clave:
Bonsai: Bonsai de RISC Zero es el componente de coprocesador del proyecto. Está perfectamente integrado en el zkVM de la arquitectura del conjunto de instrucciones RISC-V, lo que permite a los desarrolladores integrar rápidamente pruebas de conocimiento cero de alto rendimiento en Ethereum y L1 dentro de un. En unos días, Blockchain, la cadena de aplicaciones Cosmos, los paquetes acumulativos L2 y las dApps brindan llamadas directas a contratos inteligentes, cálculos verificables fuera de la cadena, interoperabilidad entre cadenas y funciones acumulativas universales, al tiempo que adoptan un diseño de arquitectura distribuida descentralizada, combinado con características recursivas. pruebas, compiladores de circuitos personalizados, continuación de estado y algoritmos de prueba en mejora continua, lo que permite a cualquiera generar pruebas de conocimiento cero de alto rendimiento para una variedad de aplicaciones.
zKVM: zkVM es una computadora verificable que funciona como un microprocesador RISC-V integrado real. Esta máquina virtual se basa en la arquitectura del conjunto de instrucciones RISC-V, lo que permite a los desarrolladores utilizar una variedad de lenguajes de programación como Rust, C++, Solidity, Go y otros lenguajes de programación de alto nivel para escribir programas que puedan generar cero. -pruebas de conocimiento Admite más del 70% de las cajas Rust populares. Logra una combinación perfecta de informática general y pruebas de conocimiento cero, y puede generar pruebas de conocimiento cero eficientes para cálculos de cualquier complejidad, manteniendo al mismo tiempo la privacidad del cálculo. El proceso y la verificabilidad de los resultados zkVM adopta STARK y SNARK, incluida la tecnología ZK, que realiza una generación y verificación de pruebas eficientes a través de componentes como Recursion Prover y STARK-to-SNARK Prover, que admiten modos de ejecución fuera de la cadena y verificación dentro de la cadena.
Risc Zero se ha integrado con múltiples sistemas ETH de Capa 2 y demostró múltiples casos de uso de Bonsai, el más interesante de los cuales es Bonsai Pay. La demostración utiliza zkVM de RISC Zero y prueba de servicio Bonsai para permitir a los usuarios enviar o retirar ETH y tokens en Ethereum utilizando una cuenta de Google. Demuestra cómo RISC Zero puede integrar perfectamente aplicaciones en cadena con OAuth 2.0 (el estándar utilizado por los principales proveedores de identidad como Google), un caso de uso de integración que reduce la barrera de entrada para los usuarios de Web3 a través de aplicaciones Web2 tradicionales, además de ejemplos. Basado en aplicaciones como DAO.
3,3 = nulo;
=nil; Está invertido por proyectos e instituciones reconocidas como Mina, Polychain, Starkware y Blockchain Capital. Vale la pena señalar que también se encuentran proyectos con tecnologías zk de vanguardia como Mina y Starkware, lo que indica que El reconocimiento técnico del proyecto sigue siendo alto. =nil; También es un proyecto mencionado en nuestro informe de investigación "Mercado de energía informática". En ese momento, se centraba principalmente en el Proof Market de =nil; (mercado descentralizado de generación de pruebas). En realidad, el proyecto también tenía un subproducto, zkLLVM.
zkLLVM es un compilador de circuitos innovador desarrollado por =nil Foundation. Puede convertir automáticamente códigos de aplicaciones escritos en lenguajes de desarrollo convencionales como C++ y Rust en circuitos demostrables eficientes en Ethereum sin utilizar un lenguaje específico especializado. DSL), lo que simplifica enormemente el proceso de desarrollo y reduce el umbral de desarrollo. Al mismo tiempo, mejora el rendimiento al no involucrar zkVM (máquina virtual de conocimiento cero). Admite la aceleración de hardware para acelerar la generación de pruebas. , puentes entre cadenas, varios escenarios de aplicaciones ZK, como oráculos, aprendizaje automático y juegos, y están estrechamente integrados con =nil; Proof Market de Foundation para brindar a los desarrolladores soporte de extremo a extremo desde la creación del circuito hasta la generación de pruebas.
3.4 Brevemente
Este proyecto es un subproyecto de Celer Network. Bervis es un coprocesador inteligente de conocimiento cero (ZK) para blockchain que permite a las dApps acceder, calcular y utilizar múltiples blockchains de una manera completamente arbitraria. Al igual que otros coprocesadores, Brevis también tiene una amplia gama de casos de uso, como DeFi basado en datos, zkBridges, adquisición de usuarios en cadena, zkDID y abstracción de cuentas sociales.
La arquitectura de Brevis consta principalmente de tres partes:
zkFabric: zkFabric es un repetidor de la arquitectura Brevis. Su tarea principal es recopilar y sincronizar información de encabezado de bloque de todas las cadenas de bloques conectadas y, finalmente, generar pruebas de consenso para cada encabezado de bloque recopilado a través del circuito del cliente ligero ZK.
zkQueryNet: zkQueryNet es un mercado abierto de motores de consultas ZK que puede aceptar directamente consultas de datos de contratos inteligentes en la cadena y también puede generar resultados de consultas y los certificados de consultas ZK correspondientes a través del circuito del motor de consultas ZK. Estos motores van desde muy especializados (como el cálculo del volumen de transacciones en un DEX durante un período de tiempo específico) hasta abstracciones de índices de datos muy generales y lenguajes de consulta de alto nivel que abordan una variedad de necesidades de aplicaciones.
zkAggregatorRollup: actúa como capa de agregación y almacenamiento para zkFabric y zkQueryNet. Verifica las pruebas de ambos componentes, almacena los datos verificados y envía su raíz de estado a prueba de ZK a todas las cadenas de bloques conectadas, lo que permite a las dApps acceder directamente a los datos verificados en la lógica empresarial de sus resultados de búsqueda de contratos inteligentes en cadena.
A través de esta arquitectura modular, Brevis puede proporcionar acceso confiable, eficiente y flexible a contratos inteligentes en todas las cadenas públicas admitidas. Este proyecto también se adopta en la versión V4 de UNI y se integra con Hooks en el protocolo (un sistema que integra lógica personalizada para varios usuarios) para facilitar la lectura de datos históricos de blockchain, reducir las tarifas del gas y garantizar la descentralización de las propiedades. Este es un ejemplo del coprocesador zk que controla DEX.
3.5 Lagrange
Lagrange es un protocolo de coprocesador zk interoperable liderado por 1kx y Founders Fund. El objetivo principal del protocolo es proporcionar interoperabilidad entre cadenas sin confianza y respaldar la innovación de aplicaciones que requieren cálculos complejos de big data. A diferencia de los puentes de nodos tradicionales, la interoperabilidad entre cadenas de Lagrange se logra principalmente a través de sus innovadores mecanismos ZK Big Data y State Committee.
ZK Big Data: este producto es el núcleo de Langrange y es el principal responsable de procesar y verificar datos entre cadenas y generar certificados ZK relevantes. Este componente incluye un coprocesador ZK altamente paralelo para realizar cálculos complejos fuera de la cadena y generar pruebas de conocimiento cero. Una base de datos verificable especialmente diseñada admite ranuras de almacenamiento ilimitadas y consultas SQL directas para contratos inteligentes. Un mecanismo de actualización dinámica solo actualiza los puntos de datos modificados para reducir. El tiempo de prueba y la funcionalidad integrada que permite a los desarrolladores acceder a datos históricos mediante consultas SQL directamente desde contratos inteligentes sin escribir circuitos complejos, forman en conjunto un sistema de verificación y procesamiento de datos blockchain a gran escala.
Comité Estatal: este componente es una red de verificación descentralizada compuesta por múltiples nodos independientes, cada nodo promete ETH como garantía. Estos nodos sirven como clientes ligeros de ZK y están dedicados a verificar el estado de paquetes acumulativos de optimización específicos. El Comité Estatal se integra con el AVS de EigenLayer, utiliza un mecanismo de compromiso importante para mejorar la seguridad, admite la participación de un número ilimitado de nodos y logra un crecimiento de seguridad superlineal. También proporciona un "modo rápido" que permite a los usuarios realizar operaciones entre cadenas sin esperar la ventana de desafío, lo que mejora enormemente la experiencia del usuario. La combinación de estas dos tecnologías permite a Lagrange procesar de manera eficiente datos a gran escala, realizar cálculos complejos y transmitir y verificar de forma segura resultados entre diferentes blockchains, brindando soporte para el desarrollo de aplicaciones complejas entre cadenas.
Actualmente, Lagrange está integrado con EigenLayer, Mantle, Base, Frax, Polymer, LayerZero, Omni, AltLayer, etc., y también estará vinculado al ecosistema Ethereum como el primer ZK AVS.
Referencias
1.ABCDE: una inmersión profunda en el coprocesador ZK y su futuro: https://medium.com/@ABCDE.com/en-abcde-a-deep-dive-into-zk-coprocessor-and-its-future-1d1b3f33f946
2.“ZK” es todo lo que necesitas: https://medium.com/@gate_ventures/zk-is-all-you-need-238886062c 52
3.Risc cero: 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. ¡El nitrógeno se acelera! Cómo el coprocesador ZK rompe las barreras de los datos de los contratos inteligentes: https://foresightnews.pro/article/detail/48239
