BenFen has adopted Move as its smart contract programming language to provide foundational security for on-chain assets and applications. Move is a statically typed language purpose-built for digital assets, featuring formal verification capabilities.
Core Security Features:
-
Resource Model: The core feature of Move is "resources". Resources cannot be copied or accidentally destroyed at code level — they can only be moved between storage locations, which prevents common vulnerabilities such as reentrancy attacks and asset disappearance.
-
Type Safety: Move’s strict type system catches many potential bugs at compile time.
-
Formal Verification: BenFen provides tools such as Move Prover, enabling developers to mathematically verify the correctness of their contract codes, greatly enhancing contract reliability.
-
Standard Library: To simplify development, BenFen offers a formally verified standard library containing over 40 essential modules (e.g., accounts, transactions, mathematical calculations, etc.).