Saltar al contenido

BitVM: Transformando Bitcoin en una Máquina de Cálculo Universal

Un agradecimiento especial a Super Testnet y Sam Parker, quienes siempre se negaron a creer que Bitcoin no sería Turing-completo. Así es como Robin Linus conlcuye el documento técnico donde explica como bitcoin puede ser una máquina de Turing completa.

Una nueva propuesta está emergiendo y promete llevar a Bitcoin a nuevas alturas. BitVM es una innovación que tiene el potencial de transformar Bitcoin en algo aún más grande

Escucha bitcoin en español en

Recursos del podcast

Documento técnico oficial BitVM

Documento traducido

Artículo relacionado

El Poder de BitVM dentro de Bitcoin

BitVM, abreviatura de «Bit Virtual Machine,» es un concepto que permite realizar cálculos complejos y ejecutar programas fuera de la red de Bitcoin sin realizar cambios en las reglas de consenso. Con esto bitcoin podría convertirse en una plataforma para verificar una amplia gama de funciones y aplicaciones.

Todo sin dejar de ser el mecanismo descentralizado y resistente a la censura de transmisión de valor P2P ni cambiar en absoluto su código. Como se ha dicho en el podcast numerosas ocasiones, bitcoin es la plataforma para la que se puede desarrollar, sin necesidad de crear otras plataformas para competir (cripto).

https://youtu.be/VgGCig8QOGw

Cómo Funciona BitVM

El proceso comienza cuando un «demostrador» y un «verificador» compilan un programa en un enorme circuito binario. El demostrador se compromete con este circuito en Bitcoin, lo que significa que lo registra en el libro de contabilidad. Luego, ambas partes hacen depósitos en Bitcoin como garantía. A partir de ahí, pueden intercambiar datos fuera de la cadena para invocar cambios de estado. Si el demostrador hace afirmaciones incorrectas, el verificador puede tomar su depósito, asegurando que los atacantes siempre pierdan.

Compromiso de Valor de Bit y Puertas Lógicas

BitVM se basa en conceptos como el «compromiso de valor de bit,» que permite al demostrador establecer el valor de un bit en «0» o «1,» y el «compromiso de puerta lógica,» que representa cualquier función computable como una función booleana.

Desafíos y Respuestas de bitVM

Para garantizar la integridad del proceso, BitVM incluye un mecanismo encadenado de desafío-respuesta. Si una de las partes intenta engañar a la otra, el sistema puede detectarlo y tomar medidas. Este enfoque asegura que ambas partes cumplan sus compromisos.

Limitaciones y Perspectivas Futuras

A pesar de sus ventajas, BitVM se basa en circuitos NAND simples, lo que puede ser ineficiente para algunas aplicaciones. Sin embargo, existen posibilidades de mejorar su eficiencia utilizando opcodes de alto nivel. Además, BitVM se limita a dos partes, pero existen perspectivas de desarrollar redes más complejas y eficientes en el futuro.

Más sobre bitcoin

El futuro de Bitcoin está en constante evolución, y BitVM es un paso crucial en esa dirección. Estamos presenciando el nacimiento de un nuevo paradigma en las finanzas y la tecnología. BitVM está revolucionando la forma en que vemos Bitcoin y su potencial más allá de la revolución económica que ya es. A medida que esta innovación se desarrolla, es emocionante pensar en las posibilidades que se avecinan. 

Esta propuesta se apalanca de las posibilidades que taproot abrió. Gracias a la organización de árboles de Merkle, bitcoin es capaz de almcenar más información sin que esta ocupe un mayor espacio en el bloque, si a esto le agregamos que bitVM propone que el coste computacional se realice por fuera y solo sea dentro de la cadena donde se realice la verificación de los contratos o scripts, el potencial es increíble.

Más sobre los árboles de Merkle, taproot, schnorr, BIP, etc en el curso aspectos técnicos de bitcoin.

Esta semana en cursos bitcoin:

BIP 85 (aspectos técnicos de bitcoin)

Aprende como un conjunto de semillas de recuperación y un índice, puede determinar nuevas semillas de recuperación totalmente independientes en su gestión. desbloqueando la capacidad de crear carteras multifirma con un único respaldo, carteras de prueba, carteras de custodia compartida etc.

Introducción a electrum

Una de las carteras en software más populares por su simpleza y eficiencia es electrum. Esta semana abrimos análisis de esta cartera mostrando las principales características de esta cartera como:

  • Creación de carteras con el estandar BIP39 y diferencia con electrum estandar
  • Conexión con carteras en hardware
  • Conexión a nodo de bitcoin
  • RPF y CPFP
  • Coincontrol

Accede a estas y más de 700 clases en video

Otros cursos sobre bitcoin y criptomonedas que te pueden interesar:

Creación de carteras multifirma

Bitcoin sin KYC

Aspectos técnicos de bitcoin