Golden Observation｜Fe: un nuevo lenguaje para el ecosistema Ethereum

El desarrollo del lenguaje Rust está en pleno apogeo. Los lenguajes de programación en el ecosistema Ethereum son Solidity (o Vyper), pero la superioridad de Rust siempre ha sido amada por los proyectos y desarrolladores de criptomonedas. ¿Qué pasa con el ecosistema Ethereum? Ethereum desarrolló Fe, un lenguaje vinculado a Rust. El idioma que aparece por seguridad.

El siguiente es un artículo sobre Fe escrito por el desarrollador Christoph, compilado y presentado por Golden Finance, para lectores.

La mayoría de las aplicaciones implementadas en la red Ethereum hoy en día están escritas en Solidity. En nuestra opinión, el equipo de Solidity ha hecho un gran trabajo y ha hecho mucho para mantener su cuota de mercado actual. Sin embargo, también creemos que tener más opciones para los desarrolladores tendría un impacto positivo en el ecosistema.

Nos complace anunciar un nuevo lenguaje de contrato inteligente llamado Fe (pronunciado "fee") para el ecosistema Ethereum. El lenguaje comenzó como una reescritura del compilador Vyper (en Rust) para abordar los problemas destacados por Consensys en la Revisión de seguridad de Vyper.

Si bien el objetivo inicial era usar el compilador Vyper, finalmente, el lenguaje comenzó a tener diferencias sintácticas y se decidió usar un nuevo nombre para mayor claridad. Fe nació.

"Fe" es la letra del elemento químico hierro en la tabla periódica. Fe transmite una sensación de durabilidad, lo que refuerza la noción de corrección del compilador. Rust se formó en Fe, lo que vincula el nombre con el lenguaje Rust para el que se escribieron los compiladores de Fe.

HT supera la marca de $8,9: según datos de Huobi Global, HT ha subido a corto plazo, superando la marca de $8,9, y ahora cotiza a $8,9, con un aumento intradiario del 3,55 %. hacer un buen trabajo en el control de riesgos. [2021/2/8 19:12:20]

Este proyecto hereda muchas cosas de Vyper. Es decir, tiene una sintaxis pitónica con énfasis en la seguridad del lenguaje. Como tal, la sintaxis de Fe está fuertemente inspirada en Python. Permite código legible y expresivo familiar para los desarrolladores que usan Python. Fe también usa escritura estática, lo que restringe el comportamiento dinámico para reducir las armas de fuego y mejorar la seguridad.

En las primeras etapas de desarrollo, las diferencias entre Fe y Vyper aún son limitadas. Ahora, uno notará que Fe toma prestadas algunas propiedades sintácticas de Rust. Fe puede comenzar a parecerse más a Rust a medida que continuamos agregando nuevas funciones.

Además del lenguaje en sí, tomamos medidas para garantizar que la implementación del compilador sea correcta. En otras palabras, debe haber un alto grado de confianza en que el código ejecutable producido por el compilador Fe se comportará correctamente con respecto a la especificación del lenguaje.

A continuación se enumeran algunos de los pasos que tomamos para garantizar la corrección:

Escribir una especificación de idioma

No puede probar que el compilador es correcto sin una especificación para verificar. Así que comenzamos a escribir una especificación para el lenguaje, que se basa en gran medida en Rust. Mientras nos preparamos para nuestra revisión, podremos desarrollar una especificación completa.

Implementado en Rust

Rust es un lenguaje de sistemas con fuertes garantías de seguridad. Estas garantías de seguridad evitan que los programas Rust entren en un comportamiento indefinido. Por ejemplo, los punteros nulos no son posibles en Rust seguro. Esto permite que el compilador de Rust detecte errores en el momento de la compilación que, de otro modo, se encontrarían en el tiempo de ejecución.

Uso de diferentes componentes

El objetivo de Fe es separar los componentes del compilador en distintas bibliotecas que siguen las pautas de diseño estándar del compilador. Es decir, hemos implementado el análisis sintáctico, el análisis semántico y la compilación como bibliotecas independientes con API y pruebas. Facilita la comprensión del comportamiento del compilador.

El compilador posiciona a Yul como una representación intermedia. Yul es un proyecto desarrollado por el equipo de Solidity que pretende ser un denominador común entre múltiples plataformas de bajo nivel, lo que significa que no necesitamos escribir backends separados para EVM 1.0, EVM 1.5 y eWASM. Actualmente, solo usamos el backend de Solidity para la compilación de Yul. Esto nos ahorra mucho tiempo.

La hoja de ruta de Vitaliks Ethereum destaca que la estandarización de YUL como un lenguaje intermedio también puede ser un camino conveniente para los entornos Optimistic Rollup.

La gramática EBNF esperada por el analizador se puede encontrar aquí. El analizador brinda soporte para todo lo especificado en este archivo de gramática e incluye pruebas completas.

A principios de este año, los desarrolladores comenzaron a revisar el compilador. Pudimos agregar soporte para algunos contratos simples. En particular, pudimos compilar un contrato de libro de visitas simple en un código de bytes funcional.

Durante el último mes, el desarrollo de Fe ha aumentado significativamente. Somos optimistas de que todas las funciones utilizadas en el contrato ERC20 serán compatibles y podrán compilarse para fines de 2020. Claramente, un compilador no es de ninguna manera una opción adecuada para producir ERC20 para entonces, pero esperamos demostrar las capacidades de Fe con un ejemplo de trabajo tan conocido.

Aquí hay un contrato simple que es completamente funcional hoy:

Enlace GitHub de Fe:

https://github.com/ethereum/fe

Enlace gitter de Fe:

https://gitter.im/ethereum/fe

Tags：

Etéreo