
万字研报:Solana上MEV的格局演进与是非功过
原文链接:点击详情 前言 solana 已然五年,其中 Jito(solana 上 MEV 基础设施龙头)的发展不足 3 年,但市占率飞速从最初的 15% 发展到如今的 95% ,可以说,大多数的 Solana 上的 Meme 买卖交易,都得经过他! 全程无广,请读者摆好板凳,点上收藏**,让十四君深度底层原理,带你逐渐揭晓**:什么是 Jito-solana?为什么他可以2 年占满市场?Solana 对比以太坊的核心机制的差异。你的交易为什么总是被夹?Solana 未来的 MEV 格局会如何发展?1、什么是 Jito-solana?当然 Solana 上做 mev 基础设施的不只是 Jito-solana(95% 市占率的龙头),还有其他 Paladin、Deeznode、BlockRazor、BloxRoute、Galaxy、Nozomi 等等,不同切入点的厂商。本文会以核心龙头的发展历程和技术原理来展开,在后续再点评这几家的优缺和切入点。1.1、Jito 的发展时间线首先,让我们用时间线来看看他的市占发展速度的神奇之处,请关注其中的质押率以及相关伙伴。21 年底成立22 年...

Delve into the risks behind the small matter of EVM-contract classification
In the field of smart contracts, the "Ethereum Virtual Machine EVM" and its algorithms and data structures are first principles. This paper starts from why the contract should be classified, combined with what kind of malicious attacks each scenario may face, and finally gives a set of relatively secure contract classification analysis algorithm. Although the technical content is higher, it can also be used as a miscellaneous reading A look at the dark forest of games between decentralized sy...

Research report of ten thousand words: The pattern evolution and merits and demerits of MEV on Solan…
introduction solana has been five years, of which Jito (the leader of MEV infrastructure on solana) has developed less than three years, but its market share has rapidly grown from the initial 15% to 95% today. It can be said that most of the Meme trading transactions on Solana have to go through him! The whole process is not wide, please readers set up the bench, click on the collection,Let the 14 Jun depth of the underlying principle, with you gradually revealed:What is Jito-solana? Why can...

万字研报:Solana上MEV的格局演进与是非功过
原文链接:点击详情 前言 solana 已然五年,其中 Jito(solana 上 MEV 基础设施龙头)的发展不足 3 年,但市占率飞速从最初的 15% 发展到如今的 95% ,可以说,大多数的 Solana 上的 Meme 买卖交易,都得经过他! 全程无广,请读者摆好板凳,点上收藏**,让十四君深度底层原理,带你逐渐揭晓**:什么是 Jito-solana?为什么他可以2 年占满市场?Solana 对比以太坊的核心机制的差异。你的交易为什么总是被夹?Solana 未来的 MEV 格局会如何发展?1、什么是 Jito-solana?当然 Solana 上做 mev 基础设施的不只是 Jito-solana(95% 市占率的龙头),还有其他 Paladin、Deeznode、BlockRazor、BloxRoute、Galaxy、Nozomi 等等,不同切入点的厂商。本文会以核心龙头的发展历程和技术原理来展开,在后续再点评这几家的优缺和切入点。1.1、Jito 的发展时间线首先,让我们用时间线来看看他的市占发展速度的神奇之处,请关注其中的质押率以及相关伙伴。21 年底成立22 年...

Delve into the risks behind the small matter of EVM-contract classification
In the field of smart contracts, the "Ethereum Virtual Machine EVM" and its algorithms and data structures are first principles. This paper starts from why the contract should be classified, combined with what kind of malicious attacks each scenario may face, and finally gives a set of relatively secure contract classification analysis algorithm. Although the technical content is higher, it can also be used as a miscellaneous reading A look at the dark forest of games between decentralized sy...

Research report of ten thousand words: The pattern evolution and merits and demerits of MEV on Solan…
introduction solana has been five years, of which Jito (the leader of MEV infrastructure on solana) has developed less than three years, but its market share has rapidly grown from the initial 15% to 95% today. It can be said that most of the Meme trading transactions on Solana have to go through him! The whole process is not wide, please readers set up the bench, click on the collection,Let the 14 Jun depth of the underlying principle, with you gradually revealed:What is Jito-solana? Why can...

