混合Rollup:探秘 Metis、Fraxchain、Aztec、Miden和Ola

1. 引言

混合Rollup为新的以太坊L2扩容方案,其分为2大类:

  • 将乐观与ZK技术结合的混合Rollup
  • 同时支持公开智能合约 和 私人智能合约 的混合Rollup

本文将重点关注Metis、Fraxchain、Aztec、Miden和Ola这五大项目。

2. 何为混合Rollup?

混合Rollup具有2重含义:

  • 1)作为以太坊L2扩容方案,结合了 乐观Rollup的可扩展性,和,ZKRollup的安全性。如Metis DAO和Frax Finance。
  • 2)作为同时支持公开和私人 智能合约及交易 的L2/L3扩容方案。当用户想要隐私时,可在其自身设备上执行合约、生成ZK proof、并将ZK proof上传到rollup。这样的费用效率高,因为rollup仅需验证proof,而不需要验证交易本身。

3. 乐观和ZK混合Rollup:Metis和Fraxchain

Metis为以太坊的乐观Rollup,分叉自Optimism,专为decentralized autonomous corporations (DAC) 做了优化。

根据L2Beat,Metis Andromeda链 为第三大锁仓量TVL的乐观链——约1亿美金:
在这里插入图片描述
根据L2 Fees统计,Metis L2网络内的ETH转账交易手续费仅约0.01美金,swap手续费约0.03美金,均为最低:
在这里插入图片描述
在希腊神话中,Metis是良策女神,而Andromeda是一位美丽的公主,被英雄Perseus从海龙手中救了出来。事实上,Metis DAO的标志是希腊女神的头像。有了这种神话联系,不要惊讶于Metis生态系统中的许多项目也以古代的神和英雄命名:Hera、Hermes、Maia、Athena、Tethys等。
在这里插入图片描述

3.1 Metis DAO的混合rollup项目

2023年3月,Metis DAO 宣布其将致力于混合rollup,将取款到以太坊的时间由7天缩短到4小时。

Metis 混合rollup L2项目:

  • 其内核为乐观链,但使用ZK有效性证明。ZK proof很小,发送多个ZK proof到主网仅需花费少量gas,这将有助于缓解以太坊的拥堵。
  • 仍利用相同的名为Smart L2的链下存储系统作为Andromeda。在Smart L2中,交易数据发送给MEMO去中心化云存储协议,而不是在链上维护。如有需要(如潜在欺诈),也可将MEMO中的数据重新提交到以太坊链上。
  • 不将完整的交易数据发送到以太坊链上,Metis 仅发送batch的Merkle Tree Root(MTR)到以太坊链上,其余的都发送给MEMO。该解决方案要比Optimism或Arbitrum便宜的多。事实上其不是乐观rollup,而是“on-demand rollup”。
  • 将兼容EVM,dApp开发则将无进入门槛。
  • zkMIPS:计划使用MIPS作为其混合rollup架构,详细技术描述见:zkmips-and-other-research-challenges-for-layer-2。
    且目前Optimism已在其Cannon协议中使用了MIPS。
  • 未来Metis也将合并Cannon。

3.2 Fraxchain:Frax Finance生态的混合rollup

$FRAX为最大的去中心化stablecoins之一。

Fraxchain与Metis类似:

  • 为基于乐观rollup + ZK proof
  • 为EVM兼容

不同之处在于,Fraxchain:

  • 使用frxETH、FRAX、FPI(Frax Price Index)作为gas fees。
  • 支持gasless交易,具体取决于其拥有的FRAX和frxETH。
  • 消耗的gas fees将分发给锁定FRX的用户。
  • 使用Fraxferry协议来在链间转移FXS稳定币,无需bridges且是trustless的。
  • veFXS持有人将投票决定谁是Fraxchain的sequencer。

在乐观rollup中,sequencer是对用户发送的交易进行排序(排序)和验证、将其编译为batches(rollup区块)并向L1提交批处理数据的一方。由于sequencer能够压缩交易,最终用户支付的费用比他们自己将交易发送到以太坊主网的费用要少。
sequencer有很大的权力:

  • 可决定从块中包括或忽略某交易,
  • 以及以特定的方式从排序操作中提取利润(MEV)。

