Se ha lanzado la red GOAT con su testnet basada en la tecnología BitVM2, donde hay una implementación que merece atención: 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 tendrá una gran mejora en eficiencia en comparación con antes, lo que ayudará a atraer a más desarrolladores y a captar la atención de los usuarios. Entonces, ¿cómo entenderlo de manera simple desde el punto de vista técnico? Primero, echemos un vistazo al proceso de implementación de L2 de Bitcoin en la red GOAT. La red GOAT es una solución basada en L2 de Bitcoin que utiliza las tecnologías BitVM2 y zkMIPS, y permite obtener ingresos nativos en BTC (es decir, los participantes tienen la oportunidad de ganar más BTC). Su proceso incluye principalmente el puente de entrada (Bridge in), el puente de salida (Bridge out), el compromiso del secuenciador (Sequencer Set Commitment) y el procesamiento de reembolsos (Reimbursement), entre otros. El puente de entrada consiste en apostar BTC en un script de taproot (sin clave privada controlada), y el intermediario lo envía al contrato de Goat. El comité construye el flujo de transacciones de BitVM2, el operador pre-firma y lo almacena en IPFS, después de que el usuario verifica, el intermediario emite PegBTC en L2; el puente de salida es la extracción, donde el usuario realiza una transacción atómica con el operador (el usuario también puede ser el operador, si no desea hacerlo, puede completar la extracción a través del operador), destruyendo PegBTC en L2, y el operador inicia el procesamiento de reembolsos, sin necesidad de realizar una transacción Peg-OUT en la cadena principal de BTC. El compromiso del secuenciador se refiere a que el comité utiliza periódicamente un árbol de Merkle para comprometer el conjunto futuro de secuenciadores, apoyando la verificación del mecanismo de cliente ligero de Bitcoin. A través del mecanismo de cliente ligero, se verifica el conjunto de validadores comprometidos en BTC como entrada pública para la verificación de pruebas de conocimiento cero en el futuro, para lograr la verificación de la consensualidad de bloques en L2. El procesamiento de reembolsos implica que el operador apuesta BTC y presenta el ID de la transacción de retiro y el hash del último bloque. Los retadores realizan verificaciones fuera de la cadena y en la cadena, y si no hay desafíos, el operador recibe los fondos. Los retadores también pueden presentar desafíos, y tras un desafío, se generan validadores aleatorios, quienes pueden ejecutar verificaciones interactivas a través de scripts de Bitcoin. El período de desafío se reduce a aproximadamente 1 día (alrededor de 144 bloques de btc), comprimiendo 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 del ZK Rollup de prueba en tiempo real, comenzando con su tecnología Rollup. La red GOAT empaqueta múltiples transacciones de L2 en lotes (Batch), ejecutándolas fuera de la cadena para generar una prueba ZK, que se valida a través de la cadena principal de Bitcoin (como la validación en la fase Assert/Disprove de BitVM2), la ventaja de la prueba ZK es que no es necesario subir todos los detalles de las transacciones; además, a diferencia de zksync o Starknet de Ethereum, Goat utiliza scripts de Taproot de Bitcoin y otros mecanismos nativos para anclar las actualizaciones de estado, evitando depender de puentes externos o mecanismos de firma múltiple. Ahora que hemos entendido brevemente la 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, implementando una arquitectura de prueba paralela en pipeline + una red de validadores GPU distribuidos para lograr la rápida generación de pruebas. Primero, se genera la prueba de 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 agregan las pruebas, realizando una compresión recursiva de múltiples pruebas de bloque; finalmente, se genera la prueba SNARK (Groth16), que se comprime en una prueba de pequeño tamaño verificable en BitVM2. Para lograr pruebas en tiempo real, la generación de pruebas mencionada no se procesa de manera secuencial, sino que utiliza un mecanismo de procesamiento paralelo en pipeline, dependiendo principalmente de la tecnología zkVM "Ziren" de ZKM, junto con la aceleración GPU y la red de validadores distribuidos. Según los datos actuales de su testnet en el sitio web oficial, la prueba de bloque promedia aproximadamente 2.6 segundos, la prueba agregada promedia 2.7 segundos, y la prueba SNARK toma alrededor de 10.38 segundos. Los usuarios pueden ver en tiempo real el proceso completo de generación de pruebas ZK para cada retiro a través de la interfaz frontal. Si se puede completar la prueba ZK en menos de 1 minuto, significa que la velocidad de retiro del usuario se acelerará enormemente; algunas redes de L2 de Bitcoin anteriormente requerían esperar varias horas para iniciar un retiro, con la rápida generación de pruebas, los usuarios pueden iniciar el retiro inmediatamente después de que se genere la prueba, es decir, en menos de 1 minuto, los usuarios pueden iniciar el retiro. Por supuesto, el tiempo de llegada final depende de la situación de las transacciones en la red principal de Bitcoin. Pero en términos de retiros, ya no es necesario esperar, lo que significa que la experiencia de tiempo de retiro se acerca a la de iniciar una transacción en la cadena de Bitcoin. Además de los retiros, las pruebas en tiempo real también impulsarán a los desarrolladores a construir aplicaciones L2 de alta frecuencia, y al ser compatibles con EVM, también atraerán a los desarrolladores del ecosistema de Ethereum; para los operadores, no es necesario esperar la emisión de pruebas en lotes, lo que mejora la eficiencia del capital. La tecnología ZK es relativamente compleja, y su seguridad a largo plazo también necesita ser probada con el tiempo. Sin embargo, la implementación de pruebas en tiempo real es un avance importante en la infraestructura técnica para Bitcoin L2. Por supuesto, 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 explorar las necesidades de los usuarios y fomentar a los desarrolladores a construir aplicaciones L2 de Bitcoin, porque al final, solo cuando el ecosistema de Bitcoin L2 esté en marcha, habrá suficientes tarifas de transacción para lograr el crecimiento del efecto de rueda. Una necesidad que es relativamente clara es que muchos poseedores de BTC también desean obtener ingresos, como se puede ver en la cantidad de BTC en la cadena de Ethereum (como wbtc, etc.), 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 de BTC, entonces más poseedores de BTC estarán dispuestos a intentar obtener ingresos a través de BTCFI.