链资讯 链资讯
Ctrl+D收藏链资讯
首页 > 比特币 > 正文

区块链:Hoo虎符研究院 | Mir Protocol 调研报告_TME

作者:

时间:

撰文:HooResearch

摘要:Polygon和MirProtocol于11月26日达成交易,以4亿美元的价格收购这家ZK-rollups初创公司。Polygon专注于将零知识(ZK)密码学作为区块链扩展的最终游戏,先是HermezNetwork的合并以及zkEVM的发布,随后又是PolygonMiden和PolygonNightfall。而此次Mir将主要是基于其零知识证明技术构建一个新项目——PolygonZero。Polygon和MirProtocol一起在以太坊Layer2扩容解决方案上可以碰撞出怎么样的火花,目前还不得而知。ZK-rollups在目前是较为主要的扩容解决方案之一,而Polygon斥巨资收购的项目中,MirProtocol的资金占比是较大的而且在零知识证明上有新的创新,所以我们可以先谈谈这个Polygon最新收购的MirProtocol。

什么是MirProtocol

Mir是一家零知识证明技术的以太坊扩容初创公司。ZK-proof是一种加密工具,可以用于创建ZK-rollups。ZK-rollups又可以处理交易,而且不需要将所有交易数据都发布到以太坊上,以此来减少以太坊上的使用区块,进而提高扩展性和降低gas费用。

Mir支持现有的去中心化应用程序,同时还为验证者提供隐私和减少相对于以太坊主网1000倍的状态大小。Mir水平扩展,在不牺牲安全性、可组合性和去中心化的前提下,增加了加入网络的每个节点的吞吐量。

据相关报道称,Mir的系统生成递归零知识证明,允许通过一个小证明来验证以太坊交易。Polygon也认为Mir拥有最快的ZK-proof技术,这意味着Mir可以更快地生成证明并在一个证明中验证更多交易。本报告也认为探究Mir协议的重点正是以上这些,Mir如何进行交易证明?如何降低工作量的同时保证验证的有效性?递归零知识证明实现了什么?如何实现以太坊Layer2的可扩展性?

Hooked:提款将在24小时内进行,申请提款的最低余额为1.5美元:金色财经报道,Web3游戏化社交学习平台Hooked Protocol在社交媒体上发布BUSD的应用内提款功能快速攻略,

1.取款金额需要是你的现金账户钱包的所有剩余BUSD余额;

2.目前申请提款的最低余额为1.5美元;

3.每笔提款将被扣除0.15BUSD的统一费用,以支付链上交易费用;

4.将有一个审查过程以保护你的账户安全,提款将在24小时内进行;

5.当取款请求超过1000美元时,会有一封验证邮件触发;

6.如果你遇到任何问题,请报告给discord mods,我们的开发人员会尽快解决。[2022/12/31 22:18:34]

减少状态大小

Mir减少了状态大小,即验证所需的状态量。在以太坊等传统区块链中,验证交易需要访问和交易交互的每个账户的状态,因此节点需要存储所有活动账户的状态,而又随着账户的增多,访问和存储将会变得非常昂贵。所以,Mir将账户数据移到链下,个人拥有的帐户可以简单地存储在该个人的设备上。共享帐户存储在IPFS或其他存储层上,即不再需要存储任何账户数据,也不需要知道数据的存储位置,Mir仅是提供了一种默克尔树的方法来有效地验证账户状态的声明。状态大小的大大减少是依靠将账户数据移到链下,并依靠有效的验证方式,从而形成无状态区块链。

Mir减少状态大小并有效验证的方法可以适用于以太坊等其他区块链。账户持有人可以证明其账户数据,以及证明账户数据包含在链上。但是,如果需要检查账户数据,这会产生增加交易规模的不良副作用。而Mir使用的是零知识证明来证明每笔交易的有效性,因此验证者无需检查任何账户数据。

Robinhood涨幅扩大至21%,现报15.53美元:行情显示,Robinhood(HOOD.O)涨幅扩大至21%,现报15.53美元,创2021年8月份以来最大盘中涨幅,该公司此前延长交易服务时间,以实现提供24/7交易时长服务的目标。[2022/3/29 14:25:22]

所以,Mir大大减少了验证所需的状态量,降低了成本的同时保证了验证的有效性。

递归零知识证明