通过让社区有能力投票给sequencer,Frax Finance将加强其去中心化治理。
即使是那些没有加入新链的Frax用户也将受益。现在,frxETH的所有收益都进入sfrxETH金库,并在质押者之间进行分配。现在想象一下,很大一部分frxETH迁移到Fraxchain,用于支付交易费用。总金库收益率将保持不变(因为持有ETH的流动资金不会改变),但将分配给少数持有者。每个frxETH持有者的APR将增加。

在这里插入图片描述

4. 公开和私人合约执行混合:Aztec、Ola和Polygon Miden

4.1 公开和私人合约

使用公开合约:

  • 任何一方都可以查看所有其他用户如何与合同交互,包括用户输入和输出。用户向合同发送交易请求,validator批准这些请求,并更新区块链的状态。我们习惯的所有“正常”dApp,如Liquidswap、Compound等,都是在公开合约上运行的。

使用私人合同:

  • 交易数据是加密的,只有经过授权的用户才能查看输入和输出。即使是区块链validator也看不到交易中的内容。

混合rollup允许用户执行公开和私人两种类型的交易。有了这项技术,私人智能合约甚至可以在用户自己的设备上本地执行。

私人合约有许多潜在用途:

  • DAO的选民隐私
  • AMM安全,这样机器人就看不到提交到内存池的交易;
  • 公共游戏中的私人游戏锦标赛
  • 机构用户的企业安全。

当前,开发公开和私人合约执行混合rollup的项目主要有:Aztec、Ola和Polygon Miden。

4.2 Aztec

Aztec自身定位为:“加密版以太坊”,并为首个混合ZK rollup。

用户可在设备端构建加密交易,在本地生成ZK proofs,并将ZK proofs提交到Aztec以打包到(发送给以太坊的)batches中。

Aztec的最知名产品为Aztec Connect,上线于2022年7月,为以太坊的隐私层,支持开发者在以太坊上构建隐私DeFi dApps,其中最知名的为Aztec官方的zk.money.protocol。不过Aztec Connect和zk.money已于2023年3月下线,团队将分配资源构建其新的混合rollup——Aztec Network。

4.2.1 Aztec Network架构

Aztec Network混合rollup网络中,不需要发送交易请求给validators,而是发送该交易对某合约是完整的proof。无论是L1还是rollup,都不知道该交易内容。

目前难点在于:

  • 以太坊和EVM设计的最大化透明度 优于 隐私
  • 专注于隐私的链(如ZCash)又不支持dApps

以太坊和隐私币(如ZCash)之间最大的差别在于其记录交易的方式:

  • 以太坊采用账号模型:每个用户有关联balance的账号,该余额会随每笔交易变化。区块链会跟踪整个网络中的所有账号余额变化。
  • 隐私币采用UTXO模型:这样的链不关心账号余额,仅关心某coin unit在某交易内是否已花费。Bitcoin也采用UTXO模型,不过其没有内置隐私性。

Aztec Network 结合了UTXO模型和支持dApp:

  • UTXO可处理任意数据,而不仅仅是金钱总额
  • 整个智能合约都可包含在单个UTXO内

在这里插入图片描述
Aztec将不与EVM或Solidity兼容。Aztec团队开发了一种新的私人智能合约编程语言——Noir。
在这里插入图片描述
sandbox testnet将于2023年Q3上线,公开测试网计划于2024年Q1。https://github.com/noir-lang/awesome-noir中包含了丰富的学习资源。

4.3 Ola

Ola为专注隐私的zkVM,由Sin7y Labs开发,其团队来自ZKSpace、Huobi、Qtum、Accenture。

注意Ola不是zkEVM,其不兼容EVM。不过需要对现有以太坊dApp重编码,才有可能能前一到OlaVM中执行。

