Según Blockworks, Bitcoin actualmente carece de verdaderas redes de capa 2 similares a las de Ethereum, principalmente porque las soluciones de escalamiento existentes no heredan el modelo de seguridad de Bitcoin. Los paquetes acumulativos de Ethereum que publican datos de transacciones en la red principal de Ethereum aprovechan directamente su seguridad, lo que garantiza que la ejecución correcta de las transacciones en estas capas esté asegurada por los mismos mecanismos que protegen la capa base. Por el contrario, las soluciones de “capa 2” de Bitcoin, como Liquid Network y Rootstock (RSK), son técnicamente cadenas laterales. Operan independientemente de Bitcoin, utilizando su propio conjunto de validadores o mineros. Si bien pueden compartir la tasa de hash de minería o instantáneas de puntos de control en Bitcoin, fundamentalmente ofrecen un nivel diferente de seguridad. Innovaciones como BitVM pueden mejorar la conexión minimizada de confianza desde Bitcoin, pero para permitir soluciones genuinas de capa 2 en Bitcoin, son necesarias actualizaciones de protocolo. Estas actualizaciones introducirían convenios (mecanismos que restringen cómo se puede gastar BTC) que permiten una interoperabilidad segura y con confianza minimizada y permiten que Bitcoin admita una infraestructura robusta de capa 2 similar a la de Ethereum.
StarkWare describió un hito importante el miércoles al verificar con éxito la primera prueba de conocimiento cero utilizando su nuevo verificador STARK en la red de prueba de Bitcoin, Signet. Este logro se produce tras tres meses de investigación sobre el potencial de OP_CAT, una de las propuestas de actualización de Bitcoin. El verificador de StarkWare, desarrollado en colaboración con Weikeng Chen de la firma de riesgo L2 Iterative, es la primera aplicación práctica a gran escala de este código de operación, dijo StarkWare en un comunicado. Demuestra potencial para respaldar el desarrollo de soluciones de capa 2 basadas en zk para Bitcoin. "Este tipo de metodología de verificación es completamente diferente de lo que ya están explorando otras soluciones de escalado en la red Bitcoin porque no requiere el uso de pruebas de fraude o de vida", dijo la compañía, y agregó que el código para el verificador ha sido publicado a través de Github.
Chen señaló que la investigación era pionera. “Empezamos sin nada. No hay información sobre las pruebas de zk en Bitcoin ni sobre las operaciones matemáticas necesarias. Tuvimos que construir la pila completa que condujera a la implementación del verificador STARK”, dijo. El nuevo verificador emplea Circle STARK, pruebas criptográficas que aceleran significativamente el proceso de prueba. También se utilizarán en el probador STARK de próxima generación de StarkWare, Stwo. La demostración actual solo verifica la solución a un problema matemático discreto: el número 32 de la secuencia de Fibonacci al cuadrado (o 21.783.0922), pero el equipo planea seguir adelante para demostrar una amplia gama de cálculos que, en última instancia, podrían formar la base de un problema matemático discreto. máquina. Hasta entonces, los poseedores de bitcoins que quieran participar en DeFi pueden hacerlo a través de una variedad de otros enfoques destinados a llevar BTC a otras redes, cada uno con sus propias compensaciones.
