DeFi术语， 已定义

金融服务——交易、借贷、质押——由公开的智能合约而非银行或券商运行，任何拥有钱包的人都能使用。 阅读更多 ›

大多数DeFi运行其上的可编程区块链；BlazePhoenix在Ethereum及其L2（Base、Optimism、Arbitrum、Robinhood Chain）上部署相同的字节码。 阅读更多 ›

一个EVM网络（chain id 4663），BlazePhoenix在此部署并接入七个交易场所；有原生ETH、封装的WETH和USDG稳定币，并配有Blockscout浏览器。 阅读更多 ›

在Robinhood Chain上用作深度计价资产的美元稳定币（0x5fc5…d168）；BlazePhoenix通过它和WETH桥接多跳路由。 阅读更多 ›

规范的AMM设计（V2/V3），大多数DEX流动性都存在于其池中；BlazePhoenix在其上以及八种交易场所形态之间进行路由。 阅读更多 ›

你看到的价格与你成交的价格之间的差距，由报价与执行之间市场变动所致。你用最小输出下限（minOut）来给它设上限。 阅读更多 ›

你自己造成的那部分成本：对一个有限的池进行交易，随着你取走代币，价格就会移动。越浅的池对大额交易的惩罚越重。 阅读更多 ›

智能合约持有的两堆代币，任何人都能与之交易。两堆的比例决定价格；而链上真实的深度决定你的成本。 阅读更多 ›

一个从池的余额而非订单簿为交易定价的公式。恒定乘积（x·y=k）总有报价；价格冲击正是它向你收费之处。 阅读更多 ›

一个交易直接在链上对智能合约执行的市场，从始至终没有任何托管方持有你的资金。 阅读更多 ›

一个在众多池之间为一笔兑换路由以求最佳执行的工具。BlazePhoenix在链上计算报价，因此无需信任任何链下服务器。 阅读更多 ›

部署在区块链上的代码，完全按所写的方式运行；一旦其权限被放弃，任何管理员都无法更改或停止它。 阅读更多 ›

所宣传的池深度，而池的合约在链上实际并不持有——即你真正会付出的滑点，以及蜜罐无法兑付的代币。 阅读更多 ›

一种通过隐藏的合约逻辑设计成买入成功、卖出失败的代币。K线一路攀升，却几乎无人能够退出。 阅读更多 ›

一种退出骗局，内部人抽干代币的流动性或抛售隐藏的供应，使价格崩塌至零。 阅读更多 ›

机器人通过在一个区块内重排、插入或审查交易而攫取的利润——正是三明治攻击背后的力量。 阅读更多 ›

看到一笔待处理的交易，并抢在其前面，从它将引发的价格变动中获利。 阅读更多 ›

把外部数据（如价格）喂给智能合约的桥梁——当该数据源可被操纵时，它也是一个经典的攻击面。 阅读更多 ›

当池中两种代币的价格发生背离时，流动性提供者相比单纯持有它们所承受的损失。 阅读更多 ›

把两种代币都存入池中以赚取其交易手续费分成的人，作为回报承担无常损失的风险。 阅读更多 ›

存入某协议的资产总额——是一个受欢迎程度的指标，而非安全保证；真实的流动性深度才是你实际能退出到的地方。 阅读更多 ›

市值是价格×供应量（一个头条数字）；流动性才是你实际能退出到的地方。当市值远高于真实深度时，那份价值的大部分都无法触及。 阅读更多 ›

一种可验证的链上证明，表明某协议持有足够资产以覆盖其所欠——无需信任团队即可核查。 阅读更多 ›

你在一笔兑换中愿意接受的最少输出量；如果这笔交易无法交付该数量，它必须回滚，而不是以更差的条件成交。 阅读更多 ›

封装为标准ERC-20代币的同一份ETH，以便合约统一处理它。始终可按1:1赎回；它不是另一种资产。 阅读更多 ›

授予某合约转移你代币的长期许可。它比这笔交易存续得更久，因此无限授权是一种现实存在的风险，你应当审查并撤销。 阅读更多 ›

一种被设计成保持固定价值（通常为$1）的代币，由法币、加密资产或算法背书。锚定的牢固程度取决于其背后的设计。 阅读更多 ›

为在链上执行一笔交易而支付的网络费用，以该链的原生币计价，并随拥堵情况而变化。 阅读更多 ›

持有控制你链上资金的私钥的软件——而非资金本身。助记词就等于资金；切勿分享。 阅读更多 ›

在系统每一种被允许的变换下都保持为真的性质。在BlazePhoenix中，安全性就是一个不变量：会破坏它的那笔交易根本无法存在。 阅读更多 ›

一条规律，指出某个可测量的量在系统演化时永不改变。质押账本遵循一条这样的规律——存入的价值等于被记账的价值——并逐笔交易强制执行。 阅读更多 ›

用数学证明软件正确，而非用逐例测试来检验它。以不变量驱动的合约把该性质压入运行时：EVM本身就会拒绝违反的状态。 阅读更多 ›

一种每个请求都携带所需一切的设计——不存在可被破坏的已存会话。BlazePhoenix Core是一个纯粹的库：没有存储、没有所有者、没有升级路径。 阅读更多 ›

你对一个期望的结果签名，链下求解者竞相去满足它。强大，但那场拍卖是一个受信任的层——与在链上计算路由恰好相反的赌注。 阅读更多 ›

