Adam Back presenta la actualización propuesta del lenguaje de programación de Bitcoin

Los desarrolladores de Bitcoin han estado trabajando durante los últimos cuatro años en un "sistema de script de Bitcoin de próxima generación de reemplazo que es totalmente general". Puedes programar scripts y programas generalmente arbitrarios. ”

Así lo dice Adam Back mientras presenta Simplicity, un lenguaje de programación a nivel de máquina desarrollado por Russell O'Connor con la ayuda de Andrew Poelstra mientras Gregory Maxwell lo ha estado probando, los cuatro protocolos de bitcoin desarrolladores con Back como CEO de Blockstream, el estudio de desarrollo de bitcoin y .

“El nivel más bajo es la máquina de nivel de bits de lenguaje ensamblador. Pero a partir de eso se construyen una serie de funciones intrínsecas de nivel superior ", dice Back con funciones de nivel superior llamadas jets.

Si está familiarizado con los contratos inteligentes de ethereum, debe cambiar el código que puede leer en etherscan en código de bytes para que las máquinas lo entiendan.

La simplicidad es básicamente ese código de bytes, como 0101101, con un lenguaje de nivel superior legible por humanos que luego se ejecuta encima como se muestra en Haskell.

Los jets son una especie de plantillas, o un biblioteca, con una demostración que muestra una transacción de envío simple.

 Chorros de simplicidad, abril de 2020 Chorros de simplicidad, abril de 2020

Esto no es Turing intencionalmente, aparentemente limitado a comprobar que algo es cierto. Back dice:

"Si Bitcoin tuviera Simplicity hoy, sería capaz de implementar Schnorr en Simplicity sin necesidad de una bifurcación suave. Muestra la generalidad de la simplicidad en términos de su expresividad.

Otros ejemplos incluyen que hay una extensión de horquilla blanda particular que estaría disponible para Lightning llamada SIGHASH_NOINPUT o alternativas.

Eso en algún momento también necesitaría una bifurcación suave para que Bitcoin para Lightning funcione de manera más eficiente, la versión eltoo de Lightning. Si Bitcoin tuviera Simplicity hoy, podría implementar NOINPUT directamente en línea ".

Schnorr es un método de compresión de firma y puede ver arriba que es solo un chorro en Simplicity. Back dice:

“El núcleo de la simplicidad está completo en términos de la funcionalidad del intérprete, la capacidad de evaluar cosas.

Pero hay algunas cosas que faltan. Estimaciones de recursos del tiempo de ejecución y memoria de características. Algunas mejoras contra la denegación de servicio.

Hay un formato binario, pero es posible que deseemos concluir que nos vamos a comprometer a mantener la compatibilidad binaria.

Muchos más jets y pruebas de equivalencia a los programas Simplicity de la versión Simplicity de los jets.

Entonces, más pruebas, más jets para que haya una amplia biblioteca de jets compuesta de cosas comunes que se usan en el siguiente nivel dentro de un nodo completo de Bitcoin ”.

Esperan terminar todo esto al final de el año en que puede lanzarse en Liquid, la cadena lateral de bitcoins autorizada.

Entonces puede llevar un tiempo para que esto se convierta en bitcoin, pero mucha más capacidad de programación está llegando a la moneda descentralizada a nivel de protocolo para extender su capacidades hasta el punto "puede construir límites de velocidad directamente en el esquema de almacenamiento para que no tenga que distinguir entre una billetera fría y caliente y reequilibrar".

Derechos de autor Trustnodes.com