¿Qué es Succinct?

Succinct está desarrollando una infraestructura que permite a todos los desarrolladores utilizar de manera eficiente la tecnología de prueba de conocimiento cero (prueba de ZK). Actualmente, Succinct ha lanzado un zkVM SP1 de código abierto y modular, y ahora está desarrollando una red probadora descentralizada, la Red Probadora Succinct. En el futuro, esta red será capaz de ejecutar Rollups de prueba de ZK, coprocesadores y otras infraestructuras, sirviendo como un "infraestructura más avanzada para servicios de infraestructura de ZK".

¿Por qué es importante la tecnología de prueba ZK?

Las pruebas de conocimiento cero pueden proteger eficazmente la privacidad al completar el proceso de prueba. Por ejemplo, supongamos que una persona quiere proporcionar a una empresa una prueba de un informe de examen de salud sin querer difundir ni retener esos datos médicos sensibles. Al generar una prueba de conocimiento cero, el usuario puede demostrar que su estado de salud cumple con los requisitos de la empresa sin necesidad de proporcionar el informe real de datos médicos, evitando así el riesgo de fuga de privacidad.

En la hoja de ruta para la adopción masiva de la cadena de bloques, las pruebas ZK se consideran una tecnología clave crucial para el futuro de la cadena de bloques. Permiten a los desarrolladores de blockchain demostrar de forma irreversible cualquier afirmación, como la función de transición de estado de la cadena de bloques o la prueba de consenso.

Además, las pruebas ZK son sin permisos, no dependen de capital externo ni de operadores para la seguridad, son capaces de demostrar la validez de cualquier afirmación; las pruebas ZK también son eficientes, ya que solo requieren que una parte las genere y permiten que cualquiera las verifique.

Desarrollo del equipo y situación de financiamiento

Succinct fue fundada en 2022, con un equipo reducido y una oficina en San Francisco. El fundador había escrito y publicado previamente investigaciones sobre puentes ZK, interoperabilidad y pedidos compartidos. El equipo también tiene años de experiencia trabajando en los campos de plataformas de entrenamiento de modelos, plataformas de datos e IA.

Muchos de los clientes de Succinct son equipos de primer nivel en la industria. Actualmente, Wormhole, Lido, Near, Celestia (Blobstream X), Avail (puente Vector) y Gnosis (puente nativo) ya están utilizando las primeras versiones de la Red Prover desarrollada por Succinct, creando DApps de prueba de conocimiento cero que cumplen con los estándares del protocolo Succinct.

El 22 de marzo de 2024, Succinct anunció que había recibido una financiación de la Serie A de $43 millones liderada por Paradigm. Hasta la fecha, la financiación total del equipo (ronda inicial y Serie A) asciende a $55 millones, con participantes que incluyen Robot Ventures, Bankless Ventures, Geometry, ZK Validator, e inversores ángeles como el fundador de Eigenlayer, Sreeram Kannan, el cofundador de Polygon Sandeep Nailwal, el cofundador de Polygon Zero Daniel Lubarov, y el cofundador de Bitwise Elad Gil.

Fuente: Twitter del equipo del proyecto

Antecedentes del equipo de desarrollo

Uma Roy

Uma Roy es la cofundadora y CEO de Succinct. En su adolescencia, participó en las clasificatorias para la Olimpiada Matemática Junior de los Estados Unidos de América (USAJMO), que se considera una de las competiciones más prestigiosas para estudiantes de secundaria en los Estados Unidos. La USAJMO suele seleccionar a sus participantes en función del índice AMC 10, con solo 230-240 estudiantes calificando para la ronda preliminar cada año.

Uma obtuvo tanto su licenciatura como su maestría en el MIT, donde continuó su interés en la teoría de la representación (una rama del álgebra abstracta) y el álgebra cuántica que tenía en la escuela secundaria. Después de 2019, cambió su enfoque hacia las plataformas de datos e IA, comenzando un programa de residencia de un año en Google Brain AI en agosto. En 2021, se convirtió en la primera ingeniera en la startup Gantry, conocida por sus clientes de alto perfil como Duolingo, ayudándoles a desarrollar una plataforma de monitoreo de modelos de aprendizaje automático.

John Guibas

John Guibas es el cofundador de Succinct, y según Google Scholar, ha estado publicando papers desde 2017, con un recuento actual de citas de 447. En 2017, mientras aún estaba en la escuela secundaria, John recibió una subvención de IA de los inversores de renombre Nat Friedman y Daniel Gross (quienes habían invertido previamente en Figma y Stripe). Inicialmente, este proyecto proporcionaba subvenciones de investigación para apoyar la investigación prometedora de IA sin condiciones; más tarde, evolucionó hacia un acelerador que apoya a las startups de IA en etapa temprana. En ese momento, el tema en el que John y otros dos estaban trabajando ya estaba relacionado con la privacidad: investigaron cómo utilizar GANs para generar datos de entrenamiento utilizables y que protegen la privacidad.

