- BitVM, una innovación de Robin Linus para Bitcoin, ofrece contratos completos de Turing sin cambiar las reglas de la red.
- La comunidad debate el potencial de BitVM; algunos lo ven como un cambio de juego, mientras que otros se muestran cautos.
Un desarrollador de Bitcoin, Robin Linus, líder de ZeroSync, ha introducido un enfoque novedoso para introducir contratos inteligentes más versátiles fuera de la cadena de Bitcoin, todo ello sin la necesidad de un soft fork. Como se detalla en un libro blanco publicado el 9 de octubre, titulado «BitVM: Compute Anything on Bitcoin». Esta innovación, conocida como BitVM, permite la implementación de contratos Bitcoin Turing-completos manteniendo intactas las reglas de consenso fundamentales de Bitcoin.
"Any computable function can be verified on Bitcoin"https://t.co/Itf9UHos0C pic.twitter.com/CLQv49Ydsg
— яobin linus (@robin_linus) October 9, 2023
El principal avance de BitVM reside en su capacidad para expresar contratos Bitcoin Turing completos, ofreciendo una mayor programabilidad en la red Bitcoin. A diferencia de los contratos inteligentes tradicionales que ejecutan cálculos directamente en el blockchain, BitVM se centra en la verificación, estableciendo paralelismos con los rollups optimistas. Esta innovación puede revolucionar potencialmente el papel de Bitcoin en el panorama de las criptomonedas.
La comunidad de criptomonedas, especialmente en plataformas como Reddit y Twitter, está en plena ebullición con los debates en torno al lanzamiento de BitVM. Algunos entusiastas lo aclaman como un potencial cambio de juego, mientras que otros expresan un optimismo cauteloso. La propuesta ha suscitado incluso debates sobre si BitVM podría dejar obsoletas a las altcoins.
BitVM frente a las altcoins: Una perspectiva comparativa
Bob Bodily, CEO de Bioniq Market, ofrece una visión de las capacidades de BitVM. Aunque reconoce sus ventajas, Bodily señala que BitVM es más lenta, más cara y más compleja que la Ethereum Virtual Machine (EVM) de Ethereum. Esto sugiere que, aunque Bitcoin puede llegar a ser más completo que Turing con BitVM, puede que no sustituya por completo a EVM para todos los casos de uso.
Sam Parker, Director de Tecnología y cofundador de Blockchain Transition, subraya que BitVM mejora la integridad Turing de Bitcoin sin requerir cambios en sus reglas básicas de consenso. Señala que Bitcoin es tan completa como cualquier otra blockchain, lo que la convierte en «suficientemente Turing completo» para aplicaciones prácticas.
Una de las ventajas significativas de BitVM es su carácter no obligatorio. Los usuarios que prefieran no confiar sus monedas a un contrato completo de Turing pueden elegir no hacerlo. BitVM también tiene el potencial de eliminar la dependencia de los servicios centralizados «Bitcoin edge», promoviendo interacciones totalmente libres de confianza en el ecosistema de las criptomonedas.
Perspectivas optimistas con cautela
Después de revisar el libro blanco de BitVM, el asistente de Taproot Eric Wall expresa un cauto optimismo. Destaca las preocupaciones sobre la fase de configuración, especialmente en lo que respecta a los grandes intercambios de transacciones pre-firmadas. Sin embargo, espera con impaciencia experimentos en el mundo real para validar la funcionalidad de BitVM.
Wall sugiere que si BitVM verifica eficientemente una prueba de conocimiento-cero (prueba zk) en su interior, podría asumir el papel de la capa zkwasm. Este papel implica que un verificador se apropie de un bono de un prover basado en el resultado de un cálculo de Turing Completo.
La respuesta de la comunidad de criptomonedas a BitVM varía. Mientras que algunos, como Super Testnet, lo califican como «el descubrimiento más emocionante en la historia del script Bitcoin», otros, como el CEO de Blockstream, Adam Back, son más críticos. Back compara BitVM con el ejemplo de pagos contingentes de prueba de conocimiento cero (ZKP) de Greg Maxwell en 2016.
for people getting (over) excited, this is cool but effectively a generalization of a two-party game – it says right in the abstract – so it's a bit like Greg Maxwell's 2016 ZKP contingent payments implemented example https://t.co/OeHRsbFjud
— Adam Back (@adam3us) October 9, 2023
Sin embargo, Robin Linus rebate el punto de Back, destacando que en un pago contingente ZKP, el prover necesita conocer la solución por adelantado. Esto implica la superioridad de BitVM sobre el ejemplo ZKP de Maxwell de 2016.
Retos y complejidades
A pesar de su potencial, BitVM introduce complejidades y desafíos. El desarrollador Rijndael sugiere que CTV (BIP-119 = Convenios Simples) podría mejorar la eficiencia de BitVM. El consenso de la comunidad es que, aunque el potencial de BitVM es inmenso, su aplicabilidad en el mundo real y su impacto en los sistemas existentes aún están por ver.
Question about the challenge-response protocol: as i read it, vicky and paul would have to presign a challenge/response trace for each branch of the commitment tree at setup time?
— Rijndael (@rot13maxi) October 9, 2023
Maxim Orlovsky, de la LNP/BP Standards Association, elogia la innovación, pero expresa su preocupación. Señala que los programas del mundo real, incluido zk-STARKS, requieren operaciones como la multiplicación y la división en módulo que no están presentes en el script de Bitcoin. Estas limitaciones se derivan de las restricciones impuestas por las reglas de consenso de BTC. Los resultados prácticos podrían requerir años de desarrollo o incluso una bifurcación suave.
