Rustyblocks
Protocol workbench

Order Matching And Settlement Flow

A read-only view of one mechanism, outside the article layout.

Guided simulation

Trace Sybilla from wallet session to proof-backed withdrawal

Follow the real Sybilla path: SessionAuth, notes, relation-linked intents, SurrealDB maker query, Rust matching_loop, events_chain traversal, Cairo replay, and vault withdrawal prep.

Interactive system map

From wallet session to relation graph to withdrawal proof

This follows the real Sybilla shape: Argent authorizes a temporary key, SurrealDB links users, markets, intents, trades, notes, and event-chain records, then Cairo replays that ordered history before the vault withdrawal.

Sybilla flow

SessionAuth -> relations -> matching_loop -> proof replay

resting makers
SessionAuthArgent signs temp keysigned_message recordCairo later swaps verifier keyVault depositclick to fundcreates notes rowResting makers-12 @ 99, -15 @ 101intent_user + intent_marketSurrealDB relationsgraph, not flat rowsaddress_user: address -> userintent_user: intent -> userintent_market: intent -> markettrades: old intent -> new intentnotesawaiting depositkey, owner, amount, is_activeSigned BUY intentclick after depositsession key signs price + qtyOrderbookbest ask: 99 x 12intentpriceqtyMKR B10115MKR A9912next ask: 101 x 15Balance / PnL gateclick after BUYnotes + open positionsMaker querydirection + price + marketsign_felt(quantity) = -1price <= taker_priceid NOT IN tradesRust matching_loopclick after queryconsume maker Apartially consume maker BMaker residueafter matchnew resting intentTrade relationsafter matchmaker, taker, trade_priceTaker result+20 openno residual orderevents_chainclick after matchprevious out -> new outtraverse after last WithdrawCairo input vectorevents + withdraw sigevent count + variantspublic_key + amount + recipientCairo applyreplays collateralverify signaturescompute PnL + withdrawal boundVault withdrawprogram_output calldatafact registered first
Orderbookbest ask: 99 x 12
ASK / BID
intent:maker_b10115resting maker
intent:maker_a9912resting maker
next ask: 101 x 15

resting makers exist before the taker BUY

Selected nodeOrderbook state

An open order is an intent that still belongs to the market and is not already consumed as the input side of a trades relation.

Matching loop outputwaiting for matching_loop

Load makers and run the engine to create trade relations and residual intent state.

Taker intentnot signed

Positive Felt quantity means buy-side direction in the app convention.

Maker ASELL -12 @ 99

resting in the orderbook before the taker arrives

Maker BSELL -15 @ 101

resting in the orderbook before the taker arrives

  1. SessionAuth recorded: Argent authorized a temporary public key; Cairo can later verify this event and switch subsequent checks to the session key.
  2. Relation graph ready: The orderbook already has maker SELL intents linked through intent_user and intent_market. The user later signs the taker BUY.