En 2019, se inscribió en Stanford para estudiar ciencias de la computación, pasando la mayor parte de sus años universitarios en el laboratorio DAWN de Stanford y en el centro de investigación de NVIDIA, centrándose en sistemas de bases de datos y aprendizaje automático. En 2022, recibió la Beca Paradigma y abandonó la Universidad de Stanford durante su tercer año. Ese mismo año, también participó en un programa de residencia en la Fundación 0xPARC (una fundación que apoya el ecosistema de Ethereum), donde investigó la tecnología de prueba ZK.

En 2022, comenzó a colaborar con profesores y socios de investigación para desarrollar el prototipo de Succinct. Descubrieron que zkSNARKs eran muy adecuados para verificar modelos de aprendizaje automático, lo que llevó a establecer una capa de interoperabilidad sin confianza en el ecosistema de Ethereum que utiliza zkSNARKs. Entre los principales contribuyentes se encontraban Daniel Kang, Tatsu Hashimoto, Yi Sun y Matei Zaharia.

En 2023, debido a la fundación de Succinct, John recibió la prestigiosa Beca Thiel. Esta beca está disponible para personas menores de 22 años y proporciona $100,000 para explorar libremente durante dos años. Entre los beneficiarios destacados se encuentran el fundador de Ethereum, Vitalik Buterin, y el fundador de Blur/Blast, Tieshun Roquerre.

¿Qué problema resuelve Succinct?

Problema 1: La confianza ha enfrentado muchos desafíos en el espacio de Blockchain

Seguridad de los puentes entre cadenas: Los puentes entre cadenas han sido consistentemente vulnerables a ataques de piratas informáticos. Este problema de seguridad sigue sin resolverse, lo que lleva a brechas frecuentes y pérdidas de fondos en diferentes redes blockchain.

Pruebas de fraude Multisig: El lanzamiento de Blast puso de manifiesto el problema con multisig (firmas múltiples) cuando los usuarios señalaron la ausencia de pruebas de fraude en muchas soluciones de Capa 2 que la gente usa comúnmente. Esta revelación mostró que la mayoría de las plataformas de Capa 2 carecen de mecanismos para demostrar o refutar actividades fraudulentas en sus operaciones multisig.

Nodos de Validación Centralizados: En 2022, surgieron acusaciones sobre la Cadena BNB, la cual fue acusada de estar controlada por un comité seleccionado por Binance. Este comité, que se turna para producir bloques, está compuesto por 21 nodos de validación que controlan miles de millones de dólares. Estos nodos son seleccionados de entre 11 miembros controlados por Binance, lo que genera preocupaciones sobre la centralización y la posibilidad de manipulación.

Escalabilidad versus Confianza: La confianza a menudo se convierte en una víctima en la búsqueda de escalabilidad. Los mecanismos actuales de staking son ineficientes y reclutar stakers u operadores de nodos es complejo y consume mucho tiempo. Estos factores contribuyen a los altos costos que obstaculizan la escalabilidad.

Ante estos problemas, Succinct defiende el lema 'Verdad programable'. La arquitectura blockchain actual se basa en la confianza, la cual es sumamente frágil cuando se enfrenta a la naturaleza humana. Como afirma Uma, la fundadora, 'Estas estructuras se basan en la verdad criptográfica, no en la confianza' (aseguradas por la verdad criptográfica, no por la confianza). La adopción generalizada de las pruebas de conocimiento cero (ZK) se considera la única forma de lograr una nueva generación de arquitectura blockchain que sea más segura, escalable e innovadora.

Problema 2: Las Pruebas ZK son importantes pero demasiado complejas

Actualmente, la implementación de las pruebas ZK requiere una cantidad significativa de personalización. Succinct ha trabajado en numerosos proyectos de Puente ZK antes y se dio cuenta de que cada proyecto exige una personalización compleja y necesita ser desplegado repetidamente. Lo más importante, a nadie le gusta escribir circuitos ZK (los circuitos son representaciones de funciones lógicas en el contexto de las pruebas de conocimiento cero), lo cual requiere un extenso conocimiento matemático de fondo.

Durante este proceso, Succinct reconoció que la respuesta radica en zkVM (Máquina Virtual de Conocimiento Cero), lo que llevó al desarrollo de SP1. Los desarrolladores pueden implementar código Rust en producción, monitorearlo y solicitar pruebas, lo que hace que la configuración de la API sea mucho más fácil. Succinct también ofrece un navegador de pruebas incorporado que permite a los desarrolladores ver todas las pruebas y rastrear todo.

