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.

Golden Hot Search List: LEND encabeza la lista: según los datos de clasificación de Golden Finance, en las últimas 24 horas, el volumen de búsqueda de LEND encabezó la lista. La lista específica de los cinco principales es la siguiente: LEND, XTZ, REN, KCASH, SOC. [2020/10/2]

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.

Informe del mercado financiero de Jinse | BTC reaparece con doble aguja larga y corta, dominan los alcistas locales: según el mercado de Huobi, BTC comenzará el mercado de doble aguja larga y corta a las 3:00 a. el más bajo cayó a 9679.42USDT, luego BTC se recuperó rápidamente y el precio se mantuvo alrededor de 9900USDT, con los alcistas locales tomando la delantera. La plataforma de caja en el gráfico diario se abre paso hacia arriba, y las medias móviles en el gráfico de 4 horas están dispuestas en toros. A partir de las 10:00, el rendimiento específico de las principales monedas en la plataforma Huobi es el siguiente. [2020/6/11]

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.

La transmisión de datos de Jinse Finance ocupa el segundo lugar del USDT en el volumen de comercio global: la transmisión de datos de Jinse Finance, al momento de la publicación, las 24 horas, entre las 100 monedas principales por valor de mercado, las diez monedas principales por volumen de transacciones son BTC (32 mil millones de RMB), USDT (20,6 mil millones de RMB), ETH (14 mil millones de RMB), EOS (7,8 mil millones de RMB), BCH (3,7 mil millones de RMB), LTC (2,3 mil millones de RMB), ETC (2,1 mil millones de RMB), XRP (2 mil millones de RMB), TRX (1300 millones de RMB), OKB (600 millones de RMB). [2018/6/13]

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.

Informe en vivo de Jinse Finance MakerDao Wang Qijun: Blockchain no tiene techo y problemas de género: Jinse Finance informó en vivo el 3 de junio, en la mesa redonda de discusión "Exploración-Ethereum y ecología de la industria" de la Conferencia de tecnología y aplicaciones de Ethereum de hoy, dijo MakerDao Wang Qijun, blockchain mejora la sentido de comunidad. Es una estructura plana, todos son soldados en el equipo, se benefician del equipo y enfrentan riesgos, y obtienen tokens. Quiere personas que contribuyan más como líderes porque toman más riesgos. Aquí no hay techos ni cuestiones de género, mientras contribuyas, mientras te esfuerces por hacer mejor este proyecto, te haces mejor y sigues colaborando con los demás. Hay mucha gente que trabaja muy duro para involucrarse en diferentes proyectos, u organizar diferentes eventos, o financiar estos proyectos, así que me gusta mucho este sentido de comunidad. [2018/6/3]

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 integrales.

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：

Binance Apps