Skip to content

Market Projects People Data Learn Security

Log in / Sign up

Market People Security

Market Projects Data Learn Account

Loading…

Less noise. More understanding.

About BIBIBI Daily Digest Privacy & Account Security

For information and learning only. Not investment advice. Crypto assets involve risk.

© 2026 BIBIBI

Glossary

Terms24 shown

Atomicals ProtocolAn open-source system for creating UTXO static or dynamic digital objects on blockchains that adopt the model.
C2CA peer-to-peer trading model in which buyers and sellers can directly select their counterparties, set prices, and arrange transactions without relying on a centralized platform for order matching.
ChatGPTChatGPT is a language processing model developed by OpenAI that can understand and generate human-like text, belonging to the Generative Pre-trained Transformer (GPT) series.
RFQ Trading DeskA trading model in which a professional market maker returns a signed quote each time a trade request is received.
SidechainsAn independent blockchain that runs in parallel to the main chain and connects to it via a bridge, while having its own consensus mechanism and security model.
UTXOUTXO Also known as an “unspent transaction output,” it is a model used by Bitcoin and other blockchains to organize and track available transaction value.
UTXO ModelBitcoin’s transaction model, in which each transaction output is an independent unit used as an input in subsequent transactions.
Web2In the current mainstream internet model, users’ data and history are typically stored and controlled by the platforms they use.
client-server modelsA traditional architecture in which data is provided to clients by a centralized server, in contrast to the P2P model, which does not rely on a central host.
stock-to-flow modelA framework for analyzing scarcity by comparing existing stock with newly added supply, but it cannot reliably predict future prices.
Centralized Finance (CeFi)A financial services model that relies on companies or other intermediaries to custody assets and process transactions.
Optimistic ParallelizationA model that assumes transactions are independent and executes them concurrently, then re-executes the relevant transactions if dependencies or errors are detected.
Transaction nonceA sequential counter assigned to a wallet address on account-model blockchains, used to order transactions and prevent duplicate submissions.
Shared securityA model in which a new service borrows security from existing staked assets and a trust foundation, without having to build a security system from scratch.
Endogenous variableA variable in an economic model that is determined or changed by other variables within the model and their interactions.
Exogenous variableA variable determined outside the model that can affect the model’s results but is not influenced by the model’s internal dynamics.
Logarithmic RegressionA method used to smooth price fluctuations and model long-term price trends; its underlying assumptions may not continue to hold as the market changes.
Proof of Authority (PoA)A consensus model in which validators are preselected based on their reputation; the key requirement for becoming a validator is a trusted reputation rather than staked assets.
model context protocol (MCP)A standard that enables compatible AI tools to interact with external services; Binance Agent OS connects through its endpoints.
Model checkingA method for verifying whether a contract satisfies the expected specifications by examining the states and behavior of a formal model.
Attention mechanismThe attention mechanism is a key component of the Transformer, enabling the model to focus on relevant parts of the input text and capture relationships between words.
Automated market maker (AMM) modelA trading model that relies on liquidity pools for token swaps and dynamically sets prices based on the proportion of assets in the pool.
Order Book EWMA ModeA pricing model that derives the order-book-impact mid-price and uses an exponentially weighted moving average to smooth the index price.
Order book modelA trading model in which buyers and sellers set prices independently, and buy and sell orders facilitate matching and price discovery.

All terms loaded

Definition

Model checking

A method for verifying whether a contract satisfies the expected specifications by examining the states and behavior of a formal model.

Read the related lesson