Subscribe to shisi.eth

Subscribe to shisi.eth
Share Dialog
Share Dialog
<100 subscribers
<100 subscribers


引言近日,比特币 L2 项目 Bitlayer Labs 完成了 1100 万美元 A 轮融资,由 Franklin Templeton和ABCDE 联合领投。与此同时,Bitlayer 成为了首个获得 ETF 许可机构投资的比特币基础设施项目。
Bitlayer 是一个 BTC 的 L2 项目,初衷是提高 BTC 的扩展性,解锁其生态的潜力。在项目特色上,Bitlayer 是第一个基于 BitVM 的 L2,同时也是第一个完全继承了 BTC 安全性并且图灵完备的 L2。
BTC L2 的本质是跨链桥,目前 L2 项目方的跨链桥方案各有各的特色,但是站在技术角度来看,大多数跨链桥方案的本质是多签。
多签方案其实存在严重的信任问题,目前因为多签导致的资金被盗事件屡见不鲜。
笔者认为,L2 作为 L1 的补充,不应该只局限于生态的扩展,同时应该继承 L1 的安全性。
Bitlayer 作为第一个基于 BitVM 的 L2,实现了信任最小化,对安全性和扩展性实现了很好的平衡。接下来不妨跟随十四君的技术视角,探索 Bitlayer 是如何作为 L2 扩展 BTC 的同时又兼顾安全性的。
Bitlayer 的基本架构如下图所示(参考 Bitlayer 白皮书,见附录)。

可以看到 Bitlayer 的业务流程主要可以划分为三个阶段,分别是交易处理阶段、交易验证阶段、最终验证阶段。每个阶段交互的组件与其大致的处理流程如下表所示:

让我们一起来拆解 Bitlayer 的核心流程。
在 L2 的交易处理阶段,有排序器与 LVM(分层虚拟机)两个组件。
排序器不多赘述,Bitlayer 中的序列器负责收集缓存的交易并对其进行排序,是 Bitlayer 中交易的入口点。
LVM 是 Bitlayer 的计算组件,功能职责是负责执行智能合约并生成最新状态和零知识证明。
什么是分层虚拟机?
要解答这个问题,我们直接看下图*(参考 Bitlayer 白皮书,见附录)*。

与常规印象的 VM 不同,Bitlayer 的 LVM 实现了前端智能合约的执行与后端的零知识证明器的解耦。VM 与零知识证明器以组件的形式存在于 LVM。这种创新使得 Bitlayer 可以扩展支持各种合约类型,以及各种零知识证明验证器,大幅提高了系统的扩展性与安全性。
在交易的验证阶段,其实上就是 L1 与 L2 的交互阶段。当资产以交易的形式在 L1 与 L2 进行流动时候,我们面临着经典的 L2 跨链问题:L2 如何继承 L1 的安全性?
经典的 L2 跨链问题:L2 如何继承 L1 的安全性?
其实在 ETH 上,已经有非常成熟的方案了,目前主流的、安全性有保障的主要是 ZK 桥以及 OP 桥,两者的对比参考下表:

ZK 桥本身因为无需信任其实是目前安全性最高的跨链桥方案,OP 桥通过欺诈证明对无效的跨链数据进行链上挑战(1-N 的安全模型),保证跨链数据的安全。看起来,ZK 桥比 OP 桥要更安全,但实际上,Bitlayer 核心依赖的 BitVM 选择的是 OP 桥。
为什么是 OP 桥?
主要原因还是技术上的限制,目前只能实现 BTC L1→ L2 存款方向的 ZK 桥,对于L2 →BTC L1上提款,目前只支持多签桥或 OP 桥。Bitlayer 出于安全考虑,选择了更安全的 OP 桥,这其实是一种折中的选择。
Bitlayer 跨链桥方案是 BitVM 桥 + OP-DLC 桥组合的形式,OP-DLC 桥是对 BitVM 桥的补充。
BitVM &&OP-DLC 双组合桥流程解析
Bitlayer 使用 Bitvm 桥保障安全性,同时补充 OP-DLC 减少了对 BitVM 的依赖。截止目前,BitVM 桥已经经历了几番升级,实现了纯理论到可实践的飞跃。
BitVM 桥的最新的流程图如下:

