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

Terms50 shown

BscScanA BNB Chain block explorer that can be used to verify BEP-20 token contract addresses.
DAO (Decentralized Autonomous Organization)A community-led organization that uses Ethereum smart contracts to establish its fundamental rules and execute collective decisions.
ERC-1155An Ethereum token standard that lets a single smart contract create and manage multiple fungible and non-fungible token types.
ERC-20A widely used token standard on the Ethereum network that specifies implementation rules for token contracts and supports ecosystem application integration.
EVMThe Ethereum Virtual Machine; networks compatible with it can run Ethereum-style smart contract applications.
Ethereum Virtual Machine (EVM)以太坊网络节点运行的虚拟机，用于执行 smart contracts。
Futures contracts文中所述的期货合约市场中，参与者可以交易合约而不一定打算交割标的资产。
Mark PriceThe exchange-calculated reference for the contract’s fair value, used to measure unrealized profit and loss, check margin, and trigger liquidation.
Platform tokensAssets used to support blockchain network operations, pay transaction fees, and execute smart contracts.
SPLA standard that specifies how tokens operate and interact on the Solana network, and supports interoperability with wallets and smart contracts.
Token honeypotsA trap that allows users to buy tokens but uses malicious smart contracts to prevent ordinary users from selling or impose heavy penalties on them.
TradFi perpetual contractA perpetual contract that tracks traditional financial assets such as stocks, ETFs, commodities, or indices, without conferring ownership of the underlying asset.
U-Margined ContractA contract type supported by the derivatives tool that lets users query market data, trade, and manage positions through related interfaces.
USDT-Margined Perpetual ContractA derivative with no expiration date that is priced and settled in USDT and tracks the price of an underlying asset.
smart contract可按预设规则追踪产品、确定所有权，并在货物交付等条件满足时自动执行付款的系统。
smart contract security audit针对已部署智能合约代码的特定风险进行的安全审计。
smart contracts在 Ethereum Virtual Machine (EVM) 中执行的程序。
Sovereign RollupA rollup that acts as both an execution and settlement layer and publishes data blocks directly without requiring validation by a Layer 1 smart contract.
Counterparty RiskThe risk that one party to a financial transaction defaults or fails to meet its contractual obligations, causing a financial loss to the other.
Manual AuditA review of contract code, design, and deployment by experts to identify security risks and assess overall security.
Traditional NFTA token usually minted on a smart-contract blockchain to represent a digital item and potentially link to off-chain metadata.
Long PositionA contract position taken when a trader expects the underlying asset's price to rise.
Short PositionA contract position taken when a trader expects the underlying asset's price to fall.
Atomic SwapA technique that uses smart contracts to exchange two cryptocurrencies directly without relying on a centralized intermediary such as an exchange.
Decentralized exchange (DEX)A platform that operates through blockchain smart contracts and typically allows users to trade directly from their own wallets.
Decentralized Application (DApp)An application that operates on blockchain technology and smart contracts, which can be used to build user-facing AI agent services.
Physical deliveryUpon expiration of a futures contract, the actual underlying asset is delivered to the buyer.
Hedging close-outEstablishing a contract of equal size in the opposite direction to offset the original futures position.
Rollover CostCosts that may arise when switching to a new contract after a futures contract expires; over the long term, they may erode the returns of products employing futures strategies.
Bollinger Band SqueezeA condition in which the upper and lower bands contract tightly, indicating currently low volatility and potentially foreshadowing increased volatility, but not the direction of price movement.
Formal VerificationA method that represents contract logic and expected behavior as mathematical statements and uses automated tools to check whether they match.
AuthorizationPermission allowing another entity or contract to perform specified operations; the scope and authorized party must be reviewed.
Data LayerAn architectural layer responsible for organizing and storing blockchain state, transaction details, and smart contract data.
FlagA narrow upward or sideways consolidation phase that appears after the flagpole, during which trading volume typically contracts.
Smart contractA program that executes according to network rules and may contain vulnerabilities, upgrade privileges, and external dependencies.
Smart Contract LayerThe architectural layer responsible for smart contract automation, verification, and execution.
Smart Contract ParallelizationExecuting multiple smart contracts at the same time to improve the performance, scalability, and responsiveness of decentralized applications.
Smart Contract WalletA cryptocurrency wallet that uses programmable smart contracts to set transaction rules, automatically execute operations, and configure security measures.
Futures contractA standardized derivatives agreement under which both parties agree to buy or sell a specified quantity of an asset at a predetermined price on a specified future date.
Leveraged ETF Perpetual ContractA derivative contract with no expiration date that tracks the price of a leveraged ETF and does not represent ownership of actual ETF shares.
Model CheckingA method that examines the states and behavior of a formal model to verify whether a contract meets its expected specifications.
Perpetual contractA derivative contract with no expiration date that can be held continuously, using a funding rate mechanism to help keep its price close to that of the underlying asset.
Premium IndexAn indicator reflecting the difference between a contract price and the spot price of the corresponding asset; it is one of the main factors used to calculate the funding rate.
Gas FeeThe transaction fee required to execute an EVM transaction; its amount may vary depending on contract complexity and network activity.
State growthThe phenomenon of persistent data, such as accounts and contracts, continuously increasing; excessively rapid growth raises nodes’ storage and operating costs.
Cash SettlementUpon the expiration of a futures contract, cash is transferred based on the difference between the contract price and the market price of the underlying asset.
Algorithmic stablecoinA type of stablecoin that primarily uses algorithms and smart contracts to adjust supply and demand in an attempt to maintain a target price; reserve arrangements vary by design.
System Reward ContractA smart contract that receives one-sixteenth of block gas fees, has a balance cap of 100 BNB, and uses the funds to subsidize cross-chain packaging.
Contractionary monetary policyA policy that curbs excessively rapid economic growth and inflation by reducing the money supply or raising interest rates.
Automated Theorem ProvingA type of automated check in formal verification used to determine whether a contract's specifications and properties hold.

Definition

Automated Theorem Proving

A type of automated check in formal verification used to determine whether a contract's specifications and properties hold.

Read the related lesson