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

Terms20 shown

DeFi aggregatorA system that compares and connects multiple trading venues or liquidity sources to find a more suitable execution path for a trade.
HODL (Long-Term Holding)Crypto market slang for continuing to hold a position rather than selling it.
Routing AttackAn attack occurring at the Internet infrastructure layer that affects the availability or participation status of networked systems by manipulating data transmission paths.
all-time high (ATH)资产过去达到的最高价格，可作为计算价格恢复倍数时的参考目标。
hackathonPOAP 在 ETHDenver 大会上最初用于奖励参与者的活动类型。
light nodesA node that relies on other network participants to provide data rather than independently verifying all content.
proof-of-workA consensus mechanism in which miners compete to solve mathematical puzzles; the finder of a valid solution may add the next block and receive a block reward.
All-Time High (ATH)The highest price an asset has ever reached in its trading history.
TrustlessnessA system's ability to operate through computer code and mathematical algorithms without relying on a trusted central authority.
Over-the-Counter (OTC) TradingA trading method in which the two parties negotiate the price and quantity directly rather than using an exchange's order book.
CryptographyThe science of using mathematical theories and computational methods to conceal information, encrypt and decrypt data, and ensure information integrity and authenticity.
Formal VerificationA method that represents contract logic and expected behavior as mathematical statements and uses automated tools to check whether they match.
Index InvestingTracking the aggregate performance of a portfolio or token composed of multiple crypto assets, rather than betting solely on a single asset.
Asymptotic analysisA mathematical method for comparing the performance of algorithms as input size grows, which reduces the impact of differences in programming languages and hardware.
Hard forkA protocol change that is not backward-compatible and may split a blockchain into two independently operating paths when there is disagreement.
Stock dividendA dividend distributed by a company to shareholders in additional shares rather than cash.
Automated Market Maker (AMM)A trading mechanism that facilitates transactions using liquidity pools funded by users, rather than relying on traditional order books.
Automated Market Maker (AMM)A mechanism that allows traders to swap tokens against a liquidity pool rather than being matched with a specific counterparty.
Self-custodyUsers withdraw tokens to a compatible wallet under their own control for safekeeping, rather than leaving them in an account on a centralized platform.
Golden ratioA mathematical ratio approximately equal to 1.618, in which the ratio of two quantities equals the ratio of their sum to the larger quantity.

All terms loaded

Definition

Formal Verification

A method that represents contract logic and expected behavior as mathematical statements and uses automated tools to check whether they match.

Read the related lesson