Las pruebas de conocimiento cero (ZKPs) son una forma poderosa de demostrar que algo es verdadero sin revelar los detalles detrás de ello. Se utilizan en todo, desde blockchains hasta herramientas de privacidad, pero generar estas pruebas generalmente requiere hardware costoso y un profundo conocimiento de la criptografía.
Succinct está construyendo un protocolo en Ethereum que facilita este proceso. En lugar de construir infraestructura personalizada desde cero, los desarrolladores pueden solicitar pruebas de una red compartida de provedores. Esto facilita la integración de ZKPs en aplicaciones como rollups, puentes, agentes de IA y juegos sin necesidad de hardware especializado o conocimientos criptográficos avanzados.
¿Qué es Succinct?
Succinct está construyendo una red de prover descentralizada que cualquiera puede usar para solicitar y generar ZKPs. La red sirve como un mercado donde los desarrolladores y aplicaciones pueden enviar solicitudes de prueba, y los provers independientes compiten para generar esas pruebas a cambio de recompensas.
La red funciona como una aplicación verificable (vApp), lo que significa que está diseñada para sentirse como una aplicación web rápida y receptiva, pero todo lo que está bajo el capó es criptográficamente seguro y verificable en la cadena.
Procesador Conciso 1 (SP1)
SP1, abreviatura de Procesador Conciso 1, es una máquina virtual de conocimiento cero de propósito general (zkVM) desarrollada por Succinct Labs. Su objetivo es hacer que la generación de pruebas de conocimiento cero sea más accesible y amigable para los desarrolladores.
En lugar de tener que escribir circuitos criptográficos complejos, los desarrolladores pueden usar lenguajes de programación que ya conocen, como Rust o C++. Después de escribir su programa, los desarrolladores pueden compilarlo y enviarlo a través de SP1. Los provers en la red Succinct ejecutarían entonces el programa y generarían una prueba verificable de que todo se ejecutó correctamente sin exponer ninguno de los datos.
Al eliminar la necesidad de pilas ZK personalizadas, SP1 ayuda a llevar ZKPs a más aplicaciones del mundo real como herramientas de inteligencia artificial (IA), juegos e infraestructura descentralizada.
Cómo Funciona la Red de Provas Concisas
Un mercado de dos lados
La red de prover concisa es un protocolo descentralizado que conecta dos grupos:
Solicitantes: Desarrolladores o aplicaciones que necesitan pruebas ZK.
Provers: Participantes independientes que generan pruebas ZK.
Cuando alguien necesita una prueba ZK, envía una solicitud a la red. Los provers competirán y pujarán por asumir el trabajo, ofreciendo el mejor precio o el tiempo de respuesta más rápido.
Fuera de cadena: El subastador
La coincidencia entre solicitantes y provers ocurre fuera de cadena, a través de un sistema llamado el subastador. Todo sucede a través de rápidas llamadas de Procedimiento Remoto (RPC), por lo que no hay espera para que los bloques se confirmen o lidiar con interacciones lentas en cadena. Eso es lo que hace que la experiencia sea rápida y receptiva, ya que los provers pueden ver las solicitudes de prueba enviadas de inmediato y comenzar a pujar de inmediato.
En cadena: liquidación de Ethereum
A pesar de que toda la coincidencia y puja ocurre fuera de cadena, todo se liquida y verifica en Ethereum. El subastador envía regularmente ZKPs que muestran que todo se manejó correctamente, desde quién ganó la puja hasta cómo se generó la prueba. Todos los fondos permanecen aseguradamente bloqueados en contratos inteligentes de Ethereum, por lo que nadie tiene custodia de tu dinero y puedes retirarlo en cualquier momento.
Esta separación entre ejecución (fuera de cadena) y liquidación (en cadena) es central para la arquitectura de Succinct. Permite a los usuarios disfrutar de la velocidad de una aplicación web moderna mientras se benefician de la transparencia y las garantías de confianza de Ethereum.
Arquitectura de backend
La arquitectura de backend está diseñada para que cualquiera pueda verificar independientemente lo que está sucediendo en la red.
El subastador mantiene un registro transparente de los saldos de los usuarios, solicitudes de prueba y trabajos completados. Para asegurar que todo se pueda verificar, crea pruebas de Merkle para cada lectura y escritura, y las publica regularmente en Ethereum para que cualquiera pueda verificar que los datos son precisos.
Hay un servicio de prover dedicado que lee de esta base de datos y utiliza SP1 para generar un ZKP del nuevo estado de la red. Esto incluye cambios de saldo, asignaciones de trabajo y entregas de pruebas. Estas pruebas se publican regularmente en Ethereum, permitiendo a cualquier persona verificar que la red está funcionando correctamente incluso sin confiar en el subastador mismo.
Casos de Uso de Succinct
La Red de Provas Concisas puede soportar una amplia gama de aplicaciones blockchain y fuera de cadena al hacer que la generación de ZKP sea accesible y eficiente. Algunas áreas clave incluyen:
Puentes entre cadenas: Verificando datos o mensajes de una blockchain en otra sin depender de un intermediario confiable.
ZK-rollups: Ayudando a los rollups a escalar de manera más eficiente al descargar la generación de pruebas a una red descentralizada de provers.
Cálculo verificable: Demostrando que los procesos fuera de cadena (como inferencia de IA, simulaciones o cálculos financieros) se ejecutaron correctamente y no han sido manipulados.
Clientes ligeros: Permitindo que nodos blockchain livianos verifiquen datos en cadena usando pruebas ZK compactas en lugar de descargar toda la historia de la blockchain.
El Token PROVE
El token PROVE es un token ERC-20 emitido en Ethereum y el token de utilidad nativo del protocolo Succinct. El token se puede usar para una variedad de propósitos, incluyendo:
Pago: PROVE se utiliza para pagar la generación de pruebas. Cuando los rollups, puentes o DApps envían solicitudes de prueba a la red, pagan a los provers en PROVE.
Staking: Los provers pueden apostar PROVE para unirse a subastas y ganar trabajos. Cuanto más apuesten, más solicitudes pueden manejar. Pero si no logran entregar o presentan una prueba defectuosa, parte de su apuesta puede ser penalizada.
Delegación: Los poseedores de tokens pueden delegar su PROVE a los provers y pueden ganar una parte de las ganancias del prover. La fundación Succinct ofrece recompensas adicionales por staking para fomentar la participación temprana.
Gobernanza: Al inicio, un consejo de seguridad gestiona las actualizaciones. Con el tiempo, la gobernanza se trasladará completamente a la cadena, y los poseedores de PROVE votarán sobre cambios en el protocolo, decisiones de financiamiento y parámetros de la red.
Conciso (PROVE) en Airdrops de HODLer de Binance
El 5 de agosto de 2025, Binance anunció PROVE como el 31º proyecto en los Airdrops de HODLer de Binance. Los usuarios que suscribieron su BNB a productos de Ganancias Simples y/o Rendimientos en Cadena del 9 al 12 de julio eran elegibles para recibir airdrops de PROVE. Se asignaron un total de 15 millones de tokens PROVE al programa, lo que representa el 1.50% del suministro total de tokens.
