Las pruebas de conocimiento cero (ZKPs) son una de esas tecnologías que suenan como magia: te permiten demostrar que algo es verdadero sin revelar todos los detalles. Pueden asegurar blockchains, verificar cálculos e incluso proteger la privacidad en línea. Pero la magia a menudo viene con una trampa: son notoriamente difíciles de usar. Configurar la infraestructura, contratar expertos en criptografía y construir sistemas de prueba personalizados ha estado fuera del alcance de la mayoría de los equipos.$PROVE
@Succinct Labs, una pequeña startup de San Francisco, quiere cambiar eso. Su propuesta es refrescantemente simple: ¿qué pasaría si usar pruebas de conocimiento cero fuera tan fácil como ejecutar software en tu laptop o llamar a una API en la nube?
Para que eso suceda, han construido dos cosas clave: un zkVM potente llamado SP1 y una Red de Pruebas descentralizada a la que cualquiera puede acceder. Juntas, estas herramientas tienen como objetivo democratizar ZK, moviéndolo de criptógrafos de nicho a desarrolladores cotidianos.
SP1: Un zkVM que se siente familiar.
La mayoría de los sistemas de conocimiento cero obligan a los desarrolladores a pensar como criptógrafos. Tienes que diseñar circuitos, aprender lenguajes especiales y optimizar para restricciones de las que nunca has oído hablar. SP1 (abreviatura de Succinct Prover 1) invierte ese modelo.
En lugar de reescribir todo, solo escribes tu código en Rust, C++ o cualquier lenguaje que compile a RISC-V. SP1 se encarga de eso, ejecutando tu programa y generando una prueba de conocimiento cero.
Es como si alguien le entregara a los desarrolladores el equivalente a un compilador para pruebas. No necesitas saber cómo funciona el motor por dentro: solo escribes código y el sistema garantiza que la salida sea verificable.
Y no solo es accesible, es rápido. Las pruebas muestran que SP1 puede ser decenas de veces más rápido que los zkVM anteriores. El sistema también admite características avanzadas como la recursión (pruebas dentro de pruebas) y tiene módulos preconstruidos optimizados para operaciones criptográficas comunes como hashing y curvas elípticas.
Es importante destacar que SP1 es de código abierto y auditado, por lo que no es una caja negra. Equipos como Celestia, Mantle, Polygon y Lido ya están construyendo productos reales con él.
La Red de Pruebas: ZK como Servicio
Incluso con SP1, ejecutar cálculos de prueba pesados en tus propios servidores puede ser abrumador. Ahí es donde entra la Red de Provas de Succinct.
Piensa en ello como un mercado descentralizado para pruebas. Los desarrolladores envían trabajos (programas más entradas), y los probadores independientes pujan por la oportunidad de generar la prueba. El probador ganador utiliza SP1, presenta el resultado y recibe un pago.
¿Por qué importa esto? Porque los desarrolladores no necesitan hardware especializado, granjas de GPU o criptógrafos en el personal. Simplemente se conectan a la red, y bajo el capó, las pruebas se procesan en GPUs, FPGAs y otras máquinas de alto rendimiento.
La red misma está coordinada por contratos inteligentes de Ethereum. Los pagos, el staking y la verificación ocurren de manera transparente en la cadena. Los probadores apuestan un token llamado PROVE para participar, alineando incentivos y asegurando la seguridad.
En la práctica, este diseño significa:
Finalización más rápida: World Chain redujo los tiempos de finalización de siete días a aproximadamente una hora.
Costos más bajos: Las pruebas agregadas reducen las tarifas de gas para la verificación.
Fiabilidad: Múltiples probadores compiten, por lo que la disponibilidad se mantiene alta.
A partir de 2025, la red ya ha manejado más de 5 millones de pruebas, asegurando más de 4 mil millones de dólares en valor. Eso no es una demostración de testnet, eso es a escala de producción.
Por qué esta arquitectura funciona.
El enfoque de Succinct se siente fresco porque toma lo mejor de ambos mundos.
Fuera de cadena: Todo el trabajo pesado (ejecutar SP1, procesar pruebas) ocurre rápidamente en hardware especializado.
En cadena: El asentamiento, los pagos y la verificación se registran en Ethereum, con pruebas de SP1 que garantizan que todo sea auditable.
Incluso la contabilidad de la red está probada: saldos, asignaciones de trabajo y pagos se implementan como aplicaciones verificables en RISC-V. En otras palabras, la red se prueba a sí misma.
Ese diseño recursivo y autónomo es lo que le da a Succinct su credibilidad. Los desarrolladores no tienen que confiar en los servidores de Succinct: pueden verificar las matemáticas ellos mismos.
Casos de uso en el mundo real.
Debido a que SP1 es de propósito general, el rango de casos de uso es amplio:
Escalando blockchains: Mantle y otros rollups están utilizando SP1 para convertirse en zkRollups, reduciendo drásticamente los tiempos de confirmación.
Puentes entre cadenas: Succinct impulsó IBC Eureka, conectando más de 120 cadenas de Cosmos con Ethereum.
Aplicaciones de interoperabilidad: Una asociación con LayerZero introdujo vApps que combinan mensajería entre cadenas con pruebas.
DeFi y trading: Proyectos utilizan SP1 para oráculos y libros de órdenes en cadena.
Identidad y privacidad: Desde sorteos verificables hasta votaciones privadas, SP1 apoya aplicaciones ligeras que preservan la privacidad.
Clientes livianos: Clientes de blockchain completos (como Tendermint) pueden ser probados de manera concisa, lo que permite billeteras móviles seguras.
El tema es consistente: en lugar de reinventar ZK para cada proyecto, los desarrolladores pueden simplemente conectarse a SP1 y a la Red de Provas.
Momentum de adopción.
Succinct no es solo teoría: está ganando tracción rápidamente.
Arbitrum: Un acuerdo exclusivo de un año con Tandem (Offchain Labs) para llevar ZK a las cadenas de Arbitrum.
OP Stack: La cadena de Worldcoin usó SP1 para reducir la finalización a una hora. Otros proyectos de OP Stack están experimentando con configuraciones similares.
Polygon, Celestia, Lido, Near, Avail: Todos construyendo o experimentando con SP1.
Socios de hardware: Equipos como Cysic y ZAN se están uniendo a la red, con ZAN mostrando 20x mejoras de velocidad usando FPGAs.
En paralelo, Succinct lanzó la Fundación Succinct, que ahora trabaja con casi 40 protocolos para financiar y hacer crecer el ecosistema.
Cómo se destaca.
En comparación con zkSync, Polygon zkEVM o StarkWare, Succinct se trata menos de poseer una cadena y más de ser la capa de prueba universal. Mientras que otros se optimizan específicamente para Ethereum, el zkVM RISC-V de Succinct puede manejar cualquier programa, en cualquier cadena.
Ese enfoque de propósito general es por qué sus socios van desde rollups L2 hasta proyectos de IA. No está atado a un ecosistema: es una plataforma de prueba neutral.
Equipo, financiamiento y visión.
Succinct Labs fue fundada por Uma Roy (ex-Google Brain) y John Guibas (con antecedentes en el MIT). El equipo sigue siendo pequeño: menos de diez ingenieros, pero han recaudado alrededor de 66 millones de dólares en rondas de semillas y Series A lideradas por Paradigm, con apoyo de ángeles de grandes nombres en cripto.
Su visión es sencilla pero ambiciosa: llevar ZK a la corriente principal haciéndolo sentir como computación en la nube. La CEO Uma Roy lo expresa simplemente: las pruebas se convertirán en la forma estándar en que internet establece confianza. El CTO John Guibas llama a la infraestructura de la Red de Pruebas a escala de internet.
Por qué importa.
@Succinct está abordando un problema difícil pero crítico: convertir las pruebas de conocimiento cero de una herramienta especializada de criptógrafos en infraestructura cotidiana. Al combinar SP1 (el zkVM que hace que las pruebas sean accesibles) con la Red de Provas (el mercado que hace que las pruebas sean escalables), están construyendo una nueva cadena de suministro de pruebas.
Si tienen éxito, los desarrolladores no tendrán que pensar en ZK en absoluto: solo escribirán código, lo ejecutarán y recibirán una prueba en la que el mundo puede confiar.
Ese es un gran cambio. Y podría hacer que Succinct no sea solo otro proyecto de blockchain, sino la capa de prueba para el propio internet.