在整个流程中,一共有 5 个角色。

这种模式如何理解?
从模式上来看,BitVM 桥基于先垫付、再报销模式,Operator 节点为提款用户垫付资金,定期向公共存款地址申请报销,通过利用差价(来自提现用户的手续费)赚取费用。如果 Operator 作恶谎报交易数据,可以被任何人挑战并受到惩罚。
那么安全性有保障吗?
我们都知道,跨链资金转移的时候,依赖的是公共资金池(本质上是用户锁定的资产),资金池的安全问题是所有跨链桥要解决的核心问题。
传统的 BTC L2 方案一般是通过多签的形式进行公共资金池管理,这种方案显然存在信任风险。而 BitVM 桥采用的是类似闪电网络的思想,预指定资金可以被谁拿走。当用户把资金锁到公共资金池的时候,会与联盟进行通讯,使得资金锁在一个 Taproot 地址上,只能由 Operator 领取,Operator 只有在垫付完成,提供自己垫付的证明到链上,并且被挑战无误后,才能解锁相关的资金。
可以说,BitVM 桥通过引入 Operator 实现了资金池的拆分,这个思路确实新颖。根据以往的经验,我们会惯性地思考如何实现去中心化的资金管理手段,但忽略了资金池这个概念本身就是中心化的,BitVM 桥通过资金池去中心化,从源头提升了链桥的安全性。
那么有什么不足之处?
但是,没有方案是十全十美的,总会有一些不尽人意的地方。
细心的朋友会发现,BitVM 桥这种 operator 先预付资金给用户再从公共账户报销形式,类似于资金池的形式。一个池子是公共账户(也就是用户真实锁定的资产,负责直接 给 operator 进行报销),一个池子是 operator 构成的池子,用来直接垫付用户的提现需求(这个池子是虚拟的,分散在不同的 operator 身上)。
用户发起提现的时候是直接与 operator 进行资金往来的,这就相当于,operator 的最终资金变成了资金池的资金 。
受限于这种资金池模式,对于一些资金来源很看重的用户,BitVM 桥其实不能满足其对资金的独立性需求 。
针对这个问题同时减少对 BitVM 桥的过度依赖,Bitlayer 增设了 OP-DLC 的桥接方案,类似管道的思想,实现用户P2P的交易,OP-DLC 桥的安全性依赖于欺诈证明以及第三方预言机。
可用性上又如何呢?
BitVM 桥的安全性毋庸置疑,但是可用性问题需要持续建设,比如,根据 BitVM 预期,需要大量联盟成员全部在线并正确进行预签名,才能确保流程的正确进行,这其实是一个挑战。
在架构上,Bitlayer 的 LVM 实现了智能合约执行与零知识证明的解耦,这其实是一种前瞻的设计思想,使得 Bitlayer 在未来适配各种 VM 以及零知识证明器成为可能。
在跨链桥的技术选型上,Bitlayer 的 BitVM + OP-DLC 的双通道桥是基本上是目前 BTC L2 最安全的跨链桥实现方案(实现了最小化信任)。
Bitlayer 通过技术+工程的融合,基于 BitVM,构建了一套相对来说兼顾安全与扩展性的跨链桥方案,但这也只是一种过渡阶段,是权衡安全性与扩展性之后的折中。
最小化信任应当是 BTC L2 追求的目标,随着 BitVM 一点点变得更加实用化,并且据笔者了解,预计约三个月后 Bitalyer 在 BitVM 的建设上还有一个重大突破,期待 Bitlayer 一步步成为我们期待中的 BTC L2。
参考:
【十四君-原创回顾】
可后台留言作者,探讨web3行业问题
点赞关注,十四用技术视角带给你价值
周更博主,推荐加星标减少漏过最新原创观点!

