Enlace de origen: https://x.com/Zypher_Network/status/1871383005505396853
Desde Goth16 hasta Plonk, toda la industria zk ha estado trabajando para diseñar sistemas de pruebas más eficientes. Sin embargo, cómo evaluar objetivamente el rendimiento de un sistema de pruebas zk siempre ha sido un problema complejo, ya que no hay un estándar de pruebas unificado en este momento. En julio de este año, StareWare lanzó el sistema de pruebas de próxima generación Stwo, que al introducir el indicador de Pruebas de Hash por Segundo (HPPS), puede medir visualmente el rendimiento del sistema. Las pruebas indican que Stwo puede verificar 620,000 hashes Poseidon2 por segundo en una computadora portátil M3, siendo considerado en su momento como el sistema de pruebas más rápido. Sin embargo, este récord fue superado rápidamente. En agosto, Expander publicó su último informe de referencia, afirmando que en una máquina AMD Ryzen 7950X3D, la capacidad de Expander alcanzó hasta 2,160,000 HHPS, superando con creces los 960,000 HHPS de Stwo, convirtiéndose así en el probador más rápido del mundo.
Zypher Network es una plataforma de juegos de cadena completa impulsada por Agentes de IA y tecnología ZKP, que se centra constantemente en el desarrollo de la industria y busca activamente introducir sistemas de pruebas eficientes. Los sistemas de pruebas más eficientes no solo pueden mejorar significativamente la experiencia del usuario, sino que también ofrecen infinitas posibilidades para construir aplicaciones descentralizadas de alto rendimiento en la cadena. Actualmente, estamos colaborando con los creadores de Expander, Polyhedra Network, para explorar activamente el uso de Expander para crear infraestructuras descentralizadas de próxima generación en la cadena, inyectando innovación continua en el ecosistema de juegos de cadena completa. Como líder en el campo de la investigación y aplicación de conocimiento cero, Polyhedra ha construido la tecnología base de confianza y escalabilidad en sistemas de IA y blockchain a través de su EXPchainLayer1. Aprovechando la eficiencia de Expander, han logrado una IA verificable en la cadena, brindando nuevas posibilidades y soluciones para el desarrollo de la industria.
¿Qué es Expander?
La mayoría de los SNARK utilizan polinomios univariables, lo que está determinado principalmente por su esquema de compromiso polinómico subyacente (como KZG, FRI), y el compromiso polinómico suele ser el principal cuello de botella en el rendimiento de SNARK. En los últimos años, han surgido nuevos sistemas de pruebas, como los esquemas basados en GKR+sumcheck, que utilizan de manera ingeniosa polinomios multivariables, reduciendo significativamente la complejidad del probador.
El protocolo GKR fue propuesto en 2008 y mejorado posteriormente por Libra, presentando el primer esquema de prueba de conocimiento cero con un tiempo de probador lineal estricto. Sobre esta base, el autor de Libra, el equipo de Polyhedra, desarrolló el sistema de pruebas Expander. Este sistema combina el eficiente protocolo GKR con un esquema de compromiso polinómico basado en polinomios multivariables (como Orion y Brakedown), lo que hace que los cálculos del probador solo involucren operaciones de hash y de campo que tienen una relación lineal con el tamaño del polinomio. Este sistema de pruebas no requiere operaciones FFT, lo que permite el uso de campos más pequeños que son actualmente populares, lo que también significa que el costo del probador es menor y hay mejor compatibilidad con el hardware. Expander actualmente soporta principalmente los siguientes campos:
La escritura de circuitos GKR es relativamente compleja, por lo que Expander ofrece un compilador de circuitos ECC, que permite convertir circuitos escritos en gnark en circuitos jerárquicos y luego usar el probador de Expander para la prueba, todo el proceso de desarrollo se ilustra en la siguiente imagen:
Profundizando en el protocolo GKR
El flujo completo del protocolo es el siguiente, donde:
Soluciones Zypher
Expander muestra un rendimiento superior, especialmente en el campo de la IA. Se ha informado que Expander puede utilizar CPU de alto rendimiento para generar rápidamente pruebas para el modelo Llama-3 con 8 mil millones de parámetros en unos pocos minutos, un logro emocionante que también allana el camino para la aplicación de Agentes de IA. Zypher Network es una plataforma de juegos de cadena completa impulsada por Agentes de IA y tecnología ZKP, que utiliza Agentes de IA para crear personajes no jugadores inteligentes, oponentes y poderosos jefes de juego, realizar entrenamiento diario de personajes y facilitar combates PvP automatizados, entre otras cosas.
Gracias a Expander, Zypher puede, por un lado, lograr Agentes de IA más complejos y prácticos y generar pruebas más rápidamente con menos recursos computacionales; por otro lado, Zypher puede validar de manera más eficiente el comportamiento de los agentes de IA y los jugadores, asegurando la seguridad y equidad del sistema, elevando así los juegos descentralizados en la cadena a un nuevo nivel y brindando una experiencia de usuario de mayor calidad.