Vimos que la red GOAT lanzó 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 beneficiará a atraer a más desarrolladores y 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 Bitcoin L2 de la red GOAT. La red GOAT es una solución basada en Bitcoin L2 que utiliza las tecnologías BitVM2 y zkMIPS, y admite la obtención de rendimientos nativos de BTC (es decir, los participantes tienen la oportunidad de ganar más BTC). Su proceso incluye principalmente el puenteo (Bridge in), salida del puente (Bridge out), compromiso del secuenciador (Sequencer Set Commitment) y el procesamiento de reembolsos (Reimbursement), entre otros. El puenteo consiste principalmente 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; la salida del puente 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, 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 principalmente 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 posterior, 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 la verificación interactiva 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 el operador apuesta BTC para participar, y el modelo económico genera rendimientos nativos de BTC a partir de las tarifas de gas de L2. A continuación, hablemos sobre el 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), ejecutando fuera de la cadena para generar una prueba ZK, que se valida a través de la cadena principal de Bitcoin (validaciones de la fase Assert/Disprove de BitVM2, etc.). 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. 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, implementando su rápida generación de pruebas a través de una arquitectura de prueba paralela en pipeline + una red de validadores GPU distribuidos. 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 pruebas, realizando una compresión recursiva de múltiples pruebas de bloque; finalmente, se genera la prueba SNARK (Groth16), comprimida 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 lineal, sino que utiliza un mecanismo de procesamiento paralelo en pipeline, dependiendo principalmente de la tecnología zkVM "Ziren" de ZKM, además de 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 Bitcoin L2 anteriormente requerían esperar varias horas para iniciar un retiro, pero con pruebas rápidas, los usuarios pueden iniciar el retiro inmediatamente después de la generación de la prueba, lo que significa que en menos de 1 minuto, los usuarios pueden iniciar un retiro. Por supuesto, el tiempo de llegada final del usuario aún 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 de los fondos. 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 de Bitcoin L2, porque al final, si el ecosistema de Bitcoin L2 se establece, habrá suficientes tarifas de transacción para lograr el crecimiento del ciclo. Una necesidad que es relativamente clara es que muchos poseedores de BTC también desean obtener rendimientos, 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 mil 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 rendimientos a través de BTCFI.

ZK Rollup no es una caja negra. ZKP se puede visualizar.

¡Esto es increíble! ¡Estamos haciendo que Bitcoin ZK Rollup sea una realidad paso a paso! ¡De nuevo, sin pruebas en tiempo real, no hay Bitcoin ZK Rollup!

GM Chengdu LFGOAT

La prueba en tiempo real es el requisito básico para un verdadero Bitcoin ZK Rollup.

¡Faltan 3 paradas, las paradas de ChengDu, Ho Chi Minh y Hanoi se están alineando!

¡LFGOAT!

¡Gracias por visitarnos! ¡LFGOAT!

¡GM Seúl! Calentamiento para Corea del Sur. LFGMetis y LFGOAT! @MetisL2 @GOATRollup

¡Nos vemos en SF y Seúl!