Problema 3: El dominio actual de prueba ZK está fragmentado

Este punto aborda el futuro. Creen que aunque la tecnología ZK está avanzando a un ritmo rápido, la cadena de suministro de las pruebas ZK está fragmentada y no puede mantenerse al día con los avances en la tecnología ZK.

Por lo tanto, las DApps actuales basadas en pruebas ZK requieren que los desarrolladores las implementen para necesidades específicas, lo que a menudo resulta en un uso único y una dependencia excesiva de los probadores centralizados, lo que ralentiza la velocidad de desarrollo y aumenta los costos. Integrar un diseño de implementación estandarizado en cada parte del sistema, incluidos L2, coprocesadores, Bridges, etc., requiere una infraestructura ZK más compleja. Esto es lo que la Red de Probadores Concisos actualmente en desarrollo busca lograr.

Producto y Mecanismo Operativo de Succinct

El zkVM de código abierto, SP1

Fuente: Blog oficial

El 14 de febrero de 2024, Succinct anunció el lanzamiento de SP1 en Twitter. El desarrollo de SP1 comparte algunas similitudes con la evolución de la IA. Antes de GPT-4, participar en el desarrollo de la IA requería una serie de tareas complejas: recolección de datos, limpieza de datos, entrenamiento de modelos, ajuste fino de modelos, etc., junto con la experiencia relevante. Con la llegada de GPT-4, cualquiera podría utilizar la IA llamando a la API de OpenAI.

En un sentido similar, SP1, o cualquier zkVM de código abierto avanzado, es similar al GPT-4 del mundo de la Prueba de Conocimiento Cero (ZKP). En el futuro, todos los zkRollups, zk Oracles o zkBridges podrán demostrar su código ZKP escrito en los lenguajes estándar Rust o WASM a través de zkVM, eliminando la necesidad de componer circuitos intrincados.

Anteriormente, se creía que los proyectos ZK tenían que escribir circuitos personalizados para lograr un rendimiento utilizable. Sin embargo, SP1 ha acercado el rendimiento de un zkVM de propósito general al de los circuitos ZK personalizados, haciendo eco del sentimiento de la fundadora Uma de haber dejado atrás todo el infierno de los circuitos.

SP1 proporciona numerosos paquetes y bibliotecas para que los desarrolladores puedan reutilizar, siendo su completa apertura el aspecto más significativo. Los zkVM anteriores tenían una lógica de restricción de código fuente cerrado que no podía ser modificada. En cambio, SP1 adopta una arquitectura modular que es personalizable desde el principio. Esta personalización permite a los desarrolladores agregar "precompilaciones" a la lógica central de zkVM, mejorando significativamente el rendimiento.

La importancia de ser de código abierto no puede ser exagerada. RISC Zero, un competidor clave en este campo, tiene lógica central de código cerrado; mientras que su versión compilada es de código abierto, no puede ser modificada por equipos externos. La incapacidad de Succinct para modificar RISC Zero motivó al equipo a crear un zkVM verdaderamente de código abierto, con el objetivo de tener un producto que sea personalizable, modificable por la comunidad y libre de riesgos de proveedores o plataformas.

Otra razón para el énfasis en el código abierto es que SP1 mismo fue desarrollado usando Plonky3 de Polygon Zero. Por ejemplo, la lógica de restricción de Succinct se expresa usando Air Builder de Plonky3. Plonky es una biblioteca/herramienta de componentes modulares que los desarrolladores pueden usar para construir nuevos sistemas de prueba y zkVMs, contando con una sólida comunidad de código abierto. Succinct ha utilizado Plonky2 en muchos proyectos pasados, siendo Plonky3 una versión de mayor calidad de Plonky2 que todavía se está mejorando. Incluso Succinct ha fusionado algunos PR en el upstream de Plonky3, contribuyendo a la comunidad de código abierto de Plonky.

Red de Prueba Descentralizada: Red de Probador Sucinto

La Red de Demostradores Concisos está actualmente en desarrollo. Es una red de capa de infraestructura alojada que permite a las aplicaciones descentralizadas (DApps) subcontratar sus procesos de generación de pruebas a un mercado de pruebas. Al utilizar SP1 u otros zkVM, los desarrolladores pueden implementar fácilmente sus DApps que utilizan pruebas de conocimiento cero (ZK) en la red. Además, esta red funciona como un mercado de pruebas abierto: los desarrolladores solo necesitan enviar solicitudes de prueba a la red, y un mecanismo de subasta emparejará estas solicitudes con demostradores que operan en el hardware más reciente; los demostradores también pueden ganar tarifas al generar pruebas rentables y confiables dentro de esta red abierta.

El Futuro de la Cadena de Suministro de Prueba

