¿Qué es Axiom? Solución de coprocessor ZK financiada por Paradigm

A medida que las necesidades de datos en cadena explotan, Axiom emerge como un protocolo de coprocesador ZK diseñado a medida, empoderando a los contratos inteligentes para consultar y calcular sobre el estado histórico completo de Ethereum con pruebas de cero conocimiento. Respaldado por una Serie A de $20 millones de Paradigm y otros importantes inversores, Axiom promete desbloquear nuevos casos de uso en cadena, que van desde análisis avanzados de DeFi hasta lógica de gobernanza compleja, sin las suposiciones de confianza o el costo adicional de los servicios fuera de la cadena. Como creador de contenido en Gate, aquí tienes tu introducción integral a Axiom: qué es, cómo funciona, por qué su coprocesador ZK es importante y quién está detrás del proyecto.

¿Qué es Axiom?

Axiom es un protocolo sin permisos que funciona como un coprocesador ZK para Ethereum. En lugar de depender de indexadores centralizados o oráculos externos, los desarrolladores construyen circuitos de Axiom: programas personalizados de cero conocimiento que especifican exactamente qué datos y cálculos en cadena son necesarios. Cuando un contrato inteligente envía una consulta en la cadena, Axiom ejecuta el circuito contra el estado archivado de Ethereum, genera una prueba ZK sucinta de la ejecución correcta y devuelve el resultado verificado al contrato. Este enfoque permite a los equipos de dApp acceder a todo, desde encabezados de bloques históricos hasta recibos de transacciones, a una fracción del costo de gas y sin confiar en proveedores de datos de terceros.

Cómo Funciona Axiom

Bajo el capó, Axiom opera en tres etapas:

1. Envío
Los desarrolladores crean un circuito Axiom utilizando el SDK de Axiom Type_script_, definiendo los datos y la lógica en cadena necesarios. El circuito se implementa en el contrato de consulta de Axiom, y los usuarios lo invocan enviando una transacción con los parámetros de consulta.

2. Cumplimiento
Los nodos Axiom obtienen los datos históricos solicitados: encabezados de bloques, Ethereum entradas de trie de estado y recibos de transacciones—desde nodos de archivo. Calculan el resultado fuera de la cadena y generan una prueba ZK que atestigua la corrección tanto de la recuperación de datos como de la computación.

3. Verificación & Callback
Una vez que la prueba se transmite en la cadena, el contrato inteligente Axiom la verifica en una única ejecución en la cadena. Si es válida, Axiom llama de vuelta al contrato inteligente original con el resultado calculado, lo que permite un acceso sin confianza y eficiente en gas a profundos conocimientos en la cadena.

Este modelo garantiza que cada resultado lleve las garantías criptográficas de Ethereum, mientras que reduce drásticamente los requisitos de computación y almacenamiento en la cadena.

Beneficios del coprocesador ZK de Axiom

El diseño de Axiom ofrece varias ventajas sobre las soluciones tradicionales de indexación de datos:

• Acceso Histórico Completo: Consulta el estado de cualquier bloque o el historial de transacciones sin necesidad de ejecutar tu propio nodo de archivo.
• Integridad de Datos de Cero Confianza: Las pruebas ZK eliminan la dependencia de oráculos centralizados; los resultados son verificables en la cadena.
• Eficiencia de Gas: Al trasladar la computación pesada y la búsqueda de datos fuera de la cadena, Axiom reduce los costos de gas para consultas complejas en hasta un 90%.
• Integración de Contratos Inteligentes Sin Costuras: Los contratos interactúan con Axiom a través de una API de Consulta simple, requiriendo cambios de código mínimos.
• Diseño Composable: Se pueden combinar múltiples circuitos para construir aplicaciones on-chain más ricas, desde herramientas de auditoría automatizadas hasta estrategias avanzadas de DeFi.

El equipo de investigación de Gate aprovecha estas capacidades para prototipar nuevas dApps de análisis DeFi, y estamos atentos a cualquier evento de airdrop de Axiom para recompensar a los primeros miembros de la comunidad.

Equipo e Inversores

1. Equipo Central
Axiom fue fundada por Jonathan Wang y Yi Sun, ambos exacadémicos con una profunda experiencia en pruebas de conocimiento cero y sistemas distribuidos. Jonathan, con un doctorado en informática del MIT, se centra en el diseño de protocolos y la criptografía. Yi, con experiencia en enseñanza en Chicago y Cambridge, lidera la experiencia de desarrollador y la arquitectura del SDK.

2. Inversores y financiamiento
La ronda de financiación Serie A de 20 millones de dólares del proyecto fue liderada por Paradigm, con la participación de Standard Crypto, Polychain y varios inversores ángeles. Este capital acelerará el lanzamiento de la red principal de Axiom, expandirá la red de validadores y financiará subvenciones para integraciones de coprocesadores ZK.

Proyectos Similares

Mientras Axiom se especializa en coprocessing ZK en la cadena, existen algunas soluciones adyacentes:

• Brevis: Se centra en la computación fuera de la cadena impulsada por ZK para datos de Ethereum, con una arquitectura de probador propietario.
• Bonsai: Ofrece pruebas basadas en zkVM para computaciones tanto en cadena como fuera de la cadena, desarrolladas por Risk Zero.

Cada proyecto apunta a diferentes compromisos en el diseño del sistema de prueba, pero la estrecha integración de Axiom con el estado archivado de Ethereum y su SDK amigable para desarrolladores lo distingue.

Axiom representa un gran avance en la disponibilidad y computación de datos descentralizados. A medida que Gate continúa monitoreando la innovación ZK, te traeremos tutoriales sobre cómo construir con circuitos Axiom, actualizaciones sobre cualquier anuncio de airdrop de Axiom y un análisis más profundo de los casos de uso que podrían redefinir las aplicaciones en cadena. Mantente atento a nuestro blog para lo último sobre Axiom y otros protocolos de blockchain de vanguardia.