Skip to main content
This glossary defines the terms that appear most often in the Intention documentation. For longer explanations and design rationale, follow the cross-references into the architecture and trading sections.

ADL — Auto-Deleveraging

The protocol-native mechanism by which open positions are forcibly closed to absorb losses that exceed the insurance fund’s capacity. Selection is computed deterministically from a combination of unrealized profit-and-loss and effective leverage. See ADL.

BFT — Byzantine Fault Tolerant

A consensus protocol that remains safe and live in the presence of arbitrarily malicious participants, subject to a bound on the fraction of faulty stake. IntentionBFT is BFT under a 2f+12f+1 stake-weighted threshold.

Byte determinism

The property that two honest nodes replaying the same finalized block against the same pre-state produce byte-identical post-state, events, and per-transaction outputs. The user-facing form is OTD. Enforced by sorted-container discipline, fixed-point arithmetic, and the Differential Test Harness.

Canonical Sequencing Commitment (CSC)

The cryptographic commitment, made by the block proposer and certified by 2f+12f+1 validators, to the specific ordering of transactions within a block. The CSC is the consensus-layer hook that anchors OTD and PTAD. See IntentionBFT.

Cross margin

A margin mode in which all positions in an account share a single pool of collateral. Profits on one position can offset losses on another, but a sufficiently large loss on any position can liquidate the entire account. See Margin modes.

Funding rate

The periodic payment exchanged between long and short positions in a perpetual market to keep the contract price tethered to the underlying spot price. Funding is settled by the protocol on a fixed schedule. See Funding.

Index price

The block’s canonical observation of the external spot market for an instrument’s underlying, delivered through the in-consensus price quorum. The index is the input to mark-price construction; it is not the price at which trades execute. See Index price.

Intention Exchange

The flagship perpetual futures DEX built on the Intention L1, live at app.intention.xyz. Operates a full central limit order book, isolated and cross margin, protocol-native liquidations, and on-chain liquidity vaults. Intention Exchange does not implement its own matching engine or risk pipeline — it inherits both from the protocol below it via IntentionKernel and IntentionBFT. It is the first application to use the protocol’s guarantees in production; other financial workloads will follow on the same substrate.

IntentionBFT

The consensus protocol of Intention. A Byzantine-fault-tolerant, partially synchronous, stake-weighted protocol from the HotStuff family, extended with canonical sequencing commitments, in-consensus price quorums, batch availability decoupling, and stake-weighted leader reputation. See IntentionBFT.

IntentionKernel

The deterministic state-transition kernel of Intention — not a general-purpose virtual machine. A closed-world execution layer whose instruction set is the enumerated set of typed financial primitives (order, cancel, match, mark, liquidate, fund, settle, transfer). See IntentionKernel.

Isolated margin

A margin mode in which each position has its own collateral allocation. A loss on the position cannot exceed its allocated collateral, and cannot drain other positions in the same account. See Margin modes.

Liquidation

The forced closure of a position whose account equity has fallen below the maintenance margin requirement. Intention liquidates in tiers — order book, liquidation vault, insurance fund, and finally ADL. See Liquidations.

Mark price

The protocol’s smoothed, manipulation-resistant settlement reference. Computed each block as the median of up to five candidate prices derived from the index, the on-chain book, and exponential-moving-average components. Drives unrealized P&L and liquidations. See Mark price.

Open interest (OI)

The total notional of all open positions in a market, counted on one side. Each market has an OI cap; see OI limits.

OTD — Order-Time Determinism

The protocol-native guarantee (G1) that any two honest nodes replaying the same finalized block produce byte-identical post-state, event stream, and per-transaction output. See OTD.

PTA — Price-Transaction Atomicity

The protocol-native guarantee (G2) that prices used in settlement-sensitive operations are signed by the same 2f+12f+1 validator set, in the same BFT round, as the transactions that consume them. See PTA.

PTAD — Per-Transaction Attribution Discipline

The protocol-native guarantee (G4) that every state change and every event produced during block execution is cryptographically bound to the specific user transaction that triggered it, even under batch matching. See PTAD.

Reduce-only

An order modifier that allows the order to decrease an existing position but never to open or extend one. Used to safely manage exits without risking accidental position flips. See Reduce-only.

RNS — Risk-Native Semantics

The protocol-native guarantee (G3) that liquidation, insurance fund accounting, auto-deleveraging, and funding settlement are protocol-native state machines executed atomically with matching, in the same block, under the same prices. See RNS.

Self-trade prevention

A protocol-level rule that prevents an order from matching against another order from the same account, eliminating wash trading at the matching layer. See Self-trade prevention.

Tick size

The smallest allowed price increment for orders in a given market. Each market also has a lot size that defines the smallest allowed quantity increment. See Markets and Precision.

TWAP

Time-Weighted Average Price. As an order type, a strategy that splits a large order into many smaller child orders spread over time to reduce market impact. See TWAP.

Vault

A protocol-managed pool of capital that supplies liquidity to the order book and absorbs liquidations. See Vaults.

VES — Verifiable Execution Stream

Intention’s user-facing, protocol-level observable: a complete, byte-deterministic, cryptographically verifiable stream of block execution, exposed as a streaming RPC interface. The user-facing form of PTAD.