引言近日,比特币 L2 项目 Bitlayer Labs 完成了 1100 万美元 A 轮融资,由 Franklin Templeton和ABCDE 联合领投。与此同时,Bitlayer 成为了首个获得 ETF 许可机构投资的比特币基础设施项目。
Bitlayer 是一个 BTC 的 L2 项目,初衷是提高 BTC 的扩展性,解锁其生态的潜力。在项目特色上,Bitlayer 是第一个基于 BitVM 的 L2,同时也是第一个完全继承了 BTC 安全性并且图灵完备的 L2。
BTC L2 的本质是跨链桥,目前 L2 项目方的跨链桥方案各有各的特色,但是站在技术角度来看,大多数跨链桥方案的本质是多签。
多签方案其实存在严重的信任问题,目前因为多签导致的资金被盗事件屡见不鲜。
笔者认为,L2 作为 L1 的补充,不应该只局限于生态的扩展,同时应该继承 L1 的安全性。
Bitlayer 作为第一个基于 BitVM 的 L2,实现了信任最小化,对安全性和扩展性实现了很好的平衡。接下来不妨跟随十四君的技术视角,探索 Bitlayer 是如何作为 L2 扩展 BTC 的同时又兼顾安全性的。
Bitlayer 的基本架构如下图所示(参考 Bitlayer 白皮书,见附录)。

可以看到 Bitlayer 的业务流程主要可以划分为三个阶段,分别是交易处理阶段、交易验证阶段、最终验证阶段。每个阶段交互的组件与其大致的处理流程如下表所示:

让我们一起来拆解 Bitlayer 的核心流程。
在 L2 的交易处理阶段,有排序器与 LVM(分层虚拟机)两个组件。
排序器不多赘述,Bitlayer 中的序列器负责收集缓存的交易并对其进行排序,是 Bitlayer 中交易的入口点。
LVM 是 Bitlayer 的计算组件,功能职责是负责执行智能合约并生成最新状态和零知识证明。
什么是分层虚拟机?
要解答这个问题,我们直接看下图*(参考 Bitlayer 白皮书,见附录)*。

与常规印象的 VM 不同,Bitlayer 的 LVM 实现了前端智能合约的执行与后端的零知识证明器的解耦。VM 与零知识证明器以组件的形式存在于 LVM。这种创新使得 Bitlayer 可以扩展支持各种合约类型,以及各种零知识证明验证器,大幅提高了系统的扩展性与安全性。
在交易的验证阶段,其实上就是 L1 与 L2 的交互阶段。当资产以交易的形式在 L1 与 L2 进行流动时候,我们面临着经典的 L2 跨链问题:L2 如何继承 L1 的安全性?
经典的 L2 跨链问题:L2 如何继承 L1 的安全性?
其实在 ETH 上,已经有非常成熟的方案了,目前主流的、安全性有保障的主要是 ZK 桥以及 OP 桥,两者的对比参考下表:

ZK 桥本身因为无需信任其实是目前安全性最高的跨链桥方案,OP 桥通过欺诈证明对无效的跨链数据进行链上挑战(1-N 的安全模型),保证跨链数据的安全。看起来,ZK 桥比 OP 桥要更安全,但实际上,Bitlayer 核心依赖的 BitVM 选择的是 OP 桥。
为什么是 OP 桥?
主要原因还是技术上的限制,目前只能实现 BTC L1→ L2 存款方向的 ZK 桥,对于L2 →BTC L1上提款,目前只支持多签桥或 OP 桥。Bitlayer 出于安全考虑,选择了更安全的 OP 桥,这其实是一种折中的选择。
Bitlayer 跨链桥方案是 BitVM 桥 + OP-DLC 桥组合的形式,OP-DLC 桥是对 BitVM 桥的补充。
BitVM &&OP-DLC 双组合桥流程解析
Bitlayer 使用 Bitvm 桥保障安全性,同时补充 OP-DLC 减少了对 BitVM 的依赖。截止目前,BitVM 桥已经经历了几番升级,实现了纯理论到可实践的飞跃。
BitVM 桥的最新的流程图如下:

