Log in
Enquire now
Move

Move

Programming language based on Rust that was created by Facebook for developing customizable transaction logic and smart contracts for the Libra digital currency.

OverviewStructured DataIssuesContributorsActivity

Contents

developers.libra.org/docs/welcome-to-libra
Is a
Technology
Technology

Technology attributes

Related Industries
Cryptocurrency
Cryptocurrency
Software
Software
Blockchain
Blockchain
Smart contract
Smart contract

Other attributes

Blog
move-book.com/cn/index.html
move-book.com
Competitors
Vyper (programming language)
Vyper (programming language)
Solidity
Solidity
Industry
‌
Contract-oriented programming language
Inventor
Meta
Meta
0
License
Apache 2.00
Patents Assigned (Count)
1
Source Code
github.com/move-language/move
Written in
Rust0

Move is a programming language based on Rust that was created by Facebook for developing customizable transaction logic and smart contracts for the Libra digital currency. Every transaction submitted to the Libra blockchain uses a transaction script written in Move to encode its logic.

According to the Libra whitepaper, the highest priorities when creating Move were safety and security. Move is designed such that assets cannot be cloned to ensure that digital resources can only have one owner at a time and can only be spent once.

One of the stated initiatives of the Libra Association will be to foster the continued development of the Move language and the creation of smart contracts on top of the Libra blockchain. This will take place after Libra's public launch, scheduled for 2020.

Technical Specifications

Move is an executable bytecode language. It's key feature is the ability to define custom resource types with semantics inspired by linear logic, meaning that digital resources can be moved between program storage locations but they cannot be cloned or implicitly discarded.

The Move language directory consists of five parts:

  1. The virtual machine (VM), containing the bytecode format, a bytecode interpreter, and infrastructure to generate the genesis block of the Libra blockchain as well as subsequent blocks of transactions.
  2. The bytecode verifier, containing a static analysis tool which is used by the virtual machine to verify any new Move code before executing.
  3. The Move intermediate representation (IR) compiler, which compiles human-readable program text into Move bytecode.
  4. The standard library, containing the Move IR code for the core system modules (e.g. LibraAccount and LibraCoin).
  5. The tests and testing framework for the virtual machine, bytecode verifier, and compiler.

Timeline

No Timeline data yet.

Further Resources

Title
Author
Link
Type
Date

Libra White Paper | Blockchain, Association, Reserve

Libra

https://libra.org/en-US/white-paper/

Web

Move: A Language With Programmable Resources

Libra

https://developers.libra.org/docs/move-paper

Web

Move: A Language With Programmable Resources

Sam Blackshear, Evan Cheng, David L Dill, Victor Gao, Ben Maurer, Todd Nowacki, Alistair Pott, Shaz Qadeer, Dario Rain, Stephane Russi, Tim Sezer, Runtian Zakian, Zhou

https://developers.libra.org/docs/assets/papers/libra-move-a-language-with-programmable-resources.pdf

PDF

References

Find more entities like Move

Use the Golden Query Tool to find similar entities by any field in the Knowledge Graph, including industry, location, and more.
Open Query Tool
Access by API
Golden Query Tool
Golden logo

Company

  • Home
  • Press & Media
  • Blog
  • Careers
  • WE'RE HIRING

Products

  • Knowledge Graph
  • Query Tool
  • Data Requests
  • Knowledge Storage
  • API
  • Pricing
  • Enterprise
  • ChatGPT Plugin

Legal

  • Terms of Service
  • Enterprise Terms of Service
  • Privacy Policy

Help

  • Help center
  • API Documentation
  • Contact Us
By using this site, you agree to our Terms of Service.