用缩放后的整数表示分数（此处WAD = 1e18），因为EVM没有浮点数。正确性要求一次全精度乘法，使缩放后的乘积绝不溢出。 阅读更多 ›

一种迭代求根法，每一步都使其正确位数翻倍（二次收敛）。BlazePhoenix使用它的模形式，在六步内把一个奇数除数从4位求逆到256位。 阅读更多 ›

因向某协议供给资本而赚取代币奖励。BlazePhoenix从单一质押基数之上的两个累加器支付两条不同的现金流——排放与借款人利息——彼此互不补贴。 阅读更多 ›

比特币白皮书（2008）的匿名作者，其开篇一句——无需金融机构的支付——定义了Nakamoto Test据以衡量的信任最小化愿景。 阅读更多 ›

Ethereum的联合创始人；他2014年的白皮书把比特币对信任的移除从支付推广到任意计算——每一个严肃的智能合约协议都由此传承而来。 阅读更多 ›

Router在执行时根据实测数量在链上重新推导出的最小输出下限费率：调用方只能收紧它，绝不能放松它。该费率被钳制得永不低于80%，并在协议手续费之前应用于最后一跳的链上报价。 阅读更多 ›

形式化 Minimum output (minOut).

同一保证被应用于分拆路由的每一条腿而非总额：每条腿都必须交付其计划输出的至少8,000个基点，因此一条路由无法把一条坏腿藏在一条好腿背后。 阅读更多 ›

形式化 Minimum output (minOut).

池的健康度场：一个按实际墙钟时间衰减的路由兑换计数器——每约6.8小时的沉默便减半，约9天后归零——按对数深度分桶加权，并带有桥接与集中度加成。地位只能靠被路由通过来赢得，它决定哪些场所被纳入考虑，而绝不决定它们各自支付多少。 阅读更多 ›

形式化 Liquidity pool.

质押账本所遵循的那唯一一个方程，由conserves守卫逐笔交易强制执行：任何会破坏它的交易都会回滚，而任何人都可以在任意区块免费读取其结果。 阅读更多 ›

形式化 Conservation law.

以持有最大真实tokenOut余额的池为锚的可信度过滤器——真相用资本而非仅凭存在来投票。它抬高的是攻击的成本，而非提供统计上的稳健性：一个确实是最深池的攻击者便控制了这个锚。 阅读更多 ›

形式化 Blockchain oracle.

该过滤器的带宽：费率落在锚的±4%之外的候选者，在路由之前就被剔除。单个候选者永不被过滤，因为围绕单一观测的带宽不携带任何信息。带宽是一项产品决策，而非推导出的量。 阅读更多 ›

形式化 Blockchain oracle.

在最优分拆下各场所应加入路由的顺序：按经手续费调整的现货价γy/x降序，即每个场所在零输入处的边际回报，仅凭储备即可计算，无需预言机也无需模拟。 阅读更多 ›

形式化 Automated market maker (AMM).

每一个路由决策——准入、排序、分拆以及下限——都仅凭链上池状态和合约常量计算得出。该协议不消耗任何外部价格源，因此它既不继承任何预言机的故障模式，也无法引入某一预言机的操纵。 阅读更多 ›

形式化 Blockchain oracle.

一种保证，其约束由执行该交易的代码在链上强制执行，而非在链下产生后仅被验证。这是一个关于保证存在于何处的陈述：可审计而非仅被承诺——并非自动更强，但可核查。 阅读更多 ›

形式化 Decentralized exchange (DEX).

通过回滚提取实现的执行级重新报价：在一次调用内运行池的真实兑换，回滚，解码增量——回滚即是答案，而非错误。 阅读更多 ›

形式化 Automated market maker (AMM).

一个横跨八种AMM物种的报价函数——在公式即真理之处用闭式数学，在复制可能撒谎之处则问池。 阅读更多 ›

形式化 Automated market maker (AMM).

把一个池的全部工作状态打包进单个256位的存储字，因此为一个候选者评分只需一次SLOAD而非数次。 阅读更多 ›

形式化 Smart contract.

横跨八种场所形态的CREATE2地址推导——一个合法池的地址在它存在之前就可计算，于是冒名顶替便变成了一次地址不匹配。 阅读更多 ›

形式化 Smart contract.

通过执行流动性来学习流动性的场所注册表：每一笔结算的兑换都会更新或插入一个池；活力衰减与Ψ排序的驱逐无需任何看护者便可对其加以甄选。 阅读更多 ›

形式化 Decentralized exchange (DEX).

五个可证伪的问题——结算、验证、存续、许可、透明——用以对照比特币与Ethereum白皮书的立基愿景来衡量任何协议。 阅读更多 ›

形式化 Decentralized finance (DeFi).

以一个在边界处受检、违反即失败关闭的数学不变量来治理系统——这是该协议背后的模式，也是对齐AI智能体的一个范式。 阅读更多 ›

形式化 Invariant (mathematics).

BlazePhoenix每一个比例都要流经的512位先乘后除（mulDiv）：中间乘积绝不溢出，因此任何奖励、比率或利息切片都不会偏移哪怕一个wei。 阅读更多 ›

形式化 Fixed-point arithmetic.

单一质押基数之上的两个MasterChef式累加器——排放归于经加成的有效质押，利息只归于纯储蓄者——因此没有任何质押角色补贴另一个，全都置于同一个偿付能力不变量之下。 阅读更多 ›

形式化 Yield farming.