Hoja de ruta de SNARKtor: Construyendo el futuro de la agregación escalable de pruebas

Desde la publicación del whitepaper SN ARKtor en febrero de 2024, el equipo de Telos se ha centrado en convertirlo en un protocolo de vanguardia que escala zk-SNARKs (Zero-Knowledge Succinct Non-Interactive Arguments of Knowledge) a través de los ecosistemas blockchain. SNARKtor introduce un nuevo estándar en la agregación de pruebas, desbloqueando una mayor escalabilidad, rentabilidad y privacidad. Al consolidar múltiples pruebas en una sola entidad, transforma la forma en que se construyen, optimizan y gestionan las aplicaciones descentralizadas (dApps ).

Esta hoja de ruta esboza los principales hitos en el desarrollo de SNARKtor, marcando cada fase un paso crítico hacia adelante. Dado el carácter exploratorio de este proyecto, la hoja de ruta ofrece un marco flexible en lugar de un plan rígido, que evoluciona a medida que adquirimos conocimientos y afrontamos nuevos retos en el camino.

Hito 1: Lanzamiento fundacional

Fecha de vencimiento: Noviembre 2024

El objetivo principal del primer hito es convertir la prueba de concepto existente en una versión funcional que demuestre el potencial de SNARKtor, con la posibilidad de probar integraciones con socios clave.

Uno de los principales objetivos de esta fase es implantar una gestión básica de las tarifas de los usuarios que permita realizar pruebas en situaciones reales, como la agregación de pruebas de rollups. Además, se introducirá la agregación multimáquina para lograr un mayor rendimiento y garantizar que el sistema pueda ampliarse de forma eficiente.

Desde la perspectiva del sistema de pruebas, finalizaremos el soporte del campo Babybear en Plonky2 Goldibear, para evitar depender de costosas envolturas de pruebas y aprovechar las implementaciones más optimizadas de Plonky3.

Hito 2: Ampliación e integración de protocolos

Fecha de vencimiento: Febrero 2025

El Hito 2 se centra en ampliar el protocolo central de SNARKtor en dos áreas clave: gestión de horarios y seguimiento de estados, e integración con sistemas de pruebas ZK externos.

El primer objetivo es ampliar la funcionalidad básica del protocolo, haciendo especial hincapié en la gestión de los horarios y el seguimiento del estado dinámico de cada actor. 

El segundo objetivo es integrar SNARKtor con Polygon Hermez ZK EVM, permitiendo que las pruebas zkEVM de Polygon se agreguen a través de SNARKtor. Esta integración es el primer paso clave para abrir la posibilidad de reducir los costes de verificación mediante una agregación eficiente de pruebas.

Paralelamente, otra línea de trabajo se centrará en definir los detalles del algoritmo que permita a los programadores generar programaciones óptimas equilibrando coste y fiabilidad, favoreciendo a los proveedores de alto rendimiento y penalizando a los que no cumplan las expectativas de servicio.

Hito 3: Registro del Prover y desarrollo del mercado de pruebas

Fecha límite: mayo de 2025

El tercer hito se basa en el progreso de la fase anterior, ampliando aún más las características principales de SNARKtor con un enfoque específico en el papel del Prover.

El primer paso consiste en implementar el registro de Prover en la cadena, estableciendo un registro compartido que enumere todos los actores listos para recibir solicitudes de agregación. Este registro desbloquea funciones adicionales, como el seguimiento de la reputación, que recompensará a los agentes que cumplan las expectativas de servicio y penalizará a los que no lo hagan, algo fundamental para la selección de agentes durante la generación del programa.

Otro aspecto clave será la mejora de la gestión de las tasas de los usuarios, pasando de un modelo de tasas fijas a una estimación dinámica de las mismas, que tendrá en cuenta variables como los costes de prueba de cada Prover.

Con estas características, SNARKtor establecerá un mercado de pruebas, desbloqueando una mayor escalabilidad para el proceso de agregación.

