Si has pasado tiempo en círculos de blockchain o criptografía, probablemente has oído el zumbido alrededor de las pruebas de conocimiento cero (ZKPs). Son un ingenioso pedazo de matemáticas que te permite probar que algo es cierto sin mostrar por qué es cierto, como probar que conoces la contraseña sin tener que escribirla frente a alguien.
Los ZKPs pueden potenciar la privacidad, la seguridad y la escalabilidad en Web3. Pero aquí está la trampa: generar estas pruebas ha sido tradicionalmente doloroso: es lento, caro y a menudo requiere un entendimiento a nivel de doctorado de la criptografía.$PROVE
@Succinct Labs, una pequeña pero bien financiada startup de Silicon Valley, quiere cambiar eso. Fundada en 2022 por Uma Roy y un equipo de veteranos en criptografía, han recaudado 55 millones de Paradigm y otros grandes inversores para hacer que los ZKPs sean fáciles de usar, rápidos de generar y, lo más importante, disponibles para cualquiera.
Su enfoque se reduce a dos innovaciones principales:
1. Una Red de Proveedores descentralizada: un mercado global y abierto donde cualquiera puede solicitar o generar pruebas ZK
2. SP1, una máquina virtual de conocimiento cero (zkVM) de alto rendimiento y propósito general que puede probar la ejecución de cualquier programa
Ponlos juntos y obtienes algo como la computación en la nube para pruebas, excepto que en lugar de confiar en Amazon o Google, estás accediendo a una red descentralizada que está incentivada a ser rápida, barata y honesta.
El Gran Problema: Las Pruebas ZK Son Poderosas pero Dolorosas
Las pruebas de conocimiento cero han existido durante décadas, pero hasta hace poco, eran principalmente juguetes académicos. En blockchain, ahora se utilizan para:
Escalabilidad (zkRollups en Ethereum)
Privacidad (transacciones protegidas)
Puentes (verificando eventos entre cadenas sin confiar en intermediarios)
¿La trampa? Para usar ZKPs, debes:
Contrata un raro y costoso equipo de ingeniería ZK para diseñar circuitos personalizados para tu lógica
Configura y mantiene tus propios servidores de alto rendimiento con GPU o FPGAs para generar pruebas
O paga a un servicio centralizado para que lo haga por ti y espera que no se desconecten
@Succinct la apuesta es simple: ¿y si la generación de pruebas fuera tan fácil de externalizar como el almacenamiento de archivos o el poder de cómputo? Ahí es donde entra su Red de Proveedores.
La Red de Proveedores Succinct — Pruebas a Pedido
Piensa en la Red de Proveedores como un mercado para matemáticas.
Por un lado, tienes a los solicitantes: proyectos, aplicaciones o blockchains que necesitan pruebas. Por el otro lado, tienes a los proveedores: personas u organizaciones que ejecutan hardware de alta capacidad que pueden generar esas pruebas.
Así es como funciona:
1. Un solicitante envía un trabajo: Necesito una prueba de que este programa se ejecutó correctamente, y pagaré X tokens
2. Los probadores pujan para hacer el trabajo: compitiendo en precio y velocidad
3. El ganador genera la prueba, la envía de vuelta y recibe el pago
4. Si fallan o hacen trampa, pierden su participación mantenida en el token PROVE de la red
Es sin permiso: cualquier persona con el hardware adecuado puede unirse como un probador; y es descentralizado, por lo que ninguna empresa controla quién puede probar qué. Los trabajos se emparejan mediante una subasta automatizada, no un guardián central.
El diseño tiene algunos efectos secundarios agradables:
Costos más bajos: la competencia reduce los precios
Tiempo de respuesta más rápido: los proveedores se optimizan para ganar trabajos
Fiabilidad: si un proveedor desaparece, otro puede intervenir
Sin dolor de configuración: los solicitantes no necesitan ejecutar ningún hardware de prueba
En resumen, es como AWS para pruebas ZK, excepto que AWS es reemplazado por un grupo de operadores independientes compitiendo para servirte primero.
SP1 — La zkVM que Prueba Cualquier Cosa
Si la Red de Proveedores es el mercado, SP1 es el motor. Es la máquina virtual de conocimiento cero personalizada de Succinct que puede ejecutar cualquier programa compilado en la arquitectura RISC-V y generar una prueba de su ejecución.$PROVE
¿Por qué es importante? La mayoría de los sistemas ZK son especializados: un zkEVM puede probar transacciones de Ethereum, pero no un modelo de IA personalizado o un motor de juego. SP1 es de propósito general. Si puedes escribirlo en Rust o C++, SP1 puede probarlo. Eso significa:
Sin aprender lenguajes ZK exóticos
Sin necesidad de crear circuitos criptográficos a mano
Sin ciclos de desarrollo de meses solo para obtener una prueba
Y es rápido. Realmente rápido. Evaluaciones independientes muestran que SP1 prueba ciertos programas hasta 28 veces más rápido que zkVMs comparables. Está lleno de optimizaciones para operaciones criptográficas comunes como el hashing, las verificaciones de firma y las curvas elípticas, y puede incluso aprovechar las GPU o FPGAs para grandes aumentos de velocidad.
Lo mejor de todo, SP1 es de código abierto y auditado, por lo que los desarrolladores pueden inspeccionarlo, confiar en él e incluso mejorarlo.
Por qué Funcionan Tan Bien Juntos
Aquí está la magia:
SP1 facilita la escritura de programas que se pueden probar
La Red de Proveedores facilita la generación de esas pruebas a gran escala, sin ejecutar tu propia infraestructura
Para un desarrollador, el flujo es simple:
1. Escribe tu lógica en código normal
2. Compila a SP1
3. Enviar solicitudes de prueba a la red
4. Recibe de vuelta una prueba que puedes verificar en la cadena o en cualquier otro lugar
No se necesita un doctorado en criptografía. No hay granja de GPU en tu garaje. Solo pruebas funcionales.
Prueba del Mundo Real
El enfoque de Succinct no es solo teoría: ya está en producción:
La Red de Mantle está en transición de un Optimistic Rollup a un zkRollup impulsado por Succinct
El puente de Cosmos a Ethereum ahora utiliza las pruebas de Succinct para conectar más de 120 cadenas
World Chain del equipo de Worldcoin utiliza Succinct para reducir la finalización de transacciones de 7 días a 1 hora
Galxe utiliza SP1 para probar que las rifas en la cadena son justas
Los proyectos de hackathon incluso han utilizado SP1 para probar ediciones de imágenes en un navegador
Estos son casos de uso muy diferentes, pero todos se basan en la misma infraestructura básica: prueba de propósito general más un mercado descentralizado para ejecutarla.
Cómo se compara
En comparación con otros esfuerzos ZK, Succinct se destaca por algunas razones:
De propósito general: no bloqueado a una blockchain o tipo de transacción
Proveedores descentralizados: no hay un único punto de fallo o control
Eficiencia impulsada por el mercado: las subastas mantienen los precios bajos y las velocidades altas
Amigable para desarrolladores: escribe en Rust o C++, no necesitas aprender nuevos lenguajes
Probado en batalla: ya está alimentando sistemas en vivo a gran escala
El Panorama Más Amplio
@Succinct Labs no solo está construyendo otra herramienta de blockchain, están construyendo una capa de infraestructura para computación sin confianza. Si tienen éxito, las pruebas ZK podrían pasar de ser un nicho exótico a una parte cotidiana del software, al igual que los certificados SSL lo hicieron para la seguridad web.
Al hacer que las pruebas sean fáciles de escribir con SP1 y fáciles de ejecutar con la Red de Proveedores, están bajando la barrera para que cualquier desarrollador pueda construir sistemas verificables. Y lo están haciendo sin sacrificar la descentralización, el rendimiento o la apertura.
A largo plazo, eso podría significar una web donde nunca tengas que tomar la palabra de alguien: puedes simplemente verificar la prueba.