Mir上的每笔交易都通过零知识证明进行验证。这些证明可以递归组合,因此验证者可以使用单个证明验证一组交易。

Mir创建了CommitmentLog和LivenessMask,Mir的验证过程为:

?验证记录地址在LivenessMask中是活动的;?检查上一个块根是包含在CommitmentLog中的;?完成交易验证,即生成验证结果。

Graph:MirProtocol

这样的验证有个问题,就是验证零知识证明也是比较昂贵的,如果验证者需要为每笔交易验证一个证明,Mir的吞吐量将显著低于现有链的吞吐量。所以Mir开发了一种可以递归组合的零知识证明,使单个证明可以提供密码学的保证并证明一组交易证明的有效性,即验证者的“一个证明”可以验证“一组交易”,然后向网络其余部分证明这“一组交易”是有效的,从而允许Mir使用可用的计算进行扩展以生成递归证明。

在区块中,每笔交易都生成一个交易证明,为验证一个区块中的所有证明,将证明结果聚合在一个二叉树结构中。在树的下一个layer,每一个证明通过计算每个证明的公共输入并提取块根集、消耗和访问的记录地址以及对每个交易中创建的记录的承诺,递归地验证两个交易证明。再下一个layer,每一个证明也是一样的验证方式,并以此类推,形成递归证明的方式。并且以此来提高Mir的吞吐量。

汉堡王将与Robinhood合作发放加密货币奖励:金色财经报道,快餐连锁店汉堡王计划与经纪平台Robinhood合作,向其客户赠送加密货币作为奖品。从周一开始的三周内,美国汉堡王的Royal Perks忠诚度计划的成员在该连锁餐厅的应用程序上消费超过5美元,将从20个比特币、200个以太坊和200万个Dogecoin的池中获得一个硬币的奖励。在收到确认奖励的电子邮件代码后,用户需要一个Robinhood加密货币账户来领取。(coindesk)[2021/11/1 21:16:05]

Graph:MirProtocol

同时,使用递归证明的方式验证Mir的两大重要验证部件CommitmentLog和LivenessMask的更新。

使用递归证明来验证交易提供了两个好处:

1.消除了验证者在加入网络时验证历史交易的需要。现有链限制吞吐量以允许新验证者赶上链的最新状态,而Mir的新验证者只需要简单下载CommitmentLog顶层的节点,LivenessMask,并验证即可,无需限制吞吐量;2.提高了吞吐量。消除了每个节点必须验证每笔交易的要求,并允许每个节点验证交易的子集。

但第二个好处实现的方法是有问题的,就是节点现在需要向网络证明其经过验证的交易集是有效的。“提供验证的交易集有效”的解决方法是——分片,但现有的博弈论分片设计需要更强大的加密经济假设、机制复杂性、欺诈证明和挑战期。Mir提供了解决方法,验证者可以验证交易的子集并生成递归证明,表明该集合中的每个交易都是有效的,避免了验证的复杂性。

Graph:MirProtocol

Robinhood:加密货币交易已完全恢复:金色财经报道,据官方推特消息,Robinhood表示,加密货币交易现在已经完全恢复,将继续密切监视情况。[2021/5/5 21:24:04]

综上所述,递归证明消除了新验证者加入网络时验证历史交易的需要,提高了网络吞吐量,分片技术避免了传统博弈论分片技术的复杂性,所以递归零知识证明实现了更具可扩展性的分片区块链。

可扩展性的实现

Mir使用零知识证明以两种方式实现可扩展性:1.简化交易等事务的执行,将应用层从验证者中抽离出来,吞吐量不受带宽,存储或计算机成本等限制,验证者的当前状态相比以太坊缩小1000倍,显著减少交易大小,并使交易执行成本大大减低;2.递归证明允许Mir上交易的复杂部分仅由单个验证者验证。吞吐量可以随着加入网络的每个新节点而扩展,增加的交易量激励更多节点加入网络,增加的吞吐量允许应用程序进一步扩展。

首先,Mir将应用层从验证者中抽离出来,简化交易执行,优化开发者使用体验。

现有链中,开发人员构建在虚拟机上作为字节码运行的应用程序,验证者通过运行与虚拟机中的应用程序相关联的字节码来执行交易等事务。此模型下,访问和更新应用程序后,验证者必须直接重新执行复杂的计算,这限制了应用程序的复杂性并增加了成本。

