Runes Does Not Have a Specification
The Runes reference implementation, ord, is the normative specification of
the Runes protocol.
Nothing you read here or elsewhere, aside from the code of ord, is a
specification. This prose description of the runes protocol is provided as a
guide to the behavior of ord, and the code of ord itself should always be
consulted to confirm the correctness of any prose description.
If, due to a bug in ord, this document diverges from the actual behavior of
ord and it is impractically disruptive to change ord's behavior, this
document will be amended to agree with ord's actual behavior.
Users of alternative implementations do so at their own risk, and services
wishing to integrate Runes are strongly encouraged to use ord itself to make
Runes transactions, and to determine the state of runes, mints, and balances.
Runestones
Rune protocol messages are termed "runestones".
The Runes protocol activates on block 840,000. Runestones in earlier blocks are ignored.
Abstractly, runestones contain the following fields:
#![allow(unused)] fn main() { struct Runestone { edicts: Vec<Edict>, etching: Option<Etching>, mint: Option<RuneId>, pointer: Option<u32>, } }
Runes are created by etchings:
#![allow(unused)] fn main() { struct Etching { divisibility: Option<u8>, premine: Option<u128>, rune: Option<Rune>, spacers: Option<u32>, symbol: Option<char>, terms: Option<Terms>, } }
Which may contain mint terms:
#![allow(unused)] fn main() { struct Terms { amount: Option<u128>, cap: Option<u128>, height: (Option<u64>, Option<u64>), offset: (Option<u64>, Option<u64>), } }
Runes are transferred by edict:
#![allow(unused)] fn main() { struct Edict { id: RuneId, amount: u128, output: u32, } }
Rune IDs are encoded as the block height and transaction index of the transaction in which the rune was etched:
#![allow(unused)] fn main() { struct RuneId { block: u64, tx: u32, } }
Rune IDs are represented in text as BLOCK:TX.
Rune names are encoded as modified base-26 integers:
#![allow(unused)] fn main() { struct Rune(u128); }
Deciphering
Runestones are deciphered from transactions with the following steps:
-
Find the first transaction output whose script pubkey begins with
OP_RETURN OP_13. -
Concatenate all following data pushes into a payload buffer.
-
Decode a sequence 128-bit LEB128 integers from the payload buffer.
-
Parse the sequence of integers into an untyped message.
-
Parse the untyped message into a runestone.
Deciphering may produce a malformed runestone, termed a cenotaph.
Locating the Runestone Output
Outputs are searched for the first script pubkey that beings with OP_RETURN OP_13. If deciphering fails, later matching outputs are not considered.
Assembling the Payload Buffer
The payload buffer is assembled by concatenating data pushes, after OP_13, in
the matching script pubkey.
Data pushes are opcodes 0 through 78 inclusive. If a non-data push opcode is encountered, i.e., any opcode equal to or greater than opcode 79, the deciphered runestone is a cenotaph with no etching, mint, or edicts.
Decoding the Integer Sequence
A sequence of 128-bit integers are decoded from the payload as LEB128 varints.
LEB128 varints are encoded as sequence of bytes, each of which has the most-significant bit set, except for the last.
If a LEB128 varint contains more than 18 bytes, would overflow a u128, or is truncated, meaning that the end of the payload buffer is reached before encountering a byte with the continuation bit not set, the decoded runestone is a cenotaph with no etching, mint, or edicts.
Parsing the Message
The integer sequence is parsed into an untyped message:
#![allow(unused)] fn main() { struct Message { fields: Map<u128, Vec<u128>>, edicts: Vec<Edict>, } }
The integers are interpreted as a sequence of tag/value pairs, with duplicate tags appending their value to the field value.
If a tag with value zero is encountered, all following integers are interpreted as a series of four-integer edicts, each consisting of a rune ID block height, rune ID transaction index, amount, and output.
#![allow(unused)] fn main() { struct Edict { id: RuneId, amount: u128, output: u32, } }
Rune ID block heights and transaction indices in edicts are delta encoded.
Edict rune ID decoding starts with a base block height and transaction index of zero. When decoding each rune ID, first the encoded block height delta is added to the base block height. If the block height delta is zero, the next integer is a transaction index delta. If the block height delta is greater than zero, the next integer is instead an absolute transaction index.
This implies that edicts must first be sorted by rune ID before being encoded in a runestone.
For example, to encode the following edicts:
| block | TX | amount | output |
|---|---|---|---|
| 10 | 5 | 5 | 1 |
| 50 | 1 | 25 | 4 |
| 10 | 7 | 1 | 8 |
| 10 | 5 | 10 | 3 |
They are first sorted by block height and transaction index:
| block | TX | amount | output |
|---|---|---|---|
| 10 | 5 | 5 | 1 |
| 10 | 5 | 10 | 3 |
| 10 | 7 | 1 | 8 |
| 50 | 1 | 25 | 4 |
And then delta encoded as:
| block delta | TX delta | amount | output |
|---|---|---|---|
| 10 | 5 | 5 | 1 |
| 0 | 0 | 10 | 3 |
| 0 | 2 | 1 | 8 |
| 40 | 1 | 25 | 4 |
If an edict output is greater than the number of outputs of the transaction, an edict rune ID is encountered with block zero and nonzero transaction index, or a field is truncated, meaning a tag is encountered without a value, the decoded runestone is a cenotaph.
Note that if a cenotaph is produced here, the cenotaph is not empty, meaning that it contains the fields and edicts, which may include an etching and mint.
Parsing the Runestone
The runestone:
#![allow(unused)] fn main() { struct Runestone { edicts: Vec<Edict>, etching: Option<Etching>, mint: Option<RuneId>, pointer: Option<u32>, } }
Is parsed from the unsigned message using the following tags:
#![allow(unused)] fn main() { enum Tag { Body = 0, Flags = 2, Rune = 4, Premine = 6, Cap = 8, Amount = 10, HeightStart = 12, HeightEnd = 14, OffsetStart = 16, OffsetEnd = 18, Mint = 20, Pointer = 22, Cenotaph = 126, Divisibility = 1, Spacers = 3, Symbol = 5, Nop = 127, } }
Note that tags are grouped by parity, i.e., whether they are even or odd. Unrecognized odd tags are ignored. Unrecognized even tags produce a cenotaph.
All unused tags are reserved for use by the protocol, may be assigned at any time, and should not be used.
Body
The Body tag marks the end of the runestone's fields, causing all following
integers to be interpreted as edicts.
Flags
The Flag field contains a bitmap of flags, whose position is 1 << FLAG_VALUE:
#![allow(unused)] fn main() { enum Flag { Etching = 0, Terms = 1, Turbo = 2, Cenotaph = 127, } }
The Etching flag marks this transaction as containing an etching.
The Terms flag marks this transaction's etching as having open mint terms.
The Turbo flag marks this transaction's etching as opting into future
protocol changes. These protocol changes may increase light client validation
costs, or just be highly degenerate.
The Cenotaph flag is unrecognized.
If the value of the flags field after removing recognized flags is nonzero, the runestone is a cenotaph.
Rune
The Rune field contains the name of the rune being etched. If the Etching
flag is set but the Rune field is omitted, a reserved rune name is
allocated.
Premine
The Premine field contains the amount of premined runes.
Cap
The Cap field contains the allowed number of mints.
Amount
The Amount field contains the amount of runes each mint transaction receives.
HeightStart and HeightEnd
The HeightStart and HeightEnd fields contain the mint's starting and ending
absolute block heights, respectively. The mint is open starting in the block
with height HeightStart, and closes in the block with height HeightEnd.
OffsetStart and OffsetEnd
The OffsetStart and OffsetEnd fields contain the mint's starting and ending
block heights, relative to the block in which the etching is mined. The mint is
open starting in the block with height OffsetStart + ETCHING_HEIGHT, and
closes in the block with height OffsetEnd + ETCHING_HEIGHT.
Mint
The Mint field contains the Rune ID of the rune to be minted in this
transaction.
Pointer
The Pointer field contains the index of the output to which runes unallocated
by edicts should be transferred. If the Pointer field is absent, unallocated
runes are transferred to the first non-OP_RETURN output. If the pointer is
greater than the number of outputs, the runestone is a cenotaph.
Cenotaph
The Cenotaph field is unrecognized.
Divisibility
The Divisibility field, raised to the power of ten, is the number of subunits
in a super unit of runes.
For example, the amount 1234 of different runes with divisibility 0 through 3
is displayed as follows:
| Divisibility | Display |
|---|---|
| 0 | 1234 |
| 1 | 123.4 |
| 2 | 12.34 |
| 3 | 1.234 |
Spacers
The Spacers field is a bitfield of • spacers that should be displayed
between the letters of the rune's name.
The Nth field of the bitfield, starting from the least significant, determines whether or not a spacer should be displayed between the Nth and N+1th character, starting from the left of the rune's name.
For example, the rune name AAAA rendered with different spacers:
| Spacers | Display |
|---|---|
| 0b1 | A•AAA |
| 0b11 | A•A•AA |
| 0b10 | AA•AA |
| 0b111 | A•A•A•A |
Trailing spacers are ignored.
Symbol
The Symbol field is the Unicode codepoint of the Rune's currency symbol,
which should be displayed after amounts of that rune. If a rune does not have a
currency symbol, the generic currency character ¤ should be used.
For example, if the Symbol is # and the divisibility is 2, the amount of
1234 units should be displayed as 12.34 #.
Nop
The Nop field is unrecognized.
Cenotaphs
Cenotaphs have the following effects:
-
All runes input to a transaction containing a cenotaph are burned.
-
If the runestone that produced the cenotaph contained an etching, the etched rune has supply zero and is unmintable.
-
If the runestone that produced the cenotaph is a mint, the mint counts against the mint cap and the minted runes are burned.
Cenotaphs may be created if a runestone contains an unrecognized even tag, an unrecognized flag, an edict with an output number greater than the number of inputs, a rune ID with block zero and nonzero transaction index, a malformed varint, a non-datapush instruction in the runestone output script pubkey, a tag without a following value, or trailing integers not part of an edict.
Executing the Runestone
Runestones are executed in the order their transactions are included in blocks.
Etchings
A runestone may contain an etching:
#![allow(unused)] fn main() { struct Etching { divisibility: Option<u8>, premine: Option<u128>, rune: Option<Rune>, spacers: Option<u32>, symbol: Option<char>, terms: Option<Terms>, } }
rune is the name of the rune to be etched, encoded as modified base-26
integer.
Rune names consist of the letters A through Z, with the following encoding:
| Name | Encoding |
|---|---|
| A | 0 |
| B | 1 |
| … | … |
| Y | 24 |
| Z | 25 |
| AA | 26 |
| AB | 27 |
| … | … |
| AY | 50 |
| AZ | 51 |
| BA | 52 |
And so on and so on.
Rune names AAAAAAAAAAAAAAAAAAAAAAAAAAA and above are reserved.
If rune is omitted a reserved rune name is allocated as follows:
#![allow(unused)] fn main() { fn reserve(block: u64, tx: u32) -> Rune { Rune( 6402364363415443603228541259936211926 + (u128::from(block) << 32 | u128::from(tx)) ) } }
6402364363415443603228541259936211926 corresponds to the rune name
AAAAAAAAAAAAAAAAAAAAAAAAAAA.
If rune is present, it must be unlocked as of the block in which the etching
appears.
Initially, all rune names of length thirteen and longer, up until the first reserved rune name, are unlocked.
Runes begin unlocking in block 840,000, the block in which the runes protocol activates.
Thereafter, every 17,500 block period, the next shortest length of rune names
is continuously unlocked. So, between block 840,000 and block 857,500, the
twelve-character rune names are unlocked, between block 857,500 and block
875,000 the eleven character rune names are unlocked, and so on and so on,
until the one-character rune names are unlocked between block 1,032,500 and
block 1,050,000. See the ord codebase for the precise unlocking schedule.
To prevent front running an etching that has been broadcast but not mined, if a non-reserved rune name is being etched, the etching transaction must contain a valid commitment to the name being etched.
A commitment consists of a data push of the rune name, encoded as a little-endian integer with trailing zero bytes elided, present in an input witness tapscript where the output being spent has at least six confirmations.
If a valid commitment is not present, the etching is ignored.
Minting
A runestone may mint a rune by including the rune's ID in the Mint field.
If the mint is open, the mint amount is added to the unallocated runes in the
transaction's inputs. These runes may be transferred using edicts, and will
otherwise be transferred to the first non-OP_RETURN output, or the output
designated by the Pointer field.
Mints may be made in any transaction after an etching, including in the same block.
Transferring
Runes are transferred by edict:
#![allow(unused)] fn main() { struct Edict { id: RuneId, amount: u128, output: u32, } }
A runestone may contain any number of edicts, which are processed in sequence.
Before edicts are processed, input runes, as well as minted or premined runes, if any, are unallocated.
Each edict decrements the unallocated balance of rune id and increments the
balance allocated to transaction outputs of rune id.
If an edict would allocate more runes than are currently unallocated, the
amount is reduced to the number of currently unallocated runes. In other
words, the edict allocates all remaining unallocated units of rune id.
Because the ID of an etched rune is not known before it is included in a block,
ID 0:0 is used to mean the rune being etched in this transaction, if any.
An edict with amount zero allocates all remaining units of rune id.
An edict with output equal to the number of transaction outputs allocates
amount runes to each non-OP_RETURN output in order.
An edict with amount zero and output equal to the number of transaction
outputs divides all unallocated units of rune id between each non-OP_RETURN
output. If the number of unallocated runes is not divisible by the number of
non-OP_RETURN outputs, 1 additional rune is assigned to the first R
non-OP_RETURN outputs, where R is the remainder after dividing the balance
of unallocated units of rune id by the number of non-OP_RETURN outputs.
If any edict in a runestone has a rune ID with block zero and tx greater
than zero, or output greater than the number of transaction outputs, the
runestone is a cenotaph.
Note that edicts in cenotaphs are not processed, and all input runes are burned.