Además, esta fase incluye el análisis y el diseño de los algoritmos de selección del Programador y el Presentador para la cadena de destino específica, con el fin de orientar los siguientes hitos.

Por último, el Telos zkEVM se actualizará para verificar de forma nativa las pruebas SNARKtor, lo que permitirá a los rollups ZK y a las dApps L3 aprovechar el mismo mecanismo de agregación para dar soporte a las aplicaciones de protección de datos de los usuarios. 

Hito 4: Programación descentralizada y mecanismos de recompensa

Fecha límite: agosto de 2025

El cuarto hito se centra en la preparación para la descentralización del proceso de programación de SNARKtor, haciendo hincapié en el papel de los programadores.

Un desarrollo clave en esta fase es la implementación del algoritmo de selección de Programadores, que define un conjunto de nodos elegibles para actuar como Programadores durante un periodo determinado. Otro componente crítico de este hito es el seguimiento de las recompensas del Programador, que, al igual que las recompensas del Prover, serán recogidas y distribuidas por el Submitter cuando las pruebas agregadas se envíen a la cadena.

Como parte de esta fase, el equipo también empezará a desarrollar los circuitos ZK para hacer demostrables elementos específicos del protocolo, sentando las bases para los siguientes hitos centrados en la descentralización total.

Hito 5: Descentralización de los remitentes e implantación de la red P2P

Fecha de vencimiento: Noviembre 2025

Este hito marca el segundo y último paso hacia la plena descentralización de SNARKtor, centrándose en el papel del Remitente.

Siguiendo un enfoque similar al de la descentralización del programador en el hito anterior, esta fase implicará la implementación del algoritmo de selección de los remitentes, incluido el registro de los remitentes en la cadena. También se establecerá un seguimiento adecuado de las recompensas de los remitentes para garantizar una distribución precisa dentro de un marco descentralizado.

En este punto, toda la comunicación entre los actores de SNARKtor -subemisores, programadores y otros- requerirá la construcción de una red entre pares (P2P). Esta red permitirá a todos los actores comunicarse en tiempo real, funcionando de forma similar a una cadena de bloques o a un mempool descentralizado.

Otro componente crítico es la segunda iteración del desarrollo de circuitos ZK, que desbloquea la plena demostrabilidad del protocolo SNARKtor. Esto es esencial para garantizar la integridad del estado, en particular en lo que respecta a la distribución de recompensas, evitando que cualquier actor reclame recompensas destinadas a otros.

Hito 6: Optimización de protocolos y gestión de cuentas fuera de la cadena

Fecha de vencimiento: Febrero 2026

Con SNARKtor ya totalmente desarrollado, descentralizado y probado, este hito se centra en optimizar el protocolo para mejorar la eficiencia.

Un área clave para la optimización es la gestión de las cuentas de usuario (saldos). Actualmente, las cuentas de usuario de SNARKtor se mantienen en la cadena a través del contrato inteligente SNARKtor. Para que el protocolo sea aún más eficiente, este hito introducirá una gestión de cuentas fuera de la cadena totalmente probada. En lugar de almacenar saldos individuales en la cadena, solo se registrará un compromiso del estado de las cuentas en la cadena, mientras que SNARKtor gestionará los saldos individuales fuera de la cadena.

Conclusión

Para el primer trimestre de 2026, SNARKtor se convertirá en un protocolo de agregación de pruebas totalmente descentralizado, optimizado y escalable, capaz de liberar todo el potencial de zk-SNARK en los ecosistemas de blockchain. Con cada hito, SNARKtor se acerca más a convertirse en una infraestructura central para aplicaciones descentralizadas rentables y que protejan los datos de los usuarios. Desde el establecimiento de un mercado de prueba hasta la implementación de la gestión de cuentas fuera de la cadena, SNARKtor ofrece a los desarrolladores las herramientas para construir la próxima generación de dApps impulsadas por ZK. El equipo de Telos mantiene su compromiso de perfeccionar el protocolo, abordar los desafíos y garantizar los más altos niveles de rendimiento, eficiencia y descentralización a lo largo del camino.