Graph:MirProtocol

在Mir上,所有应用程序逻辑都在链下执行。对于验证者,没有令牌、应用程序逻辑或状态存储的概念,甚至没有标准化的签名方案。交易只是创建和使用通用记录是Mir上的基本状态单元,是对应用程序状态和逻辑的承诺。它可以被认为是以太坊账户状态的快照。)并通过证明进行验证。

动态 | 交易者发现 Robinhood无限杠杆漏洞,可无限借入资金进行保证金交易:根据彭博社报道,有用户在 Reddit WallStreetBets 论坛发贴曝光 Robinhood 的无限杠杆漏洞,利用该漏洞可将账户余额无限放大,在交易者晒出的一系列成绩单中,一名交易者声称将 4000 美金放大到了 120 万美金。该漏洞主要是由Robinhood Gold」服务导致的,该服务针对积极交易者,只需每月固定交 5 美金就可从 Robinhood 手中借入账户中现金余额的一倍进行保证金交易,交易者可使用从 Robinhood 借来的钱出售受保看涨期权,然而,Robinhood 会将这些看涨期权的价值叠加到用户自有资金中时就会出现问题,这意味着用户借入的资金越多,Robinhood 将会借出更多的钱用于未来的交易。Robinhood 发言人 Lavinia Chirico 在一封电子邮件向彭博社回应称,Robinhood已意识到这些情况,并已与这些客户取得直接联系。乔治敦大学法学教授 Donald Langevoort 向彭博社表示,使用所谓的无限杠杆增大注可能会面临金钱和证券欺诈罪。而根据基本法,交易者可能需要还钱。[2019/11/6]

Graph:MirProtocol

开发者可以使用任何编程语言或虚拟机来执行链下计算,而无需担心gas。

其次,递归证明优化验证成本和吞吐量扩展。

Mir使用递归证明来并行化交易证明验证。验证交易的昂贵部分仅由生成递归证明的单个节点执行。每个验证者必须执行的更新CommitmentLog和LivenessMask非常便宜,因此吞吐量不受计算成本的限制。

Graph:MirProtocol

Mir官方数据显示,节点的处理交易只需要下载大约10字节的数据,因此,Mir上的吞吐量不受带宽、存储或计算机成本等限制。另外,Mir上生成递归证明的聚合计算成本低廉,Mir也在使递归证明的生成更加高效,所以增加的费用量会吸引更多的算力,从而允许应用程序扩展和增加交易量。

Mir的融资和团队

根据Crunchbase数据显示,Mir历史上有两次融资事件:

Graph:Crunchbase

除了近期Polygon的收购,Mir早在2019年获得$2m的种子轮融资,具体投资人和人数均未披露。而Mir正是在2019年由BrendanFarmer和DanielLubarov等8人创建的。Polygon的联合创始人MihailoBjelic表示BrendanFarmer和DanielLubarov等8人现已全部加入Polygon团队。

Graph:MirProtocol

ZK-rollups的市场表现

Polygon是目前市场上将零知识密码学作为区块链扩容最终答案的机构之一。Polygon曾在今年8月份承诺投资10亿美元用于与ZK-rollups相关的工作。目前Polygon已经迈出了几大步了:

?HermezNetwork——更名PolygonHermez,一个开源的ZK-Rollup,针对以太坊的安全、低成本和可用的令牌传输进行了优化。?ZkEVM——一个对ZK友好的以太坊兼容设施。?PolygonMiden——一个基于STARK的,与以太坊兼容的rollup。?PolygonNightfall——一个与EY合作建立的以隐私为重点的rollup。?MirProtocol——更名PolygonZero,以递归零知识证明实现低成本和可扩容的分片区块链。

ZK-rollups作为区块链扩容的解决方案之一,是否真的是扩容的最终答案?

目前市场上除了ZK-rollups,Optimistic-rollups,Plasma,Validium和Statechannels也都分别占据着一定的市场份额。

Graph:TheBlock

据TheBlock数据显示,ZK-rollups整体市场份额证明其是目前市场上的主要二层扩容解决方案之一,ZK-rollups,Optimistic-rollups和Plasma三者近期的TVL都在$1.5B-$2.5B之间,其中Optimistic-rollups的市场份额可能稍多于其他二者。

