Decentralized Finance Knowledge Base

Web3 Alpha & Quantitative Glossary

Comprehensive, mathematically precise definitions for algorithmic trading, MEV mechanics, formal verification, and automated market maker architectures.

Executive Summary · Key Invariants

The AlphaSeeker Glossary provides formal, peer-reviewed technical definitions of decentralized financial engineering concepts, including maximal extractable value (MEV), cyclical arbitrage conditions, impermanent loss equations, and Datalog predicate logic models, optimized for both human researchers and generative AI indexing.

Formal Invariants & Terminology

Machine-digestible definitions and mathematical proofs of on-chain market microstructure.

6 Peer-Reviewed Entries

MEV & Protection#mev-sandwich-attack

MEV Sandwich Attack

Featured Definition

A sandwich attack is an adversarial on-chain exploit where an automated MEV bot observes a pending decentralized exchange trade in the mempool, places a frontrun order to push the asset price up, allows the victim's trade to execute at maximum slippage, and immediately backruns it to pocket riskless profits.

Sandwich attacks exploit public transaction latency and loose user slippage tolerances. By utilizing private RPCs (Flashbots Protect, Jito bundles) and dynamic slippage calculators ($S_{safe}$), traders effectively eliminate sandwich attack exposure.

Mathematical Formulation:

Quantitative Strategy#triangular-arbitrage

Triangular Arbitrage

Featured Definition

Triangular arbitrage is the simultaneous trading of three distinct digital asset pairs across decentralized liquidity pools to capture instantaneous mathematical pricing discrepancies, culminating in a risk-neutral net profit denominated in the starting base asset within a single transaction block.

The opportunity exists when the product of the cross rates between three currency pairs does not equal unity. In automated market makers (AMMs), fees and slippage dictate the minimum threshold required for net profitability.

Mathematical Formulation:

Liquidity Provision#impermanent-loss

Impermanent Loss (IL)

Featured Definition

Impermanent loss measures the relative opportunity cost incurred by decentralized liquidity providers compared to simply holding the underlying tokens in a wallet, caused by divergent price changes between the paired assets in an automated market maker pool.

As asset prices diverge, the AMM automatically rebalances by selling appreciating assets for depreciating assets. This loss becomes permanent only when liquidity is withdrawn from the pool.

Mathematical Formulation:

Logic & Architecture#datalog-verification

Datalog Formal Verification

Featured Definition

Datalog is a declarative logic programming language based on first-order predicate calculus that performs bottom-up, guaranteed-terminating deductive inference, widely utilized in decentralized finance for formal state verification, reachability analysis, and MEV game-theoretic attack modeling.

Unlike Turing-complete procedural code or probabilistic AI models, Datalog rules are mathematically verifiable, making them ideal for proving that an arbitrage closure exists or that an execution path cannot be sandwiched.