Smart Contract funciona en la red Bitcoin – Cryptoshitcompra

El reciente desarrollo de soluciones de escalado en Ethereum puede haber influido en la investigación en el ecosistema de Bitcoin, BitVM se originó como una combinación de Optimistic Rollup y State Channel.

cryptoshitcompra.com/wp-content/uploads/2023/10/Smart-Contract-funciona-en-la-red-Bitcoin-Cryptoshitcompra.jpg» width=»1920″ height=»1080″ alt=»»/>BitVM: Smart Contract se ejecuta en la red Bitcoin

preámbulo

La comunidad local de Bitcoin ha estado alborotada en los últimos días tras el anuncio del Libro Blanco de Bitcoin. BitVM – una técnica que se define como permitir el cálculo de algo en la cadena en la red Bitcoin.

Esta publicación obtuvo inmediatamente más de tres millones de visitas; el autor de la propuesta es Robin Linus de ZeroSync.

«Cualquier función computable se puede verificar en Bitcoin»https://t.co/Itf9UHos0C pic.twitter.com/CLQv49Ydsg

— Robin Linus (@robin_linus) 9 de octubre de 2023

Por si nunca lo sabes, la red Bitcoin no admite contratos inteligentes, lo cual es una gran diferencia en comparación con las cadenas de bloques de próxima generación (Ethereum, BNBChain, Solana). Durante bastantes años, la comunidad local amante de Bitcoin ha intentado constantemente expandir la red e incluir contratos inteligentes para ella, pero hasta ahora no había una opción realmente excelente para heredar la descentralización y protección de la red de suministro.

El reciente desarrollo de soluciones de escalado en Ethereum puede haber influido en la investigación en el ecosistema de Bitcoin, BitVM se originó como una combinación de Optimistic Rollup y State Channel.

A continuación dominaremos la técnica. determinar todas las cosas en la cadena Bitcoin este

¿Qué es BitVM?

BitVM es un modelo que permite calcular y ejecutar lógica complicada en la cadena sin cambiar las pautas de consenso. En otras palabras, BitVM permite la ejecución directa de contratos inteligentes en la cadena de Bitcoin.

En otros lugares, BitVM aplica un mecanismo optimista muy similar a los Optimistic Rollups. Los participantes confían entre sí para llevar a cabo todas las obligaciones del contrato fuera de la cadena. Sólo cuando surgen disputas que no pueden ser arbitradas fuera de la cadena, se incorporan a la cadena para su resolución.

Pero si hay una disputa, ¿cómo podemos saber quién tiene razón y quién no? ¿Y cómo ocurre este método de demostrar lo correcto y lo incorrecto en la red Bitcoin cuando no ayuda a los contratos inteligentes?

Este es el nivel constructivo de BitVM a diferencia de otros remedios, lo que ha causado un gran revuelo en la comunidad local en los últimos días. Lo descubriremos rápidamente en el siguiente aspecto de la publicación.

El mecanismo de trabajo de BitVM.

Entendiendo las puertas lógicas

Primero, para reconocer cómo funciona BitVM, necesitará saber un poco sobre las puertas lógicas, la capa de infraestructura más profunda de la computadora personal.

Sabemos que toda computadora personal funciona con dos números y uno. Para definir la lógica, los chips toman detalles de bits (o uno) como entrada y luego realizan cálculos para crear una salida. La consecuencia de la salida es cualquiera de las dos. El resultado de todos y cada uno de los cálculos depende de la información de entrada y del tipo de puerto utilizado.

Algunas puertas lógicas conocidas son las siguientes:

• Puerta AND: Acepta dos o muchas más señales de entrada y devuelve una señal de salida solo si todas las señales de entrada son una.
• Puerta OR: Acepta dos o muchas más señales de entrada y devuelve una señal de salida solo si al menos una de las señales de entrada es uno.
• Puerto NO: Recibe solo una señal de entrada y devuelve el valor opuesto de esa señal. Si la entrada es uno, la salida lo será y viceversa.
• Puerta XOR: Recibe dos señales de entrada y devuelve solo una cuando solo una de las dos señales de entrada es una.
• Puerta NAND: recibe dos señales de entrada, regresa cuando ambas señales de entrada son una y viceversa.
• Usando puertas lógicas, podemos crear circuitos lógicos masivos para manejar todos los paquetes de computadoras personales.

Volviendo a BitVM, la puerta lógica por la que tendrá que pagar es la puerta NAND (NO Y), ya que el sistema BitVM hará el trabajo basándose principalmente en esta puerta.

Cómo funcionan las puertas NAND

La puerta NAND recibe dos señales A y B (en el tipo de código binario o una) y luego devuelve la consecuencia Q (o una) basándose principalmente en los valores de A y B descritos en la tabla anterior. Lo interesante es que puede configurar cualquier otro tipo de puerta lógica combinando puertas NAND, por lo que también se le llama «Puerta Universal – Puerta Autocompletada».

En resumen, las explicaciones excesivas sólo pretenden ayudarle a reconocer que el desarrollo de una puerta lógica NAND resolverá todos los desafíos de las computadoras personales.

Lleve NAND a la red Bitcoin

La actividad ahora es crear una puerta NAND en la red Bitcoin y «forzar» al compilador a ejecutarla.

La red Bitcoin utiliza Bitcoin Scripts creados a partir de una serie de códigos ejecutables (op_codes), que le ayudan a reconocer circunstancias y pautas para calcular los resultados de las transacciones. Pero la cantidad de op_codes es realmente restringida y solo es adecuada para cálculos de situaciones simples.

