El próximo puente Cardano-Bitcoin, basado en el protocolo Grail, puede ser un primer paso hacia la provisión de aplicaciones de finanzas descentralizadas (DeFi) que están aseguradas por Bitcoin, revelan documentos del protocolo subyacente del puente.
El 24 de octubre, Emurgo, el equipo de desarrollo que respalda a Cardano, anunció que estaba desarrollando el puente en asociación con el desarrollador de Grail, BTCOS.
En una publicación de X al día siguiente, el fundador de Cardano, Charles Hoskinson, aclaró que la red eventualmente albergará aplicaciones DeFi aseguradas por Bitcoin, añadiendo que, “Con las tarifas de babel, los desarrolladores de Bitcoin pueden desarrollar aplicaciones híbridas de Cardano/Bitcoin en Aiken y pagar sus tarifas de transacción en bitcoin.”
La publicación fue eliminada el 16 de noviembre, pero declaraciones similares de Hoskinson fueron registradas por el usuario de X Al’O y compartidas a través de su canal.
Algunos usuarios de Bitcoin eran escépticos sobre la idea de que las aplicaciones DeFi pudieran ser aseguradas por la red de Bitcoin.
Los críticos afirmaron que los “Bitcoin layer 2” anteriores no permitían a los usuarios retirar su Bitcoin sin el consentimiento del operador de la red y sospechaban que la nueva red híbrida Cardano/Bitcoin sería más de lo mismo.
Aun así, los documentos de Grail muestran que permite a los usuarios de Bitcoin retirar de Cardano sin el consentimiento de sus validadores.
Contratos inteligentes en Bitcoin
Grail se inspiró en una idea anterior llamada “BitVM,” descrita por el desarrollador Robin Linus en un documento técnico de 2023.
El documento propuso que un “optimistic rollup” de Bitcoin, similar al Optimism, Base o Arbitrum de Ethereum, podría ser creado al tener un servidor que se compromete a un “0” o “1” para cada bit de datos almacenados. Dijo que juegos simples como el ajedrez, el go o el póker podrían realizarse en Bitcoin utilizando este sistema.
Un ejemplo de un circuito lógico de BitVM en Bitcoin, utilizado para crear contratos inteligentes. Fuente: documento técnico de BitVM.
El documento técnico de Grail, publicado en abril, dijo que Grail “se basa en el paradigma BitVM,” y el sistema original de BitVM creó miles de millones de transacciones complejas que, en última instancia, harían que su puente fuera impráctico de usar.
Para reducir la complejidad, Grail utiliza pruebas de conocimiento cero (ZK) para reducir la cantidad de datos que necesitan ser almacenados en Bitcoin.
El resultado final es un sistema que permite a los usuarios depositar Bitcoin en la red de capa 2 sin necesidad de confiar en la seguridad de esa red. En este caso, significa que los usuarios podrían retirar su Bitcoin (BTC) de Cardano incluso si los nodos de Cardano fueran tomados por un actor malicioso.
Crear aplicaciones híbridas puede llevar mucho tiempo
Incluso después de que se implemente el puente, desarrollar aplicaciones DeFi aseguradas por Bitcoin puede tardar un tiempo. En su publicación de X ahora eliminada, Hoskinson dijo que los desarrolladores necesitarían ser capacitados en el lenguaje de programación Aiken de Cardano para crear estas aplicaciones híbridas de Bitcoin/Cardano.
Dado que la mayoría de los desarrolladores DeFi de Ethereum están capacitados en Solidity, esto implica que no se pueden crear nuevas aplicaciones simplemente copiando y pegando las de Ethereum. Tendrán que ser escritas desde cero.
Documentación del lenguaje de programación Aiken. Fuente: Aiken.
En la grabación publicada por Al’O, Hoskinson dijo: “Va a ser una enorme cantidad de trabajo, es una carga muy pesada, y habrá integraciones de billeteras y todas estas cosas que tienen que suceder.” Continuó diciendo que el trabajo valía la pena porque “hay $1.5 billones en el espacio de Bitcoin.”
Los retiros aún pueden ser bloqueados
Cointelegraph habló con Edan Yago, cofundador del desarrollador de Grail BTC OS. Yago dijo que los retiros del puente aún podrían ser bloqueados si el 100% de sus verificadores coluden maliciosamente.
“Para tomar el sistema Grail de manera maliciosa, necesitarías poseer el 100% de los nodos,” dijo.
Aun así, dijo, esta es “una suposición de seguridad más fuerte que Bitcoin,” ya que Bitcoin solo se basa en la suposición de que la “mayoría de los mineros [o poder de hash]” son honestos.
En la opinión de Yago, el puente tiene una mejor seguridad que los sistemas actuales de vinculación de Bitcoin, y crear un sistema más seguro es necesario porque billones de dólares en capital están atados en Bitcoin. Añadió:
“La mayor parte de BTC está latente hoy porque los poseedores no quieren confiar en entidades centralizadas de terceros que proporcionan puentes/envueltos a otras blockchains. Creemos que una bóveda o un puente como Grail —asegurado por criptografía de conocimiento cero y una red de mineros de Bitcoin— podría ser la solución de bóveda nativa de cripto más segura en la que los poseedores confiarían más fácilmente antes de poner su BTC a trabajar.”
OP_CAT como una alternativa para Bitcoin DeFi
Grail no es la única solución que intenta asegurar aplicaciones DeFi utilizando la red de Bitcoin. Otra opción, llamada “OP_CAT”, también afirma proporcionar este beneficio. Sin embargo, requeriría un soft fork del software del nodo de Bitcoin, lo cual algunos nodos de Bitcoin son reacios a hacer.
Aun así, el CEO de StarkWare, Eli Ben Sasson, ha abogado por el cambio y predijo que se activará “dentro de los próximos 12 meses.”
Cuando se le preguntó sobre OP_CAT, Yago dijo que su implementación “no cambia materialmente las suposiciones de seguridad del puente.”
No apoya agregar OP_CAT a Bitcoin, ya que cree que es “bastante arriesgado.” Dijo:
“OP_CAT puede volverse rápidamente muy engorroso en términos de tamaño de transacción, e incluso cadenas como Fractal que han creado un fork de Bitcoin con OP_CAT activado están descubriendo que trae sus propias complejidades para resolver.”
Aun así, dijo que si se implementara OP_CAT, “podría cambiar la arquitectura de cómo se puede hacer la verificación zk en Bitcoin, pero no cambiaría materialmente cómo funcionaría el puente.”
