• ภาษาสำหรับ EVM (Ethereum Virtual Machine) แบบ static typing ที่ได้รับอิทธิพลจาก Python และ Rust

  • ความสามารถและเป้าหมาย

→ ตรวจสอบขอบเขตและ overflow

→ มอบความสามารถในการตัดสินได้ (Decidability) ผ่านการจำกัดพฤติกรรมการทำงานแบบไดนามิกของโปรแกรม

→ คาดการณ์ Gas ได้แม่นยำยิ่งขึ้น

→ static typing

→ รองรับฟังก์ชันแบบ pure

→ จำกัด reentrancy

→ static looping

→ import โมดูล

→ standard library

→ ใช้ YUL IR เพื่อ target ทั้ง EVM และ eWASM

→ คอมไพล์คอนแทรกต์ Fe ในเบราว์เซอร์ด้วย WASM

→ พัฒนา implementation ที่ปลอดภัยและทรงพลังผ่าน Rust

  • ยังอยู่ในช่วงเริ่มต้นของการพัฒนา

→ เปิดตัวอัลฟารีลีสเมื่อต้นปี 2021 และกำลังดำเนินการตามรอบรีลีสรายเดือน

ยังไม่มีความคิดเห็น

ยังไม่มีความคิดเห็น