The DeFi terms, defined

Financial services — trading, lending, staking — run by public smart contracts instead of banks or brokers, open to anyone with a wallet. read more ›

The programmable blockchain most DeFi runs on; BlazePhoenix deploys the same bytecode across Ethereum and its L2s (Base, Optimism, Arbitrum, Robinhood Chain). read more ›

An EVM network (chain id 4663) where BlazePhoenix is deployed and wired across seven venues; native ETH, wrapped WETH and the USDG stablecoin, with a Blockscout explorer. read more ›

The US-dollar stablecoin used as the deep quote asset on Robinhood Chain (0x5fc5…d168); BlazePhoenix bridges multi-hop routes through it and WETH. read more ›

The canonical AMM design (V2/V3) whose pools most DEX liquidity lives in; BlazePhoenix routes across it and eight venue shapes. read more ›

The gap between the price you saw and the price you got, caused by the market moving between quote and execution. You cap it with a minimum-output limit (minOut). read more ›

The part of your cost you cause yourself: trading against a finite pool moves the price as you take tokens. A thin pool punishes size the hardest. read more ›

Two piles of tokens a smart contract holds so anyone can trade against them. The ratio of the piles sets the price; real on-chain depth decides your cost. read more ›

A formula that prices trades from a pool’s balances instead of an order book. Constant-product (x·y=k) always has a quote; price impact is where it charges you. read more ›

A marketplace where trades execute directly on-chain against smart contracts, with no custodian ever holding your funds. read more ›

A tool that routes a swap across many pools for the best execution. BlazePhoenix computes the quote on-chain, so no off-chain server is trusted. read more ›

Code deployed on a blockchain that runs exactly as written, with no admin able to change or stop it once its powers are renounced. read more ›

Advertised pool depth a pool’s contract does not actually hold on-chain — the slippage you would really pay and the tokens a honeypot cannot pay out. read more ›

A token engineered so buys succeed and sells fail, via hidden contract logic. The chart climbs while almost nobody can exit. read more ›

An exit scam where insiders drain a token’s liquidity or dump hidden supply, collapsing the price to zero. read more ›

The profit bots extract by reordering, inserting or censoring transactions in a block — the force behind sandwich attacks. read more ›

Seeing a pending transaction and jumping ahead of it to profit from the price move it will cause. read more ›

A bridge that feeds external data (like prices) to a smart contract — and a classic attack surface when the feed can be manipulated. read more ›

The loss a liquidity provider takes when the two pooled tokens diverge in price, versus simply holding them. read more ›

Someone who deposits both tokens into a pool to earn a share of its trading fees, taking on impermanent-loss risk in return. read more ›

The total assets deposited in a protocol — a popularity metric, not a safety guarantee; real liquidity depth is what you can actually exit into. read more ›

Market cap is price × supply (a headline); liquidity is what you can actually exit into. When cap towers over real depth, most of that value is unreachable. read more ›

A verifiable on-chain demonstration that a protocol holds enough assets to cover what it owes — checkable without trusting the team. read more ›

The least amount of output you will accept on a swap; if the trade cannot deliver it, it must revert instead of filling worse. read more ›

The same ETH wrapped as a standard ERC-20 token so contracts handle it uniformly. Always redeemable 1:1; it is not a different asset. read more ›

Standing permission for a contract to move your token. It outlives the trade, so infinite approvals are a live risk you should review and revoke. read more ›

A token engineered to hold a fixed value, usually $1, backed by fiat, crypto or an algorithm. The peg is only as strong as the design behind it. read more ›

The network fee paid to execute a transaction on-chain, priced in the chain’s native coin and varying with congestion. read more ›

Software holding the private keys that control your on-chain funds — not the funds themselves. The seed phrase IS the funds; never share it. read more ›

A property that remains true under every allowed transformation of a system. In BlazePhoenix, safety IS an invariant: the transaction that would break it cannot exist. read more ›

A law stating a measurable quantity never changes as a system evolves. The staking book obeys one — value in equals value accounted — enforced per-transaction. read more ›

Proving software correct by mathematics instead of testing it by example. Invariant-driven contracts push the property into the runtime: the EVM itself refuses violating states. read more ›

A design where each request carries everything needed — no stored session to corrupt. The BlazePhoenix Core is a pure library: no storage, no owner, no upgrade path. read more ›

You sign a desired OUTCOME and off-chain solvers compete to fill it. Powerful, but the auction is a trusted layer — the opposite bet from computing the route on-chain. read more ›

Representing fractions with scaled integers (here WAD = 1e18) because the EVM has no floats. Correctness demands a full-precision multiply so the scaled product never overflows. read more ›