在整个流程中,一共有 5 个角色。

这种模式如何理解?
从模式上来看,BitVM 桥基于先垫付、再报销模式,Operator 节点为提款用户垫付资金,定期向公共存款地址申请报销,通过利用差价(来自提现用户的手续费)赚取费用。如果 Operator 作恶谎报交易数据,可以被任何人挑战并受到惩罚。
那么安全性有保障吗?
我们都知道,跨链资金转移的时候,依赖的是公共资金池(本质上是用户锁定的资产),资金池的安全问题是所有跨链桥要解决的核心问题。
传统的 BTC L2 方案一般是通过多签的形式进行公共资金池管理,这种方案显然存在信任风险。而 BitVM 桥采用的是类似闪电网络的思想,预指定资金可以被谁拿走。当用户把资金锁到公共资金池的时候,会与联盟进行通讯,使得资金锁在一个 Taproot 地址上,只能由 Operator 领取,Operator 只有在垫付完成,提供自己垫付的证明到链上,并且被挑战无误后,才能解锁相关的资金。
可以说,BitVM 桥通过引入 Operator 实现了资金池的拆分,这个思路确实新颖。根据以往的经验,我们会惯性地思考如何实现去中心化的资金管理手段,但忽略了资金池这个概念本身就是中心化的,BitVM 桥通过资金池去中心化,从源头提升了链桥的安全性。
那么有什么不足之处?
但是,没有方案是十全十美的,总会有一些不尽人意的地方。
细心的朋友会发现,BitVM 桥这种 operator 先预付资金给用户再从公共账户报销形式,类似于资金池的形式。一个池子是公共账户(也就是用户真实锁定的资产,负责直接 给 operator 进行报销),一个池子是 operator 构成的池子,用来直接垫付用户的提现需求(这个池子是虚拟的,分散在不同的 operator 身上)。
用户发起提现的时候是直接与 operator 进行资金往来的,这就相当于,operator 的最终资金变成了资金池的资金 。
受限于这种资金池模式,对于一些资金来源很看重的用户,BitVM 桥其实不能满足其对资金的独立性需求 。
针对这个问题同时减少对 BitVM 桥的过度依赖,Bitlayer 增设了 OP-DLC 的桥接方案,类似管道的思想,实现用户P2P的交易,OP-DLC 桥的安全性依赖于欺诈证明以及第三方预言机。
可用性上又如何呢?
BitVM 桥的安全性毋庸置疑,但是可用性问题需要持续建设,比如,根据 BitVM 预期,需要大量联盟成员全部在线并正确进行预签名,才能确保流程的正确进行,这其实是一个挑战。
在架构上,Bitlayer 的 LVM 实现了智能合约执行与零知识证明的解耦,这其实是一种前瞻的设计思想,使得 Bitlayer 在未来适配各种 VM 以及零知识证明器成为可能。
在跨链桥的技术选型上,Bitlayer 的 BitVM + OP-DLC 的双通道桥是基本上是目前 BTC L2 最安全的跨链桥实现方案(实现了最小化信任)。
Bitlayer 通过技术+工程的融合,基于 BitVM,构建了一套相对来说兼顾安全与扩展性的跨链桥方案,但这也只是一种过渡阶段,是权衡安全性与扩展性之后的折中。
最小化信任应当是 BTC L2 追求的目标,随着 BitVM 一点点变得更加实用化,并且据笔者了解,预计约三个月后 Bitalyer 在 BitVM 的建设上还有一个重大突破,期待 Bitlayer 一步步成为我们期待中的 BTC L2。
参考:
【十四君-原创回顾】
可后台留言作者,探讨web3行业问题
点赞关注,十四用技术视角带给你价值
周更博主,推荐加星标减少漏过最新原创观点!

No activity yet