Cuando se genera una prueba, implica una variedad de participantes y pasos, lo que puede denominarse la cadena de suministro de pruebas. La generación de pruebas funciona de la siguiente manera: los desarrolladores solicitan una prueba, expresando su lógica utilizando un determinado sistema de pruebas, ya sea a través de circuitos o de una zkVM; luego, se genera la prueba y puede ser aggreGate.iod antes de llegar a la cadena de la DApp. En noviembre de 2023, Succinct lanzó el primer "frontend" de Succinct Prover Network: alpha.succinct.xyz. Las DApps ahora se pueden implementar a través de él. Esto representa una versión simplificada de la cadena de suministro de pruebas, ya que la propia plataforma Succinct sirve actualmente como una cadena de suministro de pruebas completa. Sin embargo, este no es un estado sostenible debido a dos razones principales: la dificultad en la fijación de precios, a medida que aumenta la complejidad de la cadena de suministro de pruebas, también lo hace la dificultad de la fijación de precios; y el hardware puede introducir complejidad en los precios, con el potencial de varios proveedores de hardware, lo que plantea la cuestión de si una DApp querría negociar con 20 proveedores de hardware diferentes para encontrar el mejor precio o capacidad.

Lo que Succinct tiene como objetivo hacer es proporcionar un espacio para que todos en la cadena de suministro de pruebas coordinen entre sí, haciendo que un mercado de red de pruebas abiertas sea un componente esencial de toda la cadena de suministro de pruebas. En el ecosistema futuro de la cadena de suministro de pruebas, dado que todas las DApps y la infraestructura heredan sin problemas los últimos sistemas de pruebas ZK y las tecnologías de hardware personalizadas dentro de la Red de Probadores Concisos, este mercado de pruebas descentralizado logrará economías de escala. Esto permite a los desarrolladores acceder a pruebas ZK eficientes y económicas (un mecanismo competitivo de mercado libre garantiza que las DApps puedan obtener los costos más bajos posibles); en el futuro, las pruebas descentralizadas pueden generarse en varios hardware, reduciendo los costos de las pruebas de 10 a 100 veces, haciendo que las pruebas ZK sean aplicables a toda la infraestructura.

Análisis competitivo

Muchos proyectos de código abierto comparten objetivos similares con SP1:

• El equipo de Andreessen, incluyendo a Justin Thaler y Sam Ragsdale, ha estado investigando Lasso y Jolt. Succinct cree que el desarrollo de estas tecnologías podría formar parte de SP1 en el futuro, y viceversa.
• Proyectos basados en el método de plegado
• Otros proyectos similares al método ZK-Stark-FRI

El equipo indica que, si es posible, la futura Red de Probador Conciso no solo admitirá SP1, sino también Lasso, Jolt o el RISC Zero de código abierto, ya que buscan una modularidad y flexibilidad completas. Esta sola aproximación puede garantizar el desarrollo rápido de la tecnología ZK de la manera más sostenible.

Muchos proyectos de código abierto comparten objetivos similares con SP1. El equipo de Andreessen, incluidos Justin Thaler y Sam Ragsdale, ha estado investigando Lasso y Jolt. Succinct cree que el desarrollo de estas tecnologías podría formar parte de SP1 en el futuro, y viceversa.

El equipo indica que, si es posible, la futura Red de Probadores Concisos no solo admitirá SP1, sino también Lasso, Jolt, o el RISC Zero de código abierto, ya que apuntan a una modularidad y flexibilidad completas. Este enfoque por sí solo puede garantizar el desarrollo rápido de la tecnología ZK de la manera más sostenible.

Conclusión

Seguridad

Actualmente, la hoja de ruta de Succinct es simplemente una infraestructura y no asume la responsabilidad de la seguridad. Fundamentalmente, es solo un método para almacenar binarios de circuitos y APIs, que pueden utilizarse para solicitar pruebas, llevar a cabo pruebas distribuidas a gran escala, y así sucesivamente. Los propios circuitos deben ser auditados, y los desarrolladores que escriben estos circuitos deben garantizar la integridad de lo que se está demostrando, no la plataforma. La dificultad de escribir y auditar circuitos aún podría representar un obstáculo para la adopción generalizada de las pruebas ZK (conocimiento cero).

Alta barrera para nodos

El software de nodo real que se ejecuta en la Red del Probador Sucinto puede ser muy limitado, dada la alta barrera para los probadores, que deben:

• Participa en subastas de prueba, ofreciendo generar una prueba a un cierto precio
• Poder descargar circuitos binarios y artefactos
• Poder ejecutarlos realmente y generar pruebas

Por lo tanto, en el futuro, Succinct podría necesitar considerar qué incentivos de red o actividades podrían fomentar la participación de probadores.