$x^N \cdot y = k$ 曲线AMM数学推导 第一部分：基础理论 1.1 不变量定义 设流动性池包含两种代币： 代币 X：数量为 $x$ 代币 Y：数量为 $y$ 定义不变量函数： \(\boxed{x^N \cdot y = k}\) 其中： $N \in \mathbb{N}^+$：曲线参数（$N=1$ 时退化为经典 Uniswap 模型） $k...

概述 Metis 是 Jupiter v3 中引入的一种专为 DEX 聚合设计的路由算法，它基于经典的 Bellman-Ford 算法进行了重大改进，旨在在多个 DEX 平台之间找到最优的代币交换路径。 核心目标 与传统的图算法不同，Metis 的目标不是找到最短路径，而是找到能够最大化输出代币数量的路径。这使其特别适合 DEX 聚合场景，因为用户关心的是最终能获得多少目标代币，而不是...

Runtime 核心数据 Work 每个 worker 线程对应一个 Worker 实例，它包含： 本地任务队列 local： 类型：LifoDeque，最大容量 256。 用于存储由本线程创建或唤醒的任务。 优先被调度执行，只有在空时才访问全局队列。 支持任务的 工作窃取（work stealing）。 ...

Solana Alpenglow共识白皮书（翻译） ​ 在本文中，我们描述并分析了 Alpenglow —— 一个专为全球高性能权益证明（Proof-of-Stake, PoS）区块链量身打造的共识协议。 ​ 投票组件 Votor 能在如下条件下完成区块的最终确认：若 80% 的权益参与投票，则可在一轮投票中完成确认；若仅 60% 的权益在线并响应，则需 两轮投票 完成确认。这两种投票模...

Narwhal 和 Bullshark 回顾 Narwhal 和 Bullshark 是基于 已认证 DAG（Certified DAG） 的共识协议，旨在通过将数据传播与共识逻辑分离来提升系统吞吐量。Narwhal 充当内存池层（mempool layer），负责数据流的管理，而 Bullshark 则负责共识处理。验证者只需根据 Narwhal 构建的本地 DAG 进行解释，无需额外通...

策略分类 在 Solana 上 MEV（最大可提取价值） 的几种策略主要有： 套利（Arbitrage） 清算（Liquidation） 抢跑（Front-Running） 三明治攻击（Sandwich Attack） 后置插队（Back-Running） Jito MEV 竞标 套利（Arbitrage） 价格差异猎手 想象你是一个精明的商人，在不同的市...

在区块链的语义里，BFT 共识是试图让 N 个验证节点（其中最多存在 f 个拜占庭节点）就一个无限增长的提案（区块或者交易集合）序列达成一致的机制。 众所周知，经典的基于 BFT 的共识算法，无论是 PBFT 还是改进的 HotStuff 通信复杂度都比较高，可扩展性差，且在网络不稳定的情况下延迟很高。 最近几年，随着 DAG 技术在区块链上的广泛应用，一种基于 DAG 的 BFT 共识...

对Sui来说，“Layer 1”意味着它是一个底层区块链系统，其软件运行在一组独立维护的验证节点上， 而“Layer 2”或更高级别的区块链是对L1区块链的补充。L2往往是构建在L1之上，以增加可扩展性或添加原始软件中不存在的功能。 Sui网络架构图展示了应用程序将交易发送给验证节点并进行验证的过程。 “权益证明（PoS）”的概念更复杂一些，区块链中的验证节点必须就发生的哪些交易是有...

TPU 核心数据结构 pub struct Tpu { fetch_stage: FetchStage, // 监听 UDP、QUIC 等 socket 端口， 从网络中接收交易数据包，源自其他节点发送来的交易。 sigverify_stage: SigVerifyStage, // 对接收到的非投票交易进行签名验证。 vote_sigverify_stage: S...