<¿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. ...