➥ La Capa GPU para Blockchains - Coprocesadores ZK Las blockchains mueven valor, no computación. Cuando los contratos ejecutan lógica compleja o consultas de datos, chocan con el muro del gas. Los Coprocesadores ZK solucionan eso. Actúan como la capa GPU para blockchains, ejecutando fuera de la cadena y probando resultados en la cadena. Déjame explicarlo en 30s 🧵 — — — ► ¿Qué son los Coprocesadores ZK? Los Coprocesadores ZK son capas de computación fuera de la cadena que permiten a los contratos inteligentes manejar lógica compleja sin altos costos de gas o problemas de confianza. Ejecutan tareas fuera de la cadena, generan pruebas de conocimiento cero y permiten que la cadena las verifique de manera económica. En resumen, escalan la computación mientras se mantienen verificables. Características principales: ➤ Ejecución fuera de la cadena: Ejecuta cargas de trabajo pesadas como consultas de datos o inferencias de IA. ➤ Prueba de corrección: Cada resultado incluye una prueba ZK verificada en la cadena. ➤ Sin estado y agnóstica a la cadena: Funciona en L1s, L2s y rollups. ➤ Eficiente en costos: Reduce el gas y la latencia. — ► Dónde encajan los Coprocesadores ZK Los Coprocesadores ZK no son rollups ni oráculos; los complementan. Se sitúan al lado de las blockchains como una capa de computación que verifica el trabajo sin añadir congestión. Cómo se diferencian: ➤ Rollups: Escalan transacciones y mantienen estado. Los coprocesadores escalan la computación y se mantienen sin estado. ➤ Oráculos: Entregan datos sin prueba. Los coprocesadores devuelven datos con pruebas. ➤ TEEs: Dependen de hardware de confianza. Los coprocesadores verifican a través de matemáticas, no de máquinas. Juntos, extienden la pila modular, los rollups mueven datos, los oráculos los obtienen, los coprocesadores los prueban. — ► Cómo funcionan los Coprocesadores ZK Flujo de trabajo: Contrato Inteligente → Coprocesador ZK → Generación de Pruebas → Verificación en la 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 la computación fuera de la cadena para evitar gas y latencia. ➤ Generación de Pruebas: Crea una prueba ZK de que la computación fue correcta. ➤ Verificación en la cadena: El contrato verifica la prueba y actualiza los resultados. — ► Proyectos Líderes de Coprocesadores ZK ➤ Lagrange ( @LagrangeDev ) Proporciona un coprocesador ZK basado en SQL con comités de clientes ligeros para consultas cruzadas de finalización rápida. Usado por @eigenlayer, @Mantle_Official y @base para interoperabilidad verificable. ➤ Space and Time ( @SpaceandTimeDB ) Proporciona un coprocesador Proof-of-SQL que permite consultas verificables sobre datos en la cadena y fuera de la cadena. Usado por @chainlink y socios empresariales para análisis escalables y feeds de oráculos. ➤ RISC Zero ( @RiscZero ) Proporciona un zkVM RISC-V con servicio de prueba Bonsai para computación verificable de propósito general. Usado por @citrea_xyz y @PhalaNetwork para pruebas de ejecución confiables. ➤ Brevis ( @brevis_zk ) Proporciona un coprocesador de datos ZK programable para consultas cruzadas y datos cruzados sin confianza. Usado por @Uniswap V4 Hooks y @LineaBuild Ignition. ➤ Giza ( @Gizatechxyz ) Proporciona un marco zkML que convierte modelos de IA en forma verificable de conocimiento cero. Usado por proyectos de IA basados en @Starknet para detección de fraudes y gestión de activos. ➤ =nil; Foundation ( @nil_foundation ) Proporciona el compilador zkLLVM y el Mercado de Pruebas para convertir código estándar en circuitos probables. Usado por puentes, rollups y protocolos financieros para generación de pruebas. ➤ Boundless ( @BoundlessXYZ ) Proporciona coprocesadores ZK programables para acceso al estado histórico y computación cruzada. Usado por rollups asociados para indexación de datos y mecanismos de incentivos. ➤ Succinct ( @SuccinctLabs ) Proporciona el zkVM SP1 y una red de probadores descentralizada para pruebas de validez. Usado por @Mantle_Official para reemplazar pruebas de fraude y reducir retiros de siete días a seis horas. ➤ Axiom ( @axiom_xyz ) Proporciona una API de prueba y OpenVM para consultar datos históricos de @ethereum fuera de la cadena y verificarlos en la cadena. Usado por @Scroll_ZKP para finalizar bloques y reducir la latencia de retiros. — ► Riesgos y Compensaciones ➤ Altos costos de prueba: Las pruebas necesitan hardware potente y larga computación. ➤ 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, haciendo que las configuraciones sean costosas y de corta duración. — ► Conclusión Los Coprocesadores ZK eliminan el mayor cuello de botella de las blockchains: la computación. Transforman la lógica lenta y costosa en ejecución escalable y verificable para contratos inteligentes complejos. A medida que el hardware mejora y las redes de probadores se descentralizan, los costos de prueba disminuirán y el rendimiento aumentará. Los constructores en DeFi, rollups, IA y sistemas de intención los están utilizando para llevar computación verificable a blockchains 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