Fe - Ngôn ngữ smart contract cho Ethereum
(github.com)-
Ngôn ngữ kiểu tĩnh cho EVM (Ethereum Virtual Machine), chịu ảnh hưởng từ Python và Rust
-
Tính năng và mục tiêu
→ Kiểm tra biên và tràn số
→ Cung cấp tính quyết định được (Decidability) bằng cách hạn chế hành vi chạy động của chương trình
→ Dự đoán Gas chính xác hơn
→ Kiểu tĩnh
→ Hỗ trợ hàm Pure
→ Hạn chế tái nhập
→ Vòng lặp tĩnh
→ Import mô-đun
→ Thư viện tiêu chuẩn
→ Nhắm tới EVM và eWASM bằng YUL IR
→ Biên dịch contract Fe trên trình duyệt bằng WASM
→ Phát triển implementation an toàn và mạnh mẽ thông qua Rust
- Vẫn đang ở giai đoạn phát triển rất sớm
→ Đã phát hành bản alpha vào đầu năm 2021 và đang theo chu kỳ phát hành hàng tháng
Chưa có bình luận nào.