<¿Por qué falló ZK y qué quiere cambiar Sucinct> 1. Conciencia del problema El creador de Bitcoin, Satoshi Nakamoto, ha expresado su escepticismo sobre las pruebas de conocimiento cero (ZKP). "Para demostrar que algo no existe, es necesario conocer toda la transacción", dijo, y juzgó que aplicar ZKP a las cadenas de bloques es estructuralmente difícil. Sin embargo, también dijo: "Si encontramos una solución, será posible implementar Bitcoin mucho mejor, más fácil y más conveniente". En otras palabras, si bien reconocieron las limitaciones técnicas de ZK, reconocieron que si se abordaban, podrían ser un punto de inflexión importante en la evolución de blockchain. Ahora, años después, la comunidad cypherpunk y los investigadores de ZK finalmente han encontrado una solución. Zcash fue el primero en aplicar ZKP a las criptomonedas del mundo real, y proyectos como StarkWare, zkSync y Scroll han desarrollado desde entonces esta tecnología como un medio clave para mejorar la escalabilidad y verificabilidad de Ethereum. Sin embargo, todavía hay una brecha en la realidad. La creación de zkEVM requiere una gran experiencia, años de desarrollo y hardware de alto rendimiento, y la mayoría de los proyectos dependen de proveedores de pruebas específicos en lugar de operar su propia infraestructura ZKP. Como resultado, los ZKP siguieron siendo una herramienta compleja que solo unos pocos podían manejar en lugar de una "tecnología que cualquiera puede usar". 2. ¿Qué es Succinct? Succinct (@SuccinctLabs) es un intento de abordar este problema de frente. La clave es convertir los ZKP en una infraestructura que pueda ser utilizada fácilmente por todos los desarrolladores y ayudar a cualquiera a crear un "sistema sin confianza" sin la necesidad de circuitos o infraestructura complejos. Succinct es una infraestructura que transforma el ideal de un sistema "sin confianza" que blockchain ha estado persiguiendo en una realidad que realmente se puede realizar. Trustless no significa "no confiable", sino que se refiere a una estructura que opera por sí sola sin la premisa de confianza, es decir, un sistema que puede ser matemáticamente verificable sin necesidad de un tercero o autoridad central. Sin embargo, el ecosistema actual de blockchain todavía depende en gran medida de la confianza. Los hackeos de puentes, las operaciones multifirma y la delegación centralizada de validadores son prueba de que el sistema funciona solo cuando todavía confiamos en las personas y las organizaciones. Un intento de romper este límite basado en la confianza es ZKP, o tecnología de prueba de conocimiento cero. Esta tecnología, que nos permite demostrar matemáticamente que "este cálculo es correcto" sin tener que confiar en nadie, es claramente una base clave para los sistemas descentralizados. El problema era que los ZKP eran demasiado complejos y pesados para escribirlos. 3. ¿Por qué los ZKP se sintieron difíciles? La tecnología ZKP ha sido tan alta como su potencial. En particular, la creación de zkEVM requirió un equipo profesional, años de desarrollo e infraestructura costosa. La mayoría de los proyectos zk tenían que diseñar sus propios circuitos, construir zkVM dedicados e incluso operar el hardware ellos mismos. Fue solo después de pasar por todos estos procesos que pudieron llamarse a sí mismos "ZK rollups". Además, los zkVM tradicionales de propósito general han sido muy ineficientes en la generación de pruebas. Normalmente, probar un bloque requería un grupo de docenas de máquinas de alto rendimiento, y el costo alcanzaba los $ 10 ~ $ 20 por bloque. Debido a esta alta carga técnica y costos operativos, muchos proyectos han abandonado la introducción de ZKP u optado por estructuras que dependen de algunos proveedores de pruebas centralizados. 4. El intento de Succinct @SuccinctLabs considera estos problemas estructurales como "problemas de infraestructura". Los ZKP son lo suficientemente poderosos técnicamente, pero el problema es quién los implementa, cómo y a qué costo. Es por eso que Succinct está creando una red de prueba descentralizada que es fácilmente accesible para todos, sin la necesidad de que los proyectos individuales operen su propia infraestructura de prueba. Los desarrolladores no necesitan configurar zkVM complejas ni proporcionar hardware. Cuando se envía una solicitud de prueba a la red, los sondeadores con hardware diferente pujan por ella en forma de subasta para procesarla. Los costos de prueba se reducen naturalmente a través de la competencia, y los probadores generan pruebas de manera eficiente con equipos de alto rendimiento. El resultado son pruebas rápidas y baratas para los desarrolladores y una infraestructura de prueba altamente disponible y resistente a la censura para todo el ecosistema. Succinct no solo está demostrando sus posibilidades técnicas, sino también demostrando su papel en áreas donde surge una demanda real. Un ejemplo típico es el flujo de 'CLOBs on Blobs' que surgió en el ecosistema @celestia. Con la aparición de libros de pedidos descentralizados (CLOB) de alto rendimiento además del espacio de blobs de Celestia, el procesamiento de datos a gran escala y las pruebas de estado rápidas son necesidades esenciales de infraestructura. Proyectos como Hyperliquid y @hibachi_xyz están implementando transacciones complejas de libros de pedidos y lógica de descubrimiento de precios en cadena, lo que requiere escalabilidad y rendimiento más allá de simples rollups. Aquí es donde se requiere la capa de disponibilidad de datos de alto rendimiento de Celestia y la infraestructura de prueba ZK descentralizada proporcionada por Sucinct. De hecho, Celestia está experimentando un rápido aumento en la tasa de uso real del espacio de blobs, con la infraestructura ZK como Succinct contribuyendo silenciosamente detrás de él. Si Celestia proporciona un "almacén de datos verificable", Succinct es responsable de crear una "transición de estado verificable" sobre esos datos. Esta combinación es el punto de partida para que la tecnología ZKP vaya más allá de las teorías abstractas a los sistemas del mundo real. 5. zkEVM, SP1 y SP1 Reth que pueden ser manejados por cualquier persona Succinct, que resolvió la accesibilidad de la infraestructura de esta manera, desarrolló una zkVM de código abierto llamada SP1 (Succinct Processor 1) para reducir la barrera de entrada para las propias zkVM. SP1 es un zkVM de propósito general implementado en Rust, diseñado para ser utilizado directamente por cualquier persona sin la necesidad de un diseño de circuito complejo como los zkEVM tradicionales. Un ejemplo temprano del potencial de SP1 es SP1 Reth. SP1 Reth es un zkEVM de tipo 1 implementado con solo unas 2,000 líneas de código Rust, y se construye fácilmente reutilizando componentes del ecosistema de clientes Ethereum existente (Reth, Revm, Alloy, etc.). Lo que es aún más sorprendente es su rendimiento. SP1 Reth tiene un costo de prueba promedio por transacción de Ethereum de solo $ 0.01 ~ 0.02, que es más bajo que los costos comunes de disponibilidad de datos en L2. Este rendimiento es posible gracias al sistema de 'precompilación' de SP1. Las operaciones computacionalmente intensivas, como las funciones hash y la verificación de firmas, se manejan con una estructura preoptimizada, lo que reduce significativamente los recursos consumidos por las zkVM. Hasta ahora, la implementación de zkEVM con zkVM ha costado hasta $ 10 ~ 20 por bloque, pero SP1 Reth ha logrado reducir esto a un solo dígito. Tanto SP1 como SP1 Reth son completamente de código abierto, y cualquiera puede bifurcarlos para crear su propio zkEVM o agregar precompilaciones para mejorar el rendimiento. Este es un cambio que anula por completo el entorno de desarrollo zk existente de alto costo y alta dificultad, y abre una era en la que cualquier desarrollador de Rust puede participar en el sistema zk. 6. Después de todo, ZK ahora está disponible para todos Succinct no solo trata sobre el potencial técnico de la tecnología ZKP, sino también sobre la pieza final del rompecabezas: accesibilidad y practicidad. Sin circuitos complejos ni hardware dedicado, cualquiera puede crear aplicaciones utilizando ZKP, y la prueba es manejada por una red descentralizada. Una era en la que todos los rollups pueden ser ZK rollups, y el Internet que funciona solo con la verdad. En ese punto de partida están Succinct y SP1. Ahora, los ZKP son la tecnología de todos, no de algunos.