LibraryData and agents2020Design paperCorpus record
Move: a language with resources that cannot be copied
Move language. Sam Blackshear and the Move team.
Move publishes resources: values that the type system is supposed to stop you copying or discarding silently, aimed at assets.
A reading of the project's public design document. Not a copy, not a benchmark, and not an offer.
Move publishes resources: values that the type system is supposed to stop you copying or discarding silently, aimed at assets.
- Evidence
- Primary paper
- Re-measured
- No
- Assumptions
- 3
- Records linked
- 3
01 Claim ledger
What the paper is allowed to say
Each row is a sentence already in the study. The status is the same on every row: a model claim, not a live measurement.
Claim 01 · Paper model
The defect
A resource type is a language rule. It does not make a chain safe, and it does not make two Move dialects the same language.
Claim 02 · Paper model
The proposal
Move publishes resources: values that the type system is supposed to stop you copying or discarding silently, aimed at assets.
Claim 03 · Paper model
The mechanism
A resource cannot be copied unless the module allows it. That is the point relative to a language where any integer can be duplicated.
Claim 04 · Paper model
The bound
This note does not say the type system has been proved free of bugs in every implementation.
02 Three cuts
Observation, model, falsifier
A desk does not stop at the summary. Each claim is cut three ways, using only this study's own assumptions and checks. Nothing here is a new figure.
01 The defect
Observation
What the study says
A resource type is a language rule. It does not make a chain safe, and it does not make two Move dialects the same language.
Model
What has to hold
You are reading the Move language repository. A chain's standard library is a further document.
Falsifier
What would retire it
Which chain's Move are you actually targeting?
02 The proposal
Observation
What the study says
Move publishes resources: values that the type system is supposed to stop you copying or discarding silently, aimed at assets.
Model
What has to hold
The document is the one at the source URL. A marketing page with the same brand is not this text.
Falsifier
What would retire it
Who may publish a module that defines a coin type?
03 The mechanism
Observation
What the study says
A resource cannot be copied unless the module allows it. That is the point relative to a language where any integer can be duplicated.
Model
What has to hold
You are reading the Move language repository. A chain's standard library is a further document.
Falsifier
What would retire it
Who may publish a module that defines a coin type?
04 The bound
Observation
What the study says
This note does not say the type system has been proved free of bugs in every implementation.
Model
What has to hold
You are reading the Move language repository. A chain's standard library is a further document.
Falsifier
What would retire it
What does the dialect you are compiling forbid: copy, drop, store?
03 Sequence
One action, as an operating tape
- 01A resource cannot be copied unless the module allows it. That is the point relative to a language where any integer can be duplicated.
- 02A module publishes the operations on its resource. Another module cannot forge the type, under the language rules.
- 03Sui Move and Aptos Move and the original Diem Move are dialects. Cite the dialect.
04 Load-bearing
The argument, and where a pitch drops it
What the name has to mean
The cut
Move publishes resources: values that the type system is supposed to stop you copying or discarding silently, aimed at assets.
Why it carries weight
If this cut is skipped, the paper's name is being used without the mechanism that makes the name mean anything.
Where it is dropped
This note does not say the type system has been proved free of bugs in every implementation.
What actually moves
The cut
A module publishes the operations on its resource. Another module cannot forge the type, under the language rules.
Why it carries weight
If this cut is skipped, the paper's name is being used without the mechanism that makes the name mean anything.
Where it is dropped
A resource can still represent a worthless claim. The language does not review the economics.
What a later deployment may change
The cut
Sui Move and Aptos Move and the original Diem Move are dialects. Cite the dialect.
Why it carries weight
If this cut is skipped, the paper's name is being used without the mechanism that makes the name mean anything.
Where it is dropped
A later client, parameter or reward formula is a different object from this paragraph.
05 Register
What has to be true
Model · Not re-measured
You are reading the Move language repository. A chain's standard library is a further document.
Model · Not re-measured
The document is the one at the source URL. A marketing page with the same brand is not this text.
Model · Not re-measured
No price, supply, yield, or adoption figure is added by this desk.
06 Divergence
What happened after the paper
Diem's paper is the historical context, not this repository's current bytecodes.
A later client, parameter set, or reward formula is a different object. Cite this paper for the mechanism. Cite a primary release for the network. This desk has not re-run the proof.
07 Pre-mortem
What to check before you use the idea
- 0 of 3 marked on this browser. A mark is a reading note, not a pass, a rating, or a recommendation.
08 Anatomy
The paper, in the order a builder needs
The problem it names
A resource type is a language rule. It does not make a chain safe, and it does not make two Move dialects the same language.
What the design proposes
- A resource cannot be copied unless the module allows it. That is the point relative to a language where any integer can be duplicated.
- A module publishes the operations on its resource. Another module cannot forge the type, under the language rules.
- Sui Move and Aptos Move and the original Diem Move are dialects. Cite the dialect.
How the mechanism is specified
- A resource cannot be copied unless the module allows it. That is the point relative to a language where any integer can be duplicated.
- A module publishes the operations on its resource. Another module cannot forge the type, under the language rules.
- Sui Move and Aptos Move and the original Diem Move are dialects. Cite the dialect.
What this page does not treat as proven
- This note does not say the type system has been proved free of bugs in every implementation.
- A resource can still represent a worthless claim. The language does not review the economics.
- Diem's paper is the historical context, not this repository's current bytecodes.
Why the desk still reads it
Move publishes resources: values that the type system is supposed to stop you copying or discarding silently, aimed at assets.
09 Lexicon
Terms, opened into the record
- Resource
- A value the type system treats as an asset: not silently copied, not silently dropped.
- Module
- The unit that defines a resource and its operations.
10 Repository
Every linked record on this page
Underlined words open a page that already exists: a concept, a protocol profile, a failure record, or another paper. If a word is not underlined, this desk does not have a record for it.
Failures
This is Blockchain Lab's reading of a public design paper. It is not the paper, not a copy of it, and not an offer of tokens, equity, custody or a partnership. Later network behaviour can diverge from the text. Nothing here is investment, legal or technical advice.
Research status: Design paper. Last reviewed: 1 October 2026. This is a reading of a public paper, not investment, legal or security advice.