Robin Linus, fundador de BitVM, notó dos códigos de operación, OP_BOOLAND y OP_NOT.

• OP_BOOLAND: similar a la puerta AND, tomará dos valores de entrada y devuelve Genuino (uno) si los dos valores preliminares son Genuino (uno) y FALSO () en todas las demás circunstancias.
• OP_NOT: toma un valor de entrada y devuelve la negación de la entrada. Por ejemplo, si la entrada es Genuino (uno), la salida es FALSA () y viceversa.

Cuando mezclamos estos dos códigos de operación, creamos una puerta NAND, algo que puede resolver todos los desafíos de las computadoras personales. El compilador de la red Bitcoin seguramente se ejecutará cuando se encuentren estos códigos de operación.

Taptree – Contrato inteligente de Bitcoin

Arriba, hicimos una única puerta NAND, el siguiente punto es insertarlas en un circuito lógico para su ejecución.

BitVM utiliza código de tiempo de ejecución OP_EQUALVERIFY complementario y cadenas hashlock mezcladas con puertas NAND para crear un árbol de hojas final (tatree), que consta de toda la lógica del plan de cálculo. Para hacer esto, BitVM organiza las puertas lógicas en serie, y la salida de todas y cada una de las puertas resulta ser la entrada de una puerta adicional. Los valores Hashlock se utilizan para demostrar la corrección de todas y cada una de las fases y también para que muchas otras descubran cualquier error.

Modelo de árbol Tapleaf – Fuente: Informe técnico de BitVM

El siguiente paso para que la técnica funcione es componer una lógica de ejecución (contratos inteligentes) compatible con este modelo e insertarla en la cadena. El resto del trabajo es hacer el trabajo de la red Bitcoin, BitVM simplemente espera a que se devuelva el último éxito justo después de que la red Bitcoin haya implementado una gran cantidad de puertas NAND.

Método de funcionamiento de la técnica BitVM.

Luego de aprender cómo funciona la técnica BitVM bajo la capa de infraestructura. Subiremos de nivel para ver cómo BitVM interactúa con los clientes.

Como se indicó al principio, BitVM opera según la creencia mutua de los participantes. Todos los levantamientos elevados descritos terminarán fuera de la cadena, y solo si se cuestiona el éxito del cálculo y no se puede arbitrar fuera de la cadena, regresarán a la cadena para volver a calcularlos. Quién tenía razón y quién no.

El método de trabajo de BitVM es el siguiente:

Nota: BitVM ahora solo admite la participación contractual de dos personas.

Primer paso: establecer los términos contractuales: Los dos eventos en cuestión crean las metas y los plazos, que incluyen todas las contingencias viables incluidas en el contrato.

Segundo paso: completar el contrato: Complete el contrato en las pautas de Taptree como se describe en la parte anterior para asegurarse de que funcione en la red Bitcoin. Este Taptree se almacena en una copia en la red Bitcoin para su uso cuando la verificación en cadena es esencial.

Tercer paso: activar el contrato: Los dos eventos coinciden y asignan roles a Prover y Verifier. Luego, las dos partes crean una transacción multifirma y depositan las acciones en el sistema para activar el contrato.

Estos ingresos se utilizan para pagar cargos laborales, cargos por litigios (si los hay, en pocas palabras, cargos por litigios) y multas por fraude (si las hay).

Paso cuatro: complete el trabajo: Una vez finalizado el trabajo y pasado el período de espera sin disputas, Prover recibe el volumen del contrato.

Paso cinco: resolución de disputas: Si el verificador detecta una infracción en el método de trabajo, puede enviar evidencia de fraude a la técnica para solicitar la verificación. Hay un período de tiempo específico para que el evaluador borre su identificación.

Hay tres circunstancias:

• Si la prueba del fraude es adecuada: el verificador adquirirá el producto
• Si las pruebas de fraude son falsas: el testador adquirirá los ingresos
• Si se acaba el tiempo y el probador no ha confirmado, es injusto: el verificador recibe ingresos

Además, BitVM también tiene una característica que permite: Los verificadores obtienen ingresos de manera inmediata si pueden realizarlos en el área de Prove al acreditar la información única (preimagen) para todas las circunstancias.

El trabajo que requiere que se completen los requisitos en el contrato, que incluye dificultades y exámenes, se completará fuera de la cadena y solo si los dos eventos no pueden llegar a un acuerdo fuera de la cadena se llevarán a la cadena para su resolución.

comentario

Arriba presenté todo el método y mecanismo operativo de BitVM desde la infraestructura hasta la implementación. En teoría, es capaz de ejecutar toda la lógica como una computadora personal y programar contratos inteligentes en la red Bitcoin.

Pero en realidad, el acto de compilar un contrato inteligente en un circuito NAND generará una gran cantidad de puertas NAND; estamos hablando de miles de millones de puertas NAND que deberán ejecutarse. No es económicamente viable, incluso si se implementa fuera de la cadena.

En la introducción, también señalé BitVM como una combinación de Optimistic Rollup y State Channel (especialmente Lightning Network) debido a la forma en que funciona.

Para aquellos que nunca lo saben, Lightning Network es una red completa en Bitcoin que utiliza la técnica State Channel. Permite a los clientes abrir canales personales para ejecutar transacciones fuera de la cadena y luego actualizar los últimos éxitos en la red única.

Pero la debilidad de State Channel es que requiere que todos los participantes estén actualizados para autenticar las transacciones, si suceden…