TL;DR A pesar de las limitaciones técnicas de Bitcoin L2, creemos que la industria debería priorizar la programabilidad nativa de BTC y la interoperabilidad con activos y usuarios de otras cadenas.
En ZetaChain, nuestra misión es potenciar aplicaciones universales que abarquen todas las cadenas, desde Bitcoin y Ethereum nativos hasta Cosmos, Solana y más allá. Por eso creamos la primera blockchain universal que permite una experiencia de usuario cripto con abstracción de cadenas, ya sea que el usuario esté en Bitcoin, en EVM, L2 o en otro lugar. En esta publicación, revisamos las Bitcoin L2s y abordamos las siguientes preguntas desde una perspectiva predominantemente técnica:
Las soluciones de Capa 2 fueron inicialmente un fenómeno de Ethereum, con cientos emergiendo en los últimos años. Muchos de estos proyectos se centraron más en capturar valor a través del marketing que en hacer mejoras genuinas en infraestructura e innovación. Sin embargo, recientemente ha comenzado a formarse una nueva narrativa en torno a las “Capa 2” en Bitcoin. La idea central detrás de estas soluciones es que heredan o derivan seguridad de su Capa 1 subyacente, en este caso, Bitcoin.
Esto es atractivo porque la red de Bitcoin presume de una fuerte seguridad, y las soluciones de Capa 2 podrían ayudar a Bitcoin a escalar su capacidad de procesamiento, reducir los costos de transacción y habilitar plataformas de contratos inteligentes más sofisticadas. Muchos proyectos ahora afirman, implican o se asocian con soluciones de Capa 2 de Bitcoin. Sin embargo, comienzan a circular preguntas sobre la validez de estas afirmaciones.
La Capa 2 se refiere a una blockchain que extiende una Capa 1 de alguna manera y hereda parte de su seguridad. En 2016, el whitepaper de Lightning [5] propuso una red de pagos que deriva seguridad de la red de Bitcoin. Aunque los autores (Poon y Dryja) no utilizaron el término "Capa 2", la Lightning Network es, de hecho, una solución de Capa 2 en Bitcoin. Funciona como su propia red/blockchain con pagos baratos asegurados por la red de Bitcoin y una robusta teoría de juegos entre los participantes. Las soluciones de Capa 2 más modernas son probablemente popularizadas por Vitalik Buterin y el ecosistema de Ethereum. Hay tres tipos típicos de Capa 2: State Channels, plasma y rollups [6].
La Lightning Network es un ejemplo de un State Channel, donde dos participantes pueden abrir un canal y mantener la mayoría de las transacciones entre ellos fuera de la cadena (sin conocimiento de la red de Bitcoin). Solo la apertura y el cierre del canal, y quizás las disputas, invocan transacciones o scripts de Bitcoin. Omitiremos plasma aquí ya que es más complicado que los state channels y no es de propósito general.
Los rollups son la solución de Capa 2 más interesante ya que pueden ser bastante de propósito general, como ejecutar una Máquina Virtual de Ethereum (EVM) completa, y también son bastante seguros, heredando la seguridad de Ethereum.
Los rollups son blockchains separadas que agrupan y empaquetan sus transacciones y estados a la Capa 1 subyacente (por ejemplo, Ethereum). Heredan la seguridad de Ethereum L1 porque publican datos (sus propias transacciones y actualizaciones de estado) en contratos en Ethereum, que manejan la validación de las actualizaciones de estado (como los saldos de las cuentas de rollup). No necesitas confiar en los nodos o RPCs del rollup; simplemente miras las transacciones y el estado actual publicado en Ethereum para estar convencido de que los rollups están funcionando como se espera.
Los contratos de Ethereum validan la transición del estado previo al estado posterior debido a las transacciones agrupadas en los rollups de dos maneras: rollups optimistas con pruebas de fraude y rollups de conocimiento cero (zk).
En los rollups optimistas, el contrato de Ethereum asume que los secuenciadores del rollup son honestos pero acepta pruebas de fraude. Tiene penalizaciones económicas y recompensas por actualizaciones falsas si alguien puede probar que ciertas actualizaciones de estado son incorrectas. Este sistema requiere un período de tiempo para que los challengers encuentren fallas y presenten pruebas.
Por otro lado, los secuenciadores zk-rollup presentan transacciones, actualizaciones de estado y pruebas zk de la validez de las actualizaciones de estado. Las actualizaciones de estado son funciones matemáticas, donde la función puede ser arbitrariamente compleja, como una Máquina Virtual de Ethereum completa. La prueba de conocimiento cero se usa para la eficiencia: producir una prueba puede ser intensivo en términos computacionales, pero verificar la prueba es mucho más rápido y puede ser realizado por un contrato inteligente a un costo razonable. Como usuario de zk-rollups, si ves que el lote de transacciones del rollup y las actualizaciones de estado en Ethereum son aceptados por el contrato verificador, sabes que el rollup está funcionando correctamente y que tu transacción en el lote producirá el estado posterior reclamado.