El mundo de la encriptación, nunca carece de nuevas narrativas, pero las que son verdaderamente atractivas y prácticas son escasas.

Por ejemplo, desde el inicio del auge de las súper narrativas de IA en esta ronda, aunque la computación en la nube ya se ha convertido en la fuerza productiva central de la era de la economía digital futura, los gigantes tradicionales de la Web2 monopolizan los recursos de GPU y potencia computacional de alta calidad, mientras que los proyectos de la cabeza y la cola no tienen poder de negociación ni autonomía, y los escenarios de aplicación más amplios de computación verificable también enfrentan la difícil situación de no tener recursos suficientes.

Por lo tanto, en medio de la ola de AI+Crypto, el concepto de cifrado completamente homomórfico (FHE) también ha ganado popularidad recientemente y se considera ampliamente como una de las mejores soluciones para la verificación de cálculos y el procesamiento de datos confidenciales de IA.

Este artículo enfocará en el veterano encriptado Marlin, que se centra en la 'infraestructura de computación en la nube verificable', y explorará cómo el proyecto DeAI, que abarca múltiples narrativas como AI, MEV, Oracle, ZK, TEE, etc., se ajusta a la tendencia actual de AI y si puede aportar nuevas variables al campo 'AI+Crypto'.

¿La IA en la segunda mitad del partido no puede prescindir de la 'computación en la nube verificable'?

Como es bien sabido, aparte de la rápida expansión del gran modelo AIGC, innumerables escenarios de IA en sus etapas iniciales, como atención médica, educación, conducción inteligente, entre otros, están desplegándose rápidamente, todos los cuales requieren cálculos masivos.

Sin embargo, para estos escenarios específicos, la información médica, educativa y de conducción autónoma de los usuarios es crucial para la economía e incluso la seguridad de la vida: datos de información en dimensiones como atención médica, sistemas de energía, redes de ancho de banda, vehículos conectados, etc., no solo están directamente relacionados con la seguridad de los datos confidenciales personales, sino que también requieren promover el desarrollo del sector a través de una colaboración y intercambio de datos más amplios.

Sin embargo, al mismo tiempo, el mercado tradicional de servicios en la nube está dominado por gigantes de Internet como Amazon Web Services (AWS), Microsoft Azure y Google Cloud Platform (GCP), que juntos controlan más del 60% de la cuota de mercado de la computación en la nube, lo que indica claramente que se trata de un mercado de vendedores.

Un problema evidente en esta arquitectura de mercado es la dependencia generalizada de servidores en la nube centralizados, lo que significa que los desarrolladores/proyectos confían en los servicios en la nube que utilizan, esencialmente vinculando su reputación a una o varias empresas gigantes, lo que equivale a ceder el control y la seguridad de los datos a las empresas gigantes de Web2.

