GOAT lanza la Testnet de ZK Rollup en tiempo real: ¿nuevas posibilidades de rendimiento nativo de BTC?

He visto que la red GOAT ha lanzado su Testnet basado en la tecnología BitVM2, donde hay una implementación que merece seguir: el ZK Rollup de Bitcoin con prueba en tiempo real. La implementación de pruebas rápidas de ZK Rollup es un desarrollo importante para la infraestructura de BTC L2. Desde la perspectiva de la experiencia del usuario, el tiempo de extracción será mucho más eficiente en comparación con antes, lo que beneficiará la incorporación de más desarrolladores y la atención de los usuarios.

Entonces, ¿cómo se puede entender esto simplemente desde un punto de vista técnico?

Primero, echemos un vistazo al proceso de implementación de Bitcoin L2 en la red GOAT. La red GOAT es una solución basada en Bitcoin L2 que utiliza la tecnología BitVM2 y zkMIPS, y admite la generación de ingresos nativos en BTC (es decir, los participantes tienen la oportunidad de ganar más BTC). Su proceso incluye principalmente la entrada de puente (Bridge in), salida de puente (Bridge out), compromiso del conjunto de secuenciadores (Sequencer Set Commitment) y procesamiento de reembolsos (Reimbersement), entre otros. La entrada de puente consiste principalmente en apostar BTC en un script de taproot (sin clave privada controlada), y los intermediarios lo envían al contrato de Goat. El comité construye un flujo de transacciones BitVM2, los operadores pre-firman y almacenan en IPFS, y después de la verificación del usuario, los intermediarios emiten PegBTC en L2; la salida de puente es la extracción, donde los usuarios realizan transacciones atómicas con los operadores (los usuarios también pueden ser operadores; si no desean hacerlo, pueden completar la extracción a través de un operador), destruyendo PegBTC en L2, y el operador inicia el procesamiento de reembolsos, sin necesidad de realizar transacciones Peg-OUT en la cadena principal de BTC. El compromiso de secuenciadores se refiere principalmente a que el comité utiliza regularmente un árbol de Merkle para comprometer el conjunto futuro de secuenciadores, apoyando la verificación del mecanismo de cliente liviano de Bitcoin. A través del mecanismo de cliente liviano, se utiliza el conjunto de validadores comprometidos en BTC como entrada pública para la verificación de pruebas de conocimiento cero posterior, para lograr la verificación de la consensualidad de bloques en L2. El procesamiento de reembolsos implica que el operador apueste BTC y presente el ID de transacción de retiro y el último hash de bloque. Los desafiadores realizan verificaciones fuera de la cadena y en la cadena; si no hay desafíos, el operador recibe los fondos. Los desafiadores también pueden presentar desafíos; tras un desafío, se generan validadores aleatorios, quienes pueden ejecutar verificaciones interactivas mediante scripts de Bitcoin. El período de desafío se reduce a aproximadamente 1 día (alrededor de 144 bloques de btc), lo que comprime el tiempo necesario para la finalización. Además, utiliza un secuenciador descentralizado, donde los operadores apuestan BTC para participar, y el modelo económico genera ingresos nativos en BTC a partir de las tarifas de gas de L2.

A continuación, hablemos sobre el ZK Rollup de prueba en tiempo real, primero hablemos de su tecnología Rollup. La red GOAT empaquetará múltiples transacciones L2 en lotes (Batch), ejecutará fuera de la cadena para generar una prueba ZK, que se validará a través de la cadena principal de Bitcoin (como la validación de las fases Assert/Disprove de BitVM2), la ventaja de la prueba ZK es que no es necesario cargar todos los detalles de la transacción; además, a diferencia de zksync o Starknet de Ethereum, Goat utiliza mecanismos nativos como los scripts Taproot de Bitcoin para anclar las actualizaciones de estado, evitando así la dependencia de puentes externos o mecanismos de múltiples firmas.

Entonces, tras entender brevemente su tecnología Zk Rollup, veamos el mecanismo de prueba en tiempo real. Según la documentación de la red GOAT, la generación de pruebas en tiempo real utiliza el motor zkMIPS, logrando una generación rápida de pruebas a través de una arquitectura de prueba paralela en pipeline + una red de probadores GPU distribuidos. Primero, se genera la prueba del bloque, utilizando técnicas de fragmentación de trayectoria de ejecución y prueba paralela, para verificar si la conversión de estado de Rollup es correcta; en segundo lugar, se realiza la prueba de agregación, que comprime recursivamente múltiples pruebas de bloques; finalmente, se obtiene la prueba SNARK (Groth16), comprimida en una prueba de pequeño tamaño verificable en BitVM2.

Para lograr la prueba en tiempo real, la generación de pruebas mencionada no se procesa de manera secuencial, sino que utiliza un mecanismo de procesamiento paralelo en tuberías (Pipelined), que se basa principalmente en la tecnología zkVM "Ziren" de ZKM, además de la aceleración por GPU y una red distribuida de probadores. Según los datos actuales de su sitio web oficial del testnet, la prueba de bloque tarda aproximadamente un promedio de 2.6 segundos, la prueba de agregación un promedio de 2.7 segundos y la prueba SNARK alrededor de 10.38 segundos. Los usuarios pueden ver en tiempo real a través de la página frontal el proceso completo de generación de pruebas ZK de cada retiro.

Si se puede completar la prueba ZK en menos de 1 minuto, esto significa que la velocidad de retiro de los usuarios se acelerará enormemente. Anteriormente, algunos retiros de redes L2 de Bitcoin necesitaban esperar varias horas para ser iniciados. Con la prueba rápida, se permite a los usuarios iniciar el retiro inmediatamente después de que se genere la prueba, lo que significa que los usuarios pueden iniciar el retiro en aproximadamente menos de 1 minuto. Por supuesto, el tiempo que finalmente se tarda en llegar dependerá de la situación de las transacciones en la red principal de Bitcoin. Pero en términos de retiros, ya no es necesario esperar, es decir, la experiencia de tiempo de los retiros es prácticamente similar a la de iniciar una transacción en la cadena de Bitcoin.

Además de los retiros, la prueba en tiempo real también impulsará a los desarrolladores a construir aplicaciones L2 de alta frecuencia; además, la compatibilidad con EVM también puede atraer a los desarrolladores del ecosistema de Ethereum. Para los operadores, no es necesario esperar a la emisión de certificados por lotes, lo que también mejora la eficiencia del capital. La tecnología ZK es relativamente compleja y su seguridad a largo plazo también necesita tiempo para ser probada. Sin embargo, la implementación de la prueba en tiempo real es un importante avance en la infraestructura técnica para Bitcoin L2. Por supuesto, actualmente Bitcoin L2 aún tiene un largo camino por recorrer; además de construir la infraestructura técnica, también necesita hacer más esfuerzos en la identificación de las necesidades de los usuarios y en impulsar a los desarrolladores a construir aplicaciones Bitcoin L2. Porque al final, cuando el ecosistema de Bitcoin L2 esté en marcha, habrá suficientes tarifas de transacción para lograr el crecimiento del efecto de rueda. Una de las necesidades es relativamente clara: muchos poseedores de BTC también esperan obtener beneficios, como se puede ver en la cantidad de BTC (como wbtc, etc.) en la cadena de Ethereum, que actualmente supera los 150,000 BTC, con un valor de más de 15,000 millones de dólares. Si se puede lograr una seguridad nativa basada en la cadena BTC, entonces habrá más poseedores de BTC dispuestos a intentar obtener beneficios a través de BTCFI.