Ola与Aztec Connect有一些相似特性:

  • 可编程隐私
  • 新的编程语言:Ola-lang。Noir为DSL,而Ola-lang为通用编程语言,可用于任意领域。
  • 合规性:可以向第三方授予特殊的查看权限(viewing keys)以进行帐户监控。这可以在最终用户级别、工具上完成。
  • 2种区块链状态:公开和私有。其中私有状态采用UTXO。
    在这里插入图片描述

4.3.1 Ola与Aztec不同之处

Ola与Aztec不同之处有:

  • 1)每个函数所需key pairs不同:
    • Aztec每个合约函数需要其自己的密钥对(public key和verification key),以用于计算和存储。
    • OlaVM不需要这样的密钥对,从而节约了资源和存储空间。
  • 2)隐私设计不同:
  • 如Sin7y团队Hybrid Rollup — What do Aztec, Miden, & Ola Hold for the Future of Next-Generation Infrastructure?博客中所述,用户并不是要求其交易是不可跟踪的。用户可能想要的是,无人可利用其链上行为信息来犯罪 或 获利。为此,Sin7y Labs设计了2种隐私方案:
    • 可追踪交易:用户手续费更低,但仍对用户数据层提供隐私保护。
    • 不可追踪交易
  • 3)证明方案不同:
    • Aztec采用SNARK
    • Ola与polygon Miden类似,采用STARK,具体算法为Starky。
  • 4)开发者友好程度不同:
    • Ola:为VS Code创建了Ola-lang插件。未来将集成到LLVM框架中。Pontem Network采用相同的LLVM工具实现了首个 Move for EVM。

Ola公开测试网在2023年Q4,主网在2024年初:
在这里插入图片描述

4.4 Polygon Miden

Polygon Miden 不同于Polygon zkEVM,其为2023年3月宣布的新的ZK链品牌,公开测试网计划于2023年Q4:
在这里插入图片描述
Miden与Ola、Aztec的相似之处在于:

  • 用户可运行私人智能合约,验证其交易,并生成ZK proofs。
  • 切分为公开状态和私人状态。
  • 灵活合规性,使得仅监管机构可访问私人智能合约内信息。
  • 数据验证的资源高效性。

Miden在某种程度是与EVM兼容,不过隐私优先。与其他rollups类似,Miden网络仍会向以太坊主网发送ZK proofs。但是以太坊开发者仍有一些学习门槛来基于Miden开发。

Miden:

  • 将使用(与Aptos相同的)Move作为其合约开发语言,因为Miden的创始人Bobbin Threadbare,之前在Facebook开发Move。
  • 将使用(模块化区块链执行层Fuel Network背后的)Fuel Labs开发的Sway语言。

4.4.1 资源效率加隐私

Miden区分了私人交易和私人合约:

  • 私人交易:可在公开合约上执行,如隐藏了所交易的特定NFT。
  • 私人合约:有其代码和状态,对其它用户不可见,但仍可与公开合约交互。如Miden上的隐私钱包,可与公开AMM交互——对于不想向潜在黑客透露其操作的流动性提供商或项目团队来说,这是一个很好的功能。
    • 借助私人合约,所有计算都在用户设备本地进行。即无gas开销,用户可便宜地执行复杂的合约。
    • Validators仅需要便宜且简单地检查ZK proofs。使得有可能支持并行计算,即意味着Miden要比常规ZK rollup快得多。因此,在Miden上保持隐私也将为用户节省金钱和时间。
    • 客户端验证:仅对不影响公开链状态的交易可行。Miden上的大多数交易都是不影响公开链状态的,包括大多数token转账和NFT交易。即使相应ZK proof已记录在链上,这些交易也可revert。
    • 对于哪些需要修改公开状态的交易,Miden提供了常规链上执行选项。

4.4.2 Miden中的账号抽象

Miden中的另一创新为:

  • 账号抽象:结合了EOA和合约账号的优点。2023年3月以太坊主网引入了ERC-4337作为账号抽象。

4.4.3 STARK proof递归

与Ola类似,Miden也采用STARK方案。

为解决STARK proof size大的问题,引入了递归STARK方案。

参考资料

