Fe – Smart-Contract-Sprache für Ethereum

• Eine von Python und Rust beeinflusste, statisch typisierte Sprache für die EVM (Ethereum Virtual Machine)

• Funktionen und Ziele

→ Bounds- und Overflow-Prüfungen

→ Bereitstellung von Entscheidbarkeit (Decidability) durch Einschränkung dynamischen Programmverhaltens

→ Genauere Gas-Prognosen

→ Statische Typisierung

→ Unterstützung für Pure Functions

→ Einschränkung von Reentrancy

→ Statische Schleifen

→ Modul-Importe

→ Standardbibliothek

→ EVM und eWASM als Ziel über YUL IR

→ Kompilierung von Fe-Contracts im Browser mit WASM

→ Entwicklung sicherer und leistungsfähiger Implementierungen mit Rust

• Noch in einem frühen Entwicklungsstadium

→ Alpha-Release Anfang 2021, mit monatlichem Release-Zyklus