Por esta razón, en los últimos años, los proveedores de servicios en la nube han experimentado frecuentes casos de filtración de datos, lo que ha provocado graves pérdidas tanto a nivel personal como institucional. Por lo tanto, independientemente de cómo los desarrolladores/los proyectos vean el tema central del mundo Crypto de la 'Descentralización', es mucho mejor hacer que no puedan hacer el mal desde el diseño del mecanismo, en lugar de confiar en que los gigantes 'no hagan el mal' (Don't Be Evil).

En este contexto, si analizamos detenidamente la dirección de la informática en la nube de IA, todavía existe una brecha ecológica entre la madurez de la solución de servicios de informática en la nube de la capa inferior y Web2, es decir, la transformación de la tecnología de cálculo confidencial enfrenta costos relativamente altos, por lo tanto, no hay un buen enfoque en la industria para permitir que los programas se implementen de manera rápida y segura, lo que ha llevado a la falta de satisfacción de la serie de aplicaciones necesarias para AI+Web3, lo que también ha limitado su impulso de desarrollo.

Por lo tanto, en pocas palabras, el desarrollo de la segunda mitad del mercado de la computación en la nube de IA requiere urgentemente un conjunto completo de herramientas de desarrollo de blockchain orientadas a Web3, para así proporcionar una solución integral que cumpla con la descentralización, la verificabilidad, la baja latencia y el bajo costo. Desde este punto de vista, la necesidad de servicios de computación en la nube verificables y descentralizados también está emergiendo gradualmente, justo a tiempo para llenar este vacío en esta dirección específica:

En este contexto, la necesidad de servicios de computación en la nube verificables y descentralizados también está emergiendo gradualmente. Como solución que utiliza tecnología de encriptación para ejecutar cálculos, permite verificar la exactitud de los resultados computacionales sin revelar los datos subyacentes, evitando la divulgación de información personal y asegurando que los datos clave no sean revelados.

Todas estas cosas están muy en línea con los escenarios de aplicación de Web3, lo que ha dado lugar a una gran cantidad de imaginación en la industria sobre la computación en la nube confidencial. Por lo tanto, tecnologías como las pruebas de conocimiento cero (ZKP), la computación multipartita (MPC) y la muy popular en estos días encriptación completamente homomórfica (FHE) han atraído una atención especial del mercado.

Y esto es precisamente lo que Marlin quiere hacer: cualquier aplicación DePIN/Web2.5/AI que requiera servicios informáticos de baja latencia y alta potencia de cálculo puede optar por implementarlos en WeTEE y obtener una solución de computación en la nube tan versátil como los servicios en la nube tradicionales.

Reinterpretando Marlin: Convirtiéndose en la L0 verificable del mundo de la IA

Si tuviera que resumir en una frase la visión de Marlin en el campo de la computación verificable de la IA, en realidad estaría comprometido con la forma de ayudar directamente a los demandantes de la computación de la IA, en cualquier momento y en cualquier lugar, a integrar servicios de computación en la nube verificables en sus productos existentes en forma de complemento en la capa de infraestructura, en un momento en que el entrenamiento de grandes modelos de IA se está volviendo cada vez más importante.

Esto es esencialmente convertirse en un L0 verificable y universal en el mundo de la IA, por lo que encapsula las funciones principales y ofrece servicios de llamada de un solo clic a los proyectos basados en una red de alta velocidad de nodos de TEE y una red de comunicación verificable ZK.

Marlin utiliza un entorno de ejecución confiable (TEE) y un coprocesador basado en pruebas de conocimiento cero (ZKP) para aislar los datos y el código de otros procesos a nivel de hardware, lo que garantiza la confidencialidad de los datos y la integridad de los cálculos realizados en ellos. También se puede lograr la precisión y verificabilidad de los resultados de los cálculos, y son inmutables.

Al mismo tiempo, a diferencia de la mayoría de los coprocesadores ZK que están diseñados específicamente para ciertos entornos (RISC-V, WASM o MIPS) y solo pueden manejar programas escritos en lenguajes compatibles, el mercado de pruebas ZK de Marlin se basa en circuitos, por lo que es independiente del lenguaje y permite a los nodos seleccionar los circuitos que desean admitir, lo que les permite portar directamente aplicaciones existentes de Python, C++ o Go o usar zkVM.

Al mismo tiempo, la arquitectura de red de Marlin puede dividirse en general en Oyster, Kalypso, y la red de repetidores de Marlin, estas "tres patas".

Donde Oyster y Kalypso utilizan respectivamente el entorno de ejecución confiable (TEE) y las pruebas de conocimiento cero (ZKP) para garantizar la corrección y seguridad de los cálculos, mientras que la red de repetidores se encarga de garantizar que los nodos no confiables puedan contribuir a la red sin afectar su seguridad, gracias a su función de incentivo incorporada:

*Oyster, como servicio off-chain proporcionado por TEE, tiene como visión principal permitir a los usuarios implementar sus propios backends o extensiones de contratos inteligentes en la red de computación en la nube de Marlin con el menor número de cambios posibles, por lo que una de sus mayores ventajas es su característica sin servidor: los usuarios no necesitan configurar nodos ni seleccionar nodos específicos para su uso, y los resultados pueden devolverse fácilmente a los usuarios;

• Kalypso representa la integración flexible de Marlin con Prueba de Conocimiento Cero (ZKP). Se debe tener en cuenta que la optimización de hardware con FPGA, GPU y ASIC puede acelerar significativamente la velocidad de generación de pruebas ZK, lo que reduce el tiempo y el costo. La red de Marlin depende de nodos con GPU y FPGA para externalizar la generación de pruebas ZK, lo que le permite manejar eficientemente las solicitudes de los clientes y devolver las pruebas generadas.
• Marlin Relay es una red de repetidores no relacionada con la cadena de bloques y sin permisos, con funciones de incentivo incorporadas, que puede integrarse simultáneamente con múltiples cadenas de bloques. Esta estructura de incentivos garantiza que los nodos no confiables puedan contribuir a la red sin afectar negativamente su seguridad.

Vale la pena señalar que cada nodo en la red de Marlin está equipado con TEE para garantizar que la información no sea espiada ni filtrada durante el cálculo y almacenamiento de datos en un enclave seguro en el sistema de almacenamiento.

Y cada nodo puede demostrar a la otra parte que una afirmación es verdadera utilizando el protocolo ZK, sin revelar ningún dato específico sobre esa afirmación, lo que protege la seguridad de la información del sujeto de datos y garantiza la veracidad de los hechos.

En general, Marlin, como un L0 de computación en la nube verificable centrada en la inteligencia artificial, tiene una amplia gama de escenarios, puede proporcionar servicios de potencia computacional y almacenamiento de recursos de red para aplicaciones como oráculos de Oracle, sistemas ZK Prover, inteligencia artificial, etc., basadas en sistemas de nodos distribuidos descentralizados, convirtiéndose en la piedra angular de protección de datos para muchas aplicaciones de encriptación + inteligencia artificial.

El espacio imaginario de Marlin y 'AI World L0'

Desde esta perspectiva, Marlin en realidad está desempeñando un papel clave en la infraestructura AI+Web3 en la segunda mitad del juego, cuyo núcleo es realmente llevar la computación verificable realmente al mundo de AI y Web3.

Por ejemplo, utilizando los servicios de componentes de computación en la nube verificables con su propia propiedad 'L0', Marlin puede convertirse en un 'bloque de construcción de Lego', convirtiéndose en un componente clave de infraestructura para servicios de 'cálculo verificable+' de IA, habilitando la implementación de propiedades de cálculo completamente verificables en diversos productos DApp.

El escenario de aplicación más directo es que Marlin puede proporcionar un entorno seguro de entrenamiento y cálculo para modelos de IA basados en coprocesadores de entorno de ejecución confiable (TEE), lo cual es cada vez más importante en el entrenamiento de grandes modelos de IA. Esto significa que, además de ChatGPT, diferentes proyectos de grandes modelos pueden integrar Marlin o construir sobre Marlin para formar un middleware de cálculo verificable que pueda ser fácilmente insertado y utilizado, logrando así un empoderamiento a través de la forma de 'cálculo verificable+'.

Al mismo tiempo, lo más crucial es poder construir un entorno de incentivos descentralizado, transparente y verificable, que transforme la red de nodos distribuidos en una red de servicios de minería en la nube descentralizada, es decir, para realizar una lógica de negocio DePIN más amplia, reduciendo los costos de servicios de computación en la nube mediante incentivos con tokens:

Reuniendo la potencia computacional ociosa y utilizando una configuración de implementación más flexible y de bajo costo, se ayuda a los empresarios a entrenar modelos de IA personalizados para pequeñas y medianas empresas, lo que aumenta en gran medida la utilización de recursos.

Esto es solo la punta del iceberg de lo que Marlin puede habilitar en escenarios de aplicaciones de IA como middleware de cálculo verificable.

Resumen

En resumen, el espacio de imaginación más importante que Marlin puede aportar a AI+Web3 es como infraestructura de capa L0, capacitando a los diversos proyectos de AI para desarrollar productos y servicios de cálculo verificables nativos (es decir, como middleware de cálculo verificable).

De hecho, como componente central indispensable en la era de AI+Web3, esto es en cierto sentido la 'infraestructura' clave de la industria:

Desde la coincidencia de oferta y demanda de potencia computacional en el nivel más básico, hasta la provisión de datos por parte de las máquinas de oráculo, y luego los servicios descentralizados de front-end basados en almacenamiento distribuido, etc., básicamente se puede formar un ciclo cerrado en términos lógicos, lo que permite a los usuarios y aplicaciones obtener servicios de complemento de cálculo verificable de manera rentable y flexible, aprovechar y valorar eficazmente los datos, y sentar las bases para escenarios de aplicación diversificados.

Es evidente que en la segunda mitad del campo de juego de IA, la pista de cálculo verificable aún tiene un gran potencial de valor esperando a ser descubierto, especialmente considerando la posibilidad de combinar el concepto de 'cálculo verificable+' basado en Web3 en la cadena. Este concepto en sí mismo puede ser aún más grandioso.

No solo en IA, on-chain entretenimiento, redes sociales, juegos y casi todas las aplicaciones que se nos ocurran pueden expandir aún más el espacio imaginativo de los servicios de cálculo verificable/datos confidenciales.

Y en este proceso de construcción constante, Marlin probablemente se convertirá en la infraestructura subyacente clave para una amplia gama de aplicaciones AI+Web3 en el futuro, lo que podría representar el mayor espacio imaginativo para la computación verificable en la era de AI+Web3.