Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
https://github.com/ethereum/fe
Emerging smart contract language for the Ethereum blockchain.
https://github.com/ethereum/fe
Last synced: 29 days ago
JSON representation
Emerging smart contract language for the Ethereum blockchain.
- Host: GitHub
- URL: https://github.com/ethereum/fe
- Owner: ethereum
- License: other
- Created: 2019-08-10T05:24:07.000Z (about 5 years ago)
- Default Branch: master
- Last Pushed: 2024-04-21T21:07:41.000Z (7 months ago)
- Last Synced: 2024-04-21T22:18:43.527Z (7 months ago)
- Language: Rust
- Homepage: https://fe-lang.org
- Size: 12.5 MB
- Stars: 1,559
- Watchers: 37
- Forks: 165
- Open Issues: 158
-
Metadata Files:
- Readme: README.md
- License: LICENSE-APACHE
Awesome Lists containing this project
- best-of-crypto - GitHub - 30% open · ⏱️ 15.05.2024): (Smart Contract Platforms)
README
Fe is an emerging smart contract language for the Ethereum blockchain.
[](https://github.com/ethereum/fe/actions)
[](https://codecov.io/gh/ethereum/fe)
NOTE: **The larger part of the `master` branch will be replaced with the brand-new implementation, which is currently under development in the [fe-v2](https://github.com/ethereum/fe/tree/fe-v2) branch. Please refer to the branch if you kindly contribute to Fe**
## Overview
Fe is a statically typed language for the Ethereum Virtual Machine (EVM). It is inspired by Rust and easy to learn -- especially for new developers entering the Ethereum ecosystem.
## Features & Goals
* Bounds and overflow checking
* Decidability by limitation of dynamic program behavior
* More precise gas estimation (as a consequence of decidability)
* Static typing
* Pure function support
* Restrictions on reentrancy
* Static looping
* Module imports
* Standard library
* Usage of [YUL](https://docs.soliditylang.org/en/latest/yul.html) IR to target both EVM and eWASM
* WASM compiler binaries for enhanced portability and in-browser compilation of
Fe contracts
* Implementation in a powerful, systems-oriented language (Rust) with strong safety guarantees to reduce risk of compiler bugs
Additional information about design goals and background can be found in the [official announcement](https://snakecharmers.ethereum.org/fe-a-new-language-for-the-ethereum-ecosystem/).
## Language Specification
We aim to provide a full language specification that should eventually be used to formally verify the correctness of the compiler. A work in progress draft of the specification can be found [here](http://fe-lang.org/docs/spec/index.html).
## Progress
Fe development is still in its early stages. We have a basic [Roadmap for 2021](https://notes.ethereum.org/LVhaTF30SJOpkbG1iVw1jg) that we want to follow. We generally try to drive the development by working through real world use cases. Our next goal is to provide a working Uniswap implementation in Fe which will help us to advance and form the language.
Fe had its first alpha release January 2021 and is now following a monthly release cycle.
## Getting started
- [Build the compiler](https://github.com/ethereum/fe/blob/master/docs/src/development/build.md)
- [Or download the binary release](https://github.com/ethereum/fe/releases)
To compile Fe code:
1. Run `fe path/to/fe_source.fe`
2. Fe creates a directory `output` in the current working directory that contains the compiled binary and abi.
Run `fe --help` to explore further options.
## Examples
The following is a simple contract implemented in Fe.
```fe
struct Signed {
pub book_msg: String<100>
}
contract GuestBook {
messages: Map
>
pub fn sign(mut self, mut ctx: Context, book_msg: String<100>) {
self.messages[ctx.msg_sender()] = book_msg
ctx.emit(Signed(book_msg: book_msg))
}
pub fn get_msg(self, addr: address) -> String<100> {
return self.messages[addr].to_mem()
}
}
```
A lot more working examples can be found in our [test fixtures directory](https://github.com/ethereum/fe/tree/master/crates/test-files/fixtures/demos).
The most advanced example that we can provide at this point is an implementation of the [Uniswap-V2 core contracts](https://github.com/ethereum/fe/blob/master/crates/test-files/fixtures/demos/uniswap.fe).
## Community
- Twitter: [@official_fe](https://twitter.com/official_fe)
- Chat: [Discord](https://discord.gg/ywpkAXFjZH)
## License
The Fe implementation is split into several crates. Crates that depend on the
solidity compiler (directly or indirectly) are licensed GPL-3.0-or-later. This
includes the `fe` CLI tool, yulc, driver, tests, and test-utils.
The remaining crates are licensed Apache-2.0. This includes the parser,
analyzer, mir, abi, and common.