➥ La capa de GPU para blockchains - ZK Coprocessors Las cadenas de bloques mueven valor, no computación. Cuando los contratos ejecutan consultas complejas de lógica o datos, chocan contra el muro de gas. Los coprocesadores ZK solucionan eso. Actúan como la capa de GPU para blockchains, ejecutándose fuera de la cadena y probando resultados en la cadena. Déjame explicarte en los 🧵 30 — — — ► ¿Qué son los coprocesadores ZK? Los coprocesadores ZK son capas de computación fuera de la cadena que permiten a los contratos inteligentes manejar una lógica compleja sin problemas de alto gas o confianza. Ejecutan tareas fuera de la cadena, generan pruebas de conocimiento cero y dejan que la cadena las verifique a bajo costo. En resumen, escalan la computación sin dejar de ser verificables. Características principales: ➤ Ejecución fuera de la cadena: ejecuta cargas de trabajo pesadas como consultas de datos o inferencia de IA. ➤ Prueba de corrección: Cada resultado incluye una prueba ZK verificada en cadena. ➤ Sin estado e independiente de la cadena: funciona en L1, L2 y rollups. ➤ Rentable: reduce el gas y la latencia. — ► Dónde encajan los coprocesadores ZK Los coprocesadores ZK no son rollups ni oráculos; los complementan. Se sientan junto a las cadenas de bloques como una capa de cómputo que verifica el trabajo sin agregar congestión. En qué se diferencian: ➤ Rollups: Escale las transacciones y mantenga el estado. Los coprocesadores escalan el cálculo y permanecen sin estado. ➤ Oráculos: Entregue datos sin pruebas. Los coprocesadores devuelven datos con pruebas. ➤ TEE: Confíe en hardware confiable. Los coprocesadores verifican a través de matemáticas, no de máquinas. Juntos, amplían la pila modular, los rollups mueven datos, los oráculos los buscan, los coprocesadores lo demuestran. — ► Cómo funcionan los coprocesadores ZK Flujo de trabajo: Contrato inteligente → coprocesador ZK → generación de pruebas → verificación en cadena Paso a paso: ➤ Contrato inteligente: envía una solicitud para una tarea pesada, como obtener datos o ejecutar un modelo de IA. ➤ Coprocesador ZK: Ejecuta el cálculo fuera de la cadena para evitar el gas y la latencia. ➤ Generación de pruebas: crea una prueba ZK de que el cálculo fue correcto. ➤ Verificación en cadena: El contrato verifica la prueba y actualiza los resultados. — ► Liderando proyectos de coprocesadores ZK ➤ Lagrange ( @LagrangeDev ) Proporciona un coprocesador ZK basado en SQL con comités de cliente ligero para consultas de cadena cruzada de finalidad rápida. Utilizado por @eigenlayer, @Mantle_Official y @base para una interoperabilidad verificable. ➤ Espacio y tiempo ( @SpaceandTimeDB ) Proporciona un coprocesador de prueba de SQL que permite realizar consultas verificables sobre datos dentro y fuera de la cadena. Utilizado por socios empresariales y de @chainlink para análisis escalables y fuentes de Oracle. ➤ RISC Cero ( @RiscZero ) Proporciona un servicio de prueba RISC-V zkVM con Bonsai para computación verificable de propósito general. Utilizado por @citrea_xyz y @PhalaNetwork para pruebas de ejecución confiables. ➤ Brevis ( @brevis_zk ) Proporciona un coprocesador de datos ZK programable para consultas entre cadenas y datos entre cadenas sin confianza. Utilizado por @Uniswap V4 Hooks y @LineaBuild Ignition. ➤ Giza ( @Gizatechxyz ) Proporciona un marco zkML que convierte los modelos de IA en una forma verificable de conocimiento cero. Utilizado por proyectos de IA basados en @Starknet para la detección de fraudes y la gestión de activos. ➤ = nulo; Fundación ( @nil_foundation ) Proporciona el compilador zkLLVM y Proof Market para convertir código estándar en circuitos demostrables. Utilizado por puentes, acumulaciones y protocolos financieros para la generación de pruebas. ➤ Sin límites ( @BoundlessXYZ ) Proporciona coprocesadores ZK programables para acceso de estado histórico y computación entre cadenas. Utilizado por los paquetes acumulativos de asociados para la indexación de datos y los mecanismos de incentivos. ➤ Sucinto ( @SuccinctLabs ) Proporciona el SP1 zkVM y una red de probadores descentralizada para pruebas de validez. Utilizado por @Mantle_Official para reemplazar las pruebas de fraude y reducir los retiros de siete días a seis horas. ➤ Axioma ( @axiom_xyz ) Proporciona una API de prueba y OpenVM para consultar los datos históricos de @ethereum fuera de la cadena y verificarlos en la cadena. Utilizado por @Scroll_ZKP para finalizar bloques y reducir la latencia de retirada. — ► Riesgos y compensaciones ➤ Altos costos de prueba: las pruebas necesitan un hardware sólido y un cálculo largo. ➤ Desarrollo complejo: Requiere experiencia en criptografía y herramientas especializadas. ➤ Riesgo de centralización: las primeras redes de probadores dependen de pocos nodos. ➤ Ciclos de hardware rápidos: el hardware evoluciona rápidamente, lo que hace que las configuraciones sean costosas y de corta duración. — ► Resumen Los coprocesadores ZK eliminan el mayor cuello de botella de blockchain: la computación. Convierten la lógica lenta y costosa en una ejecución escalable y verificable para contratos inteligentes complejos. A medida que el hardware mejore y las redes de prueba se descentralicen, los costos de prueba disminuirán y el rendimiento aumentará. Los constructores de DeFi, rollups, IA y sistemas de intención los están utilizando para llevar la computación verificable a las cadenas de bloques modulares.

Etiqueté a mis amigos que remodelan la narrativa y elevan la conversación. > @HouseofChimera > @belizardd > @SherifDefi > @0xCheeezzyyyy > @Mars_DeFi > @90s_DeFi > @nlbkaifine > @Nick_Researcher > @YashasEdu > @thelearningpill > @cryptorinweb3 > @satyaXBT > @kenodnb > @Tanaka_L2 > @TimHaldorsson > @satyaXBT > @Haylesdefi > @Hercules_Defi > @DeRonin_ > @0xAndrewMoh > @0xDefiLeo > @Defi_Warhol > @CryptMoose_ > @TheDeFiPlug > @arndxt_xo > @CryptoShiro_ > @the_smart_ape

— Descargo de responsabilidad