而在ZK-rollups众多项目中,目前DYDX和Loopring从市场反馈来看属于其中的龙头项目。

据TheBlock数据显示,DYDX近期有接近$1B的TVL,Loopring的TVL在$500m-$1B之间,二者几乎贡献了ZK-rollups市场的大多数市值。而8月份Polygon收购的PolygonHermez的TVL在$800k-$900k之间,成立时间较短,市场份额较少。

综上所述,ZK-rollups已经是目前市场上主要的二层扩容解决方案之一,暂无法确定其是否为最终答案。Polygon在ZK-rollups众多项目中,目前占据较少的份额,还在比较初期的阶段。Polygon收购MirProtocol改组的新项目PolygonZero,有希望为Polygon甚至ZK-rollups和整个二层市场带来一些革新。

总结

Mir使用无状态区块链的方式,大大降低了验证所需的状态量,降低成本的同时保证验证的有效性;递归证明消除了新验证者加入网络时验证历史交易的需要,提高了网络吞吐量,分片技术避免了传统博弈论分片技术的复杂性,从而实现了更具可扩展性的分片区块链。

Mir的可扩展性具体表现在了两方面,一是简化交易等事务的执行,将应用层从验证者中抽离出来,吞吐量不受带宽,存储或计算机成本等限制;二是用递归证明验证Mir上交易的复杂部分,复杂部分仅有单个节点验证,吞吐量便可以随着加入网络的每个新节点而扩展,增加的交易量激励更多节点加入网络,增加的吞吐量允许应用程序进一步扩展。

在市场上,ZK-rollups明显是主要的二层扩展解决方案,虽然收购Mir的Polygon还仅仅是在市场上崭露头角,Mir之后整合的新项目PolygonZero是否能协助Polygon甚至ZK-rollups完成二层扩容的最终答案,还是令人期待的。

局限性

MirProtocol被Polygon收购后会形成一个怎样的PolygonZero,完成怎么的Layer2扩容技术革新,还没有人知道。所以本报告主要希望调研并探讨的是,原先Mir已经实现了哪些扩容技术和区块链性能上的优化,并不希望评判项目优劣和潜在问题,也并没有非常全面和深入的考究Mir的各方各面。

Mir本身的各项技术也都在不断的改良和发展中,将来的PolygonZero或许才是MirProtocol最终落地的样式,又或者将来Polygon的一系列布局将会为市场带来一个怎样的ZK-rollups,都并非是本报告可以预测的。

来源:金色财经

标签:区块链ITMMENTTME区块链工程专业学什么女生好bitmart待遇Web 3 DevelopmentMINTME币

比特币热门资讯
ANS:纯干货分享(一) | DEFI安全问题之基础篇_DefyDefi

区块链技术的诞生,为传统金融、数据隐私、供应链、跨境汇款等应用领域带来革命性的突破。其中「去中心化金融」便是当前最为火热的应用之一.

元宇宙:3H互链,如何成功藉由互助模式改写元宇宙未来发展应用?_AVE

3H互链,如何成功藉由互助模式改写元宇宙Metaverse未来发展应用!?元宇宙绝对是当今会火红的词汇之一,在未来成也将分展成独特经济模式,涵盖工作和娱乐休闲,发展已久的各种产业和市场.

POL:一周必读10篇 | 致2021:加密世界的黄金年代_ROL币

1.致2021:加密世界的黄金年代2021年,人类进入疫情时代的第二年,社会生活和商业活动持续向线上大规模迁徙。我们见证了太多商业形态沉浮起落,甚至消亡覆灭.

MIR:SPC元宇宙通证全面启航 SPC Meta Universe Pass is full_mir币发生了什么

新闻发布会由英国亚洲资本策略独立基金筹备组织,主题为“SPC元宇宙通证启航”新闻发布会于2021年12月8日在新加坡举办视频召开.

IND:#1 Findora 101:向你的Metamask钱包充值FRA_NFT-Art.Financ

本指南向您展示如何将原生FRA代币从带有保护隐私的UTXO分类账转移到可编程EVM分类账中,您可以在其中与Findora生态系统中的所有d-app进行交互.

Findora:硅谷巨头留不住人才:员工纷纷投身加密行业_FIND

加密行业一大明显吸引力在于快速金钱回报。除了持股创业公司后获得回报外,部分加入的员工还可将公司加密币本身出售.