Draft:Move (language)
Submission declined on 12 May 2025 by Sohom Datta (talk).
Where to get help
How to improve a draft
You can also browse Wikipedia:Featured articles and Wikipedia:Good articles to find examples of Wikipedia's best writing on topics similar to your proposed article. Improving your odds of a speedy review To improve your odds of a faster review, tag your draft with relevant WikiProject tags using the button below. This will let reviewers know a new draft has been submitted in their area of interest. For instance, if you wrote about a female astronomer, you would want to add the Biography, Astronomy, and Women scientists tags. Editor resources
|  |
| Paradigm | Imperative |
|---|---|
| Designed by | Sam Blackshear |
| Developer | Diem Association, Aptos Labs |
| License | Apache License |
| Filename extensions | .move |
| Influenced by | |
| Rust | |
Move is a programming language for Smart contract development on blockchain platforms,[1][2][3] licensed under Apache License 2.0. It is a statically typed programming language inspired by Rust[1] and compiled to bytecode.[4][5]
History
[edit]It was created by Meta (formerly Facebook) as the smart contract language for the Diem digital currency (formerly known as Libra).[1][6] After the Diem project got discontinued in 2022, the Move language continued to live independently,[7] now being supported by the Aptos Labs and the Sui Foundation (both founded by former Meta employees involved in Diem)[8]. There are currently two main Move dialacts: Aptos Move[9] and Sui Move.[10]
Features
[edit]Move is a resource-oriented language. Resources in Move cannot be copied, but only moved from one owner to another.[11]
Usage
[edit]Move is currently used by multiple chains, such as Aptos,[12] Sui,[13] IOTA,[14] Movement,[15] starcoin,[16] 0L.[10] Interoperability with other chains (such as Ethereum or Solana) can be provided through the Lumio abstraction framework.[17]
Move Prover
[edit]The Move Prover (MVP)[18][19] is a tool designed to formally verify smart contracts written in Move. It can automatically validate (or prove the violation of) properties written in the Move Specification Language (MSL).[20][21][22][23] The Move Prover encodes the Move source code, together with a set of specifications written in MSL, as a mathematical model, which is then translated into the intermediate verification language Boogie,[24] and finally verified through SMT solvers.[25]
Reference
[edit]- ^ a b c Chan, Rosalie. "Facebook had to invent a totally new programming language, Move, for its Libra cryptocurrency project because no other language was up to the task". Business Insider. Retrieved 2025-02-17.
- ^ Blackshear, Sam; Dill, David L.; Qadeer, Shaz; Barrett, Clark W.; Mitchell, John C.; Padon, Oded; Zohar, Yoni (2020-07-23), Resources: A Safe Language Abstraction for Money, arXiv:2004.05106
- ^ Behnke, Rob (2024-07-22). "What is the Move Programming Language?". www.halborn.com. Retrieved 2025-02-09.
- ^ "Why Move? From the Perspective of Programming Language Ecosystem Building – Rooch Network". rooch.network. Retrieved 2025-02-13.
- ^ Fields Institute (2021-01-29). A Safe Language for Programming with Money. Retrieved 2025-02-13 – via YouTube.
- ^ "Move | Diem Documentation". developers.diem.com. Retrieved 2025-02-09.
- ^ "Life After Libra: How Facebook's Failed Cryptocurrency Kicked off a Web3 Movement". CCN.com. 2024-07-13. Retrieved 2025-03-07.
- ^ move-language/move, The Move Programming Language, 2025-02-09, retrieved 2025-02-09
- ^ "Smart Contracts | Aptos Docs (en)". aptos.dev. Retrieved 2025-03-07.
- ^ a b "Why We Created Sui Move". The Sui Blog. 2022-07-15. Retrieved 2025-02-13.
- ^ Team, Springworks (2019-08-23). "Solidity v/s Move v/s Clarity: The Battle of Smart Contract languages". Springworks Blog. Retrieved 2025-02-22.
- ^ move-language/move-on-aptos, The Move Programming Language, 2025-02-07, retrieved 2025-02-09
- ^ Ehrlich, Steven. "Making A Move On Ethereum". Forbes. Retrieved 2025-02-17.
- ^ Move Overview, IOTA Documentation, retrieved 2025-03-07
- ^ Manche, Cooper Scanlon,Rushi. "We're Gen Z college dropouts who raised $41.4M for our blockchain startup. Here's how we did it". Fortune. Retrieved 2025-02-17.
{{cite web}}: CS1 maint: multiple names: authors list (link) - ^ "The Top Move Programming Language Examples, Explained". supra.com. Retrieved 2025-02-09.
- ^ "Lumio". lumio.io. Retrieved 2025-02-22.
- ^ Zhong, Jingyi Emma; Cheang, Kevin; Qadeer, Shaz; Grieskamp, Wolfgang; Blackshear, Sam; Park, Junkil; Zohar, Yoni; Barrett, Clark; Dill, David L. (2020). "The Move Prover". In Lahiri, Shuvendu K.; Wang, Chao (eds.). Computer Aided Verification. Lecture Notes in Computer Science. Vol. 12224. Cham: Springer International Publishing. pp. 137–150. doi:10.1007/978-3-030-53288-8_7. ISBN 978-3-030-53288-8. PMC 7363214.
- ^ "move/language/move-prover/doc/user/spec-lang.md at main · move-language/move". GitHub. Retrieved 2025-02-13.
- ^ Dill, David; Grieskamp, Wolfgang; Park, Junkil; Qadeer, Shaz; Xu, Meng; Zhong, Emma (2022-02-13), Fast and Reliable Formal Verification of Smart Contracts with the Move Prover, arXiv:2110.08362
- ^ "Overview | Aptos Docs (en)". aptos.dev. Retrieved 2025-02-13.
- ^ "Verify Smart Contract: Move Prover Tutorials | Starcoin Cookbook". starcoinorg.github.io. Retrieved 2025-02-13.
- ^ "Formal verification of Move programs for the Libra blockchain". Fields Institute for Research in Mathematical Sciences. 2020-10-21. Retrieved 2025-02-13.
- ^ boogie-org/boogie, Boogie, 2025-02-11, retrieved 2025-02-13
- ^ "The Move Prover: A Guide". OtterSec. Retrieved 2025-02-13.
.
Category:Programming languages
- in-depth (not just passing mentions about the subject)
- reliable
- secondary
- independent of the subject
Make sure you add references that meet these criteria before resubmitting. Learn about mistakes to avoid when addressing this issue. If no additional references exist, the subject is not suitable for Wikipedia.