Draft:Move (language)
 | Review waiting, please be patient.
This may take 2 months or more, since drafts are reviewed in no specific order. There are 2,350 pending submissions waiting for review.
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
Reviewer tools
|
| Developer | Diem Association |
|---|---|
| License | Apache License |
| Influenced by | |
| Rust | |
Move is a programming language smart contract development on blockchain platform[1]. It is licensed under Apache License 2.0. It was designed to be a statically typed programming language, compiled to bytecode.[2][3][4][5][6][7][8]
History
[edit]It was created by Meta[9] (Facebook earlier) for the Diem Blockchain (libra earlier) to implement custom transactions and smart contracts.[10][4][11] Move was inspired by rust programming language[1]. After Diem project discontinued in 2022, Move language IP was sold to Silvergate Bank. But as move was opensource, it is still developed by Aptos and Sui, which were founded by former Meta employees involved in Diem project.[12] Sui's version of Move was called Sui Move or Move on Sui.[7]
Move is currently used by multiple chains like Aptos,[13] Sui[14], Movement,[15] starcoin,[16] 0L.[7]
Move specification language
[edit]Move specification language is a subset of the Move language which supports specification of behavior of Move programs.[17]
Move prover
[edit]Move prover is tool to verify smart contracts written in move. It can automatically validate logical properties of smart contracts or move programs against behavior specified in Move specification language.[18][17][19][20][21][22] Move prover compiles Move source code into Move bytecode which is converted into prover object model, which is then translated into intermediate language, Boogie intermediate verification language for verification.[23][24][21]
Reference
[edit]- ^ a b 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, retrieved 2025-02-13
- ^ Behnke, Rob (2024-07-22). "What is the Move Programming Language?". www.halborn.com. Retrieved 2025-02-09.
- ^ a b "Move | Diem Documentation". developers.diem.com. Retrieved 2025-02-09.
- ^ "Why Move? From the Perspective of Programming Language Ecosystem Building – Rooch Network". rooch.network. Retrieved 2025-02-13.
- ^ "Why Move? From the Perspective of Programming Language Ecosystem Building – Rooch Network". rooch.network. Retrieved 2025-02-13.
- ^ a b c "Why We Created Sui Move". The Sui Blog. 2022-07-15. Retrieved 2025-02-13.
- ^ Fields Institute (2021-01-29). A Safe Language for Programming with Money. Retrieved 2025-02-13 – via YouTube.
- ^ 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) - ^ "Aptos Foundation partners with crypto-AI startup to build Move programming language tools". The Block. Retrieved 2025-02-17.
- ^ Haqshanas, Ruholamin (2025-01-06). "How $MOVE Brings a Facebook Virtual Machine to Ethereum". Techopedia. Retrieved 2025-02-17.
- ^ move-language/move, The Move Programming Language, 2025-02-09, retrieved 2025-02-09
- ^ 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.
- ^ "Aptos Foundation partners with crypto-AI startup to build Move programming language tools". The Block. Retrieved 2025-02-09.
- ^ "The Top Move Programming Language Examples, Explained". supra.com. Retrieved 2025-02-09.
- ^ a b "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, retrieved 2025-02-13
- ^ "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.
- ^ a b 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.
- ^ "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.
.