[1] Pontem Network 2023年9月博客 Hybrid rollups: discover Metis, Fraxchain, Aztec, Miden, and Ola

本文来自互联网用户投稿,该文观点仅代表作者本人,不代表本站立场。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如若转载,请注明出处:http://www.rhkb.cn/news/141469.html

如若内容造成侵权/违法违规/事实不符,请联系长河编程网进行投诉反馈email:809451989@qq.com,一经查实,立即删除!

相关文章

el-table实现穿梭功能

第一种 <template><el-row :gutter"20"><el-col :span"10"><!-- 搜索 --><div class"search-bg"><YcSearchInput title"手机号" v-model"search.phone" /><div class"search-s…

Spring面试题21:说一说Spring的@Required注解和@Qualifier注解

该文章专注于面试,面试只要回答关键点即可,不需要对框架有非常深入的回答,如果你想应付面试,是足够了,抓住关键点 面试官:说一说Spring的@Required注解 @Required ,用于标记在注入的属性上。它表示被注解的属性在配置 Bean 的时候是必需的,如果没有正确配置,则会抛出…

C# OpenCvSharp 基于直线检测的文本图像倾斜校正

效果 项目 代码 using System; using System.Collections.Generic; using System.ComponentModel; using System.Data; using System.Drawing; using System.Linq; using System.Text; using System.Windows.Forms; using OpenCvSharp;namespace OpenCvSharp_基于直线检测的文…

一文了解亚马逊云科技适用于 Amazon Lightsail 的托管数据库

Amazon Lightsail 是亚马逊云科技提供的一种易上手使用、月度价格经济实惠&#xff0c;并包括了计算实例、容器、存储、数据库的虚拟专用服务器。在创建时可以进行业务蓝图选择&#xff0c;可选择包含多种操作系统&#xff08;Linux/Windows 等&#xff09;或操作系统加上典型应…

深入剖析Redis系列- Redis数据结构之哈希

1.11.5哈希类型(hash) Redis的hash 是一个string类型的key和value的映射表&#xff0c;这里的value是一系列的键值对&#xff0c;hash特别适合用于存储对象。 哈希类型的数据操作总的思想是通过key和field操作value&#xff0c;key是数据标识&#xff0c;field是域&#xff0c;…

“全景江西·南昌专场”数字技术应用场景发布会 | 万广明市长莅临拓世集团展位,一览AIGC科技魅力

随着数字技术的迅猛发展&#xff0c;传统产业正在发生深刻的变革&#xff0c;新兴产业蓬勃兴起。但要想实现数字经济超常规发展&#xff0c;就要在数字产业化上培育新优势&#xff0c;大力实施数字经济核心产业提速行动&#xff0c;加快推进“一核三基地”建设。在这个数字经济…

[vulntarget靶场] vulntarget-c

靶场地址&#xff1a; https://github.com/crow821/vulntarget 拓扑结构 信息收集 主机发现 netdiscover -r 192.168.111.0/24 -i eth0端口扫描 nmap -A -sC -v -sV -T5 -p- --scripthttp-enum 192.168.111.131访问80端口&#xff0c;发现为Laravel v8.78.1框架 vulmap探测…

打造本地紧密链接的开源社区——KCC@长沙开源读书会openKylin爱好者沙龙圆满举办...

2023年9月9日&#xff0c;由开源社联合 openKylin 社区举办的 KCC长沙开源读书会&openKylin 爱好者沙龙&#xff0c;在长沙圆满举办。这是 KCC长沙首次正式进入公众视野&#xff0c;开展开源交流活动&#xff0c;也是 openKylin 社区长沙首场线下沙龙。长沙地区及其周边的众…

浏览器截图扩展增加快捷键

Tabshot – 下载 &#x1f98a; Firefox 扩展&#xff08;zh-CN&#xff09; 最近一个用户找到我&#xff0c;想要这个浏览器扩展有一个快捷键截图功能。 我找了一下&#xff0c;发现火狐扩展的确支持快捷键 研究源码 about:support 配置文件夹&#xff0c;打开文件夹。 附…

uniapp实现点击按钮分享给好友

