La prueba de conocimiento cero nació en 1985, y durante los últimos 40 años, ha sido objeto de burlas como una técnica misteriosa de "matemáticas lunares", pero ahora ha salido del laboratorio y se encuentra en la vanguardia de la economía digital. Al revisar la trayectoria de desarrollo de toda la pista de ZK, se puede llegar a una conclusión clara: ZK ya no es un parche de privacidad opcional, sino la base de confianza de la próxima generación de Internet. Este año han surgido muchos proyectos relacionados con ZK, y los hermanos probablemente los clasificarán como proyectos de la pista de ZK, pero quiero decir que su segmentación es más precisa de lo que imaginamos. Tomando como referencia el ciclo de vida de generación de pruebas → verificación en lote → confirmación en varias cadenas, Sunccinct y Boundless se centran en la etapa de generación de pruebas, sin embargo, esta pista aún enfrenta un problema estructural, que es el cuello de botella de la verificación. Recientemente, he estado observando zkVerify @ZKVProtocol, que ha proporcionado algunas soluciones en este aspecto. zkVerify es un proyecto lanzado por @HorizenLabs, que lanzó la primera cadena de aplicaciones de privacidad en el ecosistema Base, y zkVerify es la primera cadena de verificación de pruebas dedicada. ¿Y qué significa la eficiencia de verificación? Es como la fábrica de BMW en Tiexi, Shenyang; aunque la capacidad de producción es impresionante, la logística no puede seguir el ritmo, por lo que no pueden entregar rápidamente los modelos 3 y 5 a los usuarios. Al final, construyeron un ferrocarril directo desde la fábrica hasta el puerto. Para la pista de ZK, también se necesita un "sistema logístico" que mejore la productividad. Si solo se habla de conceptos, la gente puede no entender cuán graves son los problemas de rendimiento que enfrenta la verificación. Para ponerlo en perspectiva, en Ethereum, verificar una prueba Gorth16 puede costar hasta 60U en picos, y en 2024, el protocolo ZK ha consumido 55 millones de Gas en Ethereum. Lo peor es que Ethereum solo puede procesar un máximo de 15 verificaciones de pruebas por segundo, así que, ¿cómo puede esto permitir el desarrollo de la industria? zkVerify, como la primera cadena de verificación de pruebas dedicada en el mundo, a través de la compatibilidad, admite múltiples sistemas de pruebas como STARKs, Plonky2 y SP1, y puede reducir los costos en un 90%. Su diseño más fundamental es desacoplar la generación de pruebas de la verificación de pruebas; este diseño realmente está hecho para el ecosistema ZK actual. En el futuro, aquellos que se especialicen en la generación de pruebas pueden hacerlo, y los que se encarguen de la verificación pueden concentrarse en eso. Como un nuevo sistema de verificación, zkVerify también está explorando una narrativa más amplia, que es la fusión de AI x ZK. Actualmente, hay muchos proyectos que hablan de AI, y creo que un aspecto muy valioso de zkVerify es que valoran mucho a la comunidad de desarrolladores, realmente están haciendo cosas concretas. He revisado su contenido de actualizaciones en blogs y YouTube durante el último año, y han compartido muchas historias de colaboración, lo que muestra cómo han ido construyendo paso a paso. La próxima semana, el 30 de septiembre, tendrán su TGE, y desde la economía de tokens también se puede ver la intención del equipo; todos los costos de verificación generados por el proyecto se pagarán con $VFY, y la participación de la comunidad es del 37.31%, que es la más alta. Aún hay oportunidades para participar; han creado un juego llamado ZK Space Invaders, y las recompensas del juego se pueden canjear por el token principal $VFY el día del TGE. Como una cadena de pruebas dedicada diseñada para la verificación y los modelos de AI, si comparamos Succinct y Boundless con las centrales eléctricas de ZK, creo que zkVerify es la red eléctrica de ZK, que realmente abrirá el techo hacia arriba de ZK.