Transaction Inputs

Introduction

These rules apply to transaction inputs, excluding miner transactions.

Index

1. Necessary Functions/Definitions
2. Rules

Necessary Functions/Definitions

Default Minimum Decoys

This is the default number of decoys an input must at least have.

There are exceptions to this being the minimum decoy size for all transactions. See further down in Rules.

Minimum And Maximum Decoys Used

To check a transaction input's ring size we must first get the minimum and maximum number of decoys used in the transactions inputs².

So if this was our transactions:

The minimum and maximum amount of decoys would be 7 and 15 respectively.

Mixable And Un-Mixable Inputs

A mixable input is one that has enough outputs on the chain with the same amount to be able to build a ring with the minimum amount of decoys needed.

A ringCT input, aka an output with 0 amount, is always considered mixable³.

For other inputs you first get the amount of outputs on chain with that amount and check if that's less than or equal to the default minimum amount of decoys if it is then the input is un-mixable otherwise it is mixable⁴.

Rules

No Empty Inputs

The transaction must have at least 1 input⁵.

No Empty decoys

All inputs must have decoys⁶.

Input Type

All inputs must be of type txin_to_key⁷.

Inputs Must Not Overflow

The inputs when summed must not overflow a u64 and the outputs when summed must not either⁸.

Unique Ring Members

From hard-fork 6, all ring members in an input must be unique, this is done by checking that no key_offset after the first is 0⁹.

Unique Key Image

The key image must be unique in a transaction¹⁰ and the whole chain ¹¹.

Torsion Free Key Image

The key image must be a canonical prime order point¹².

Minimum Decoys

These rules are in effect from hard fork 2.

First you get the minimum number of decoys used in the transaction.

Then you get the amount of mixable and un-mixable inputs.

Now get the default minimum decoys allowed for the current hard-fork.

If the minimum amount of decoys used in the transaction is less than the default minimum decoys allowed then the transaction is only allowed if there is at least one input which is un-mixable¹³.

If there is an un-mixable then the transaction is not allowed to have more than 1 mixable input as well.

Special rules¹⁴:

• For hard-fork 15, both 10 and 15 decoys are allowed.
• From hard-fork 8 upwards, the minimum amount of decoys used in a transaction must be equal to the minimum allowed.

Equal Number Of Decoys

From hard-fork 12, all inputs must have the same number of decoys¹⁵.

Sorted Inputs

From hard-fork 7, the inputs must be sorted by key image, in descending lexicographic order¹⁶.

10 Block Lock

From hard-fork 12, all ring members must be at least 10 blocks old¹⁷.

The Output Must Exist

The output a transaction references must exist in the chain¹⁸.

The Output Must Not Be Locked

The outputs, which are referenced in the inputs, unlock time must have passed, see the chapter on unlock time.