<button class"share" open-type"share">分享</button>import {onLoad,onShareAppMessage,onShareTimeline} from dcloudio/uni-app onLoad(() > {//设置Menus菜单&#xff0c;使 发送给朋友/分享到朋友圈 两个按钮可以使用wx.showShareMen…

Ubuntu 安装Nacos

1、官网下载最新版nacos https://github.com/alibaba/nacos/releases 本人环境JDK8&#xff0c;Maven3.6.3&#xff0c;启动Nacos2.2.1启动失败&#xff0c;故切换到2.1.0启动成功 2、放到服务器目录下&#xff0c;我的在/home/xxx/apps下 3、解压 $ tar -zxvf nacos-serve…

安装docker、docker-compose

安装docker、docker-compose 文章目录 安装docker、docker-compose一、切换国内镜像源二、安装docker三、安装docker-compose 一、切换国内镜像源 vi /etc/docker/daemon.json {"registry-mirrors": ["https://registry.hub.docker.com","http://hu…

【蓝桥杯选拔赛真题63】Scratch云朵降雨 少儿编程scratch图形化编程 蓝桥杯选拔赛真题解析

目录 scratch云朵降雨 一、题目要求 编程实现 二、案例分析 1、角色分析

【用MyEclipse2017创建一个Hibernate Web登录项目】

用MyEclipse2017创建一个Hibernate Web登录项目 靠手工实现JavaBean/JDBC的系统 Hibernate自动生成了所需的JavaBean&#xff0c;也取代了原JDBC的功能&#xff01;可简单形象地理解为&#xff1a;Hibernate&#xff1d;JavaBean&#xff0b;JDBC 1、创建一个Java EE Web项目…

开机自启动Linux and windows

1、背景 服务器由于更新等原因重启&#xff0c;部署到该服务上的响应的应用需要自启动 2、Linux 2.1 方式一 编写启动应用的sh脚本授权该脚本权限 chmod 777 xxx.sh 修改rc.loacl 位置&#xff1a;/etc/rc.local 脚本&#xff1a;sh /home/xxxx.sh & 授权rc.local …

【周赛364-单调栈】美丽塔 II-力扣 2866

&#x1f49d;&#x1f49d;&#x1f49d;欢迎来到我的博客&#xff0c;很高兴能够在这里和您见面&#xff01;希望您在这里可以感受到一份轻松愉快的氛围&#xff0c;不仅可以获得有趣的内容和知识&#xff0c;也可以畅所欲言、分享您的想法和见解。 推荐:kuan 的首页,持续学…

短视频无人直播双端开播源码部署

设置语音 商家可以通过语音库&#xff0c;完成直播间语音设置&#xff0c;支持人声录制和智能配音直播间语音 语音库 语音库列表 语音库名称 语音库 录音 合成配音 进入“语音库” 可编辑、删除语音库 列表右下角-添加语音库-输入语音库名称 针对每个语音库&#…

FairMOT 论文学习

1. 解决了什么问题&#xff1f; 现有的多目标跟踪方案将目标检测和 reID 任务放在一个网络里面优化学习&#xff0c;计算效率高。目标检测首先在每一帧中检测出兴趣目标&#xff0c;要么将其与现有的轨迹关联起来&#xff0c;要么创建一个新的轨迹。这两个任务会相互竞争&…

图像练习-计算平行线距离opencv(03)

原图 //对输入图像进行细化 cv::Mat ThinLine(const cv::Mat& matsrc, const int& iterations) {//CvSize size cvGetSize(src);cv::Mat dst matsrc.clone();//拷贝一个数组给另一个数组int _iwidth dst.cols;int _iheight dst.rows;int n 0, i 0, j 0;for (n …

【二分图染色】ARC 165 C

C - Social Distance on Graph 题意&#xff1a; 思路&#xff1a; 首先考虑一条链的情况&#xff0c;注意到如果两条相邻的边加起来 < x&#xff0c;一定不行 这个结论推广到图也是一样的 同时注意到 x 具有单调性&#xff0c;考虑对 x 二分 在check时进行二分图染色 …