An iterative root-finder that doubles its correct digits each step (quadratic convergence). BlazePhoenix uses its modular form to invert an odd divisor in six steps, from 4 bits to 256. read more ›

Earning token rewards for supplying capital to a protocol. BlazePhoenix pays two distinct flows — emission and borrower interest — from two accumulators over one stake base, with no cross-subsidy. read more ›

The pseudonymous author of the Bitcoin whitepaper (2008), whose opening sentence — payments without a financial institution — defines the trust-minimization vision the Nakamoto Test measures against. read more ›

Co-founder of Ethereum; his 2014 whitepaper generalised Bitcoin's trust removal from payments to arbitrary computation — the lineage every serious smart-contract protocol builds on. read more ›

The minimum-output floor RATE the Router re-derives ON-CHAIN at execution from measured amounts: callers may tighten it, never relax it. The rate is clamped so it never falls below 80%, and it is applied to the final hop’s on-chain quote before the protocol fee. read more ›

Formalizes Minimum output (minOut).

The same guarantee applied to each leg of a split route rather than to the total: every leg must deliver at least 8,000 basis points of its planned output, so a route cannot hide a bad leg behind a good one. read more ›

Formalizes Minimum output (minOut).

The pool-fitness field: a routed-swap counter decaying on the wall clock — halving roughly every 6.8 hours of silence and reaching zero after about 9 days — weighted by log-depth buckets, with bridge and concentration bonuses. Standing is earned only by being routed through, and it decides which venues are considered, never what any of them pays. read more ›

Formalizes Liquidity pool.

The single equation the staking book obeys, enforced per-transaction by the conserves guard: any transaction that would break it reverts, and anyone can read the result free at any block. read more ›

Formalizes Conservation law.

The believability filter anchored on the pool with the largest REAL tokenOut balance — truth votes with capital, not with mere existence. It raises the cost of an attack rather than providing statistical robustness: an attacker who genuinely is the deepest pool controls the anchor. read more ›

Formalizes Blockchain oracle.

The width of that filter: a candidate whose rate sits outside ±5% of the anchor is dropped before routing. A single candidate is never filtered, since a band around one observation carries no information. The width is a product decision, not a derived quantity. read more ›

Formalizes Blockchain oracle.

The order in which venues should join a route under the optimal split: descending fee-adjusted spot price γy/x, each venue’s marginal return at zero input, computable from reserves alone with no oracle and no simulation. read more ›

Formalizes Automated market maker (AMM).

Every routing decision — admission, ordering, splitting and the floors — computed from on-chain pool state and contract constants alone. The protocol consumes no external price source, so it inherits no oracle’s failure modes and cannot import one’s manipulation. read more ›

Formalizes Blockchain oracle.

A guarantee whose constraints are enforced on-chain by the code that executes the trade, rather than produced off-chain and merely validated. A statement about WHERE a guarantee lives: auditable rather than promised — not automatically stronger, but checkable. read more ›

Formalizes Decentralized exchange (DEX).

Execution-grade requoting by revert-extraction: run the pool’s real swap inside a call, revert, decode the deltas — the revert is the answer, not an error. read more ›

Formalizes Automated market maker (AMM).

One quote function spanning eight AMM species — closed-form math where formulas are truth, ask-the-pool where replication could lie. read more ›

Formalizes Automated market maker (AMM).

A pool’s entire working state packed into one 256-bit storage word, so scoring a candidate costs a single SLOAD instead of several. read more ›

Formalizes Smart contract.

CREATE2 address derivation across eight venue shapes — a legitimate pool’s address is computable before it exists, so impersonation becomes an address mismatch. read more ›

Formalizes Smart contract.

The venue registry that learns liquidity by executing it: every settled swap ticks or inserts a pool; vitality decay and Ψ-ranked eviction curate it with no keeper. read more ›

Formalizes Decentralized exchange (DEX).

Five falsifiable questions — settlement, verification, survival, permission, transparency — that measure any protocol against the founding vision of the Bitcoin and Ethereum whitepapers. read more ›

Formalizes Decentralized finance (DeFi).

Governing a system by a mathematical invariant checked at the boundary, failing closed on violation — the pattern behind the protocol, and a template for aligning AI agents. read more ›

Formalizes Invariant (mathematics).

The 512-bit multiply-then-divide (mulDiv) every BlazePhoenix proportion flows through: the intermediate product never overflows, so no reward, ratio or interest slice drifts by a single wei. read more ›

Formalizes Fixed-point arithmetic.

Two MasterChef-style accumulators over one stake base — emission on boosted effective stake, interest to pure savers only — so no staking role subsidises another, all under one solvency invariant. read more ›

Formalizes Yield farming.