小探本期为大家带来的内容主题是“以太坊虚拟机创新热潮下,谁是赢家?”
欢迎大家关注小探,小探每天都会给您献上关于币圈的优质内容哦。
关于以太坊虚拟机的性能
在以太坊主网上的每一个操作都要花费一定的Gas,如果我们把跑基础应用所需的计算量都放在链上,要么App会崩溃,要么用户会破产。
这催生了L2:OPRU引入了排序器来捆绑一堆交易,然后提交到主网上。这不仅有助于app承接以太坊的安全性,同时也给予了用户更好的体验。用户可以更快地提交交易,手续费也更加便宜了。虽然操作变得便宜了,但它仍然使用原生EVM作为执行层。和ZKRollups类似,Scroll、PolygonzkEVM使用或将使用基于EVM的zk电路,zkProof将在其证明器上进行的每一笔交易或者一大包交易中生成。虽然这能让开发者建立"全链上"的应用程序,但它是否仍能高效且经济地运行高性能的应用程序呢?
这些高性能应用都有哪些?
人们首先想到的是游戏、链上订单簿、Web3社交、机器学习、基因组建模等。所有这些都需要大计算量,在L2上运行也会非常昂贵。EVM的另一个问题是,计算的速度和效率不如现在的其他系统,如SVM。
虽然L3EVM可以使计算更便宜,但EVM本身的结构可能不是执行高计算的最佳方式,因为它无法计算并行运算。在上面每建一个新的层的时候,为了保持去中心化的精神,就需要建立新的基础设施,这仍然需要同样数量的提供者来扩展,或者是一组全新的节点提供者来提供资源,或者两者都需要。
因此,每当更先进的解决方案被建立时,现有的基础设施就要被升级,或者在上面建立一个新的层。为了解决这个问题,我们需要一个后量子安全、去中心化、无需信任、高性能的计算基础设施,可以真正高效地使用量子算法为去中心化的应用进行计算。
加密钱包初创公司Bridgecard完成44万美元pre-seed轮融资:金色财经报道,加密钱包初创公司Bridgecard宣布完成44万美元pre-seed轮融资,参投方包括ABV Fund、Ingressive Capital、Voltron Capital、Venture Platform、Velocity Digital、Berrywood Capital。Bridgecard旨在将用户的银行卡、银行账户和金融科技钱包合并到一个应用程序中,允许用户执行在线交易、支付账单、以及从任何关联的账户中提款。[2022/5/20 3:30:47]
像Solana、Sui和Aptos这样的alt-L1s能够实现并行执行,但由于市场情绪,流动性短缺市场上缺乏开发人员,他们不会对以太坊产生挑战。因为缺乏信任,而且以太坊用网络效应建立的护城河是里程碑式的。到目前为止,ETH/EVM的杀手并不存在。这里的问题是,为什么所有的计算都应该在链上?是否存在一个同样无需信任、去中心化的执行系统?这是DCompute系统能够实现的。
DCompute基础设施要做到去中心化、后量子安全,也要做到无信任,不需要或者说不应该是区块链/分布式技术,但验证计算结果,正确的状态转换和最终确认是非常重要的。EVM链的运行就是如此,在保持网络的安全性和不可篡改性的同时,去中心化的、无需信任的、安全的计算可以被移到链下。
我们在这里主要忽略的是数据可用性的问题。这篇文章并非不关注数据的可用性,因为像Celestia和EigenDA这样的解决方案已经在朝这个方向发展。
1:只将计算外包
LedgerMail面向早期用户开放:LedgerMail公布基于区块链的去中心化电子邮件服务平台。据称,LedgerMail是首个去中心化的电子邮件解决方案,结合区块链、XDPoS共识、加密算法和零信任机制的力量,旨在以去中心化的方式保护电子邮件用户的数字权利。LedgerMail.io目前为早期用户提供免费访问。
LedgerMail不会像其他电子邮件安全提供商那样要求用户更改其电子邮件ID或域名。然而用户可以在不更改电子邮件ID的情况下更改其电子邮件生态系统,并成为LegerMail的一部分。LedgerMail在XinFin Network公链上运行,该区块链支持区块链4.0和XDPoS 2.0算法,具有108个交易验证主节点。此外,192个额外的备用节点分散在全球各地。(Globenewswire)[2021/8/6 1:39:01]
2.将计算与数据可用性外包
当我们看到Type1时,zk-rollups已经在做这个,但它们要么受限于EVM,要么需要教导开发者学习全新的语言/指令集。理想的解决方案应该是高效的、有效的、去中心化的、私密的和可验证的。ZK证明可以在AWS服务器上构建,但它们并不是去中心化的。像Nillion和Nexus这样的解决方案正在尝试以去中心化的方式解决通用计算的问题。但这些解决方案是无法验证的,如果没有ZK证明的话。
Type2将链下计算模型与保持分离的数据可用性层结合起来,但计算仍然需要在链上进行验证。
让我们来看一下今天可用的不完全可信和可能完全无信任的不同去中心化计算模型。
声音 | LedgerX前首席执行官:董事会的其他人不了解计算机科学、比特币和衍生品:金色财经报道,加密货币衍生品平台LedgerX今天宣布,其联合创始人Paul和Juthica Chou已被行政停职。对此,此前担任首席运营官的Juthica Chou刚刚发推文称,除了我们与董事会就业务愿景和方向存在长期分歧外,(LedgerX)没有给出任何其他原因。Juthica还通过电子邮件告诉CoinDesk,董事会的组成难以捉摸。董事会中没有其他人了解计算机科学、比特币和衍生品,这使得这些冲突和分歧常常很难解决。[2019/12/10]
其他计算系统
以太坊外包计算生态图
安全飞地计算/可信执行环境
TEE就像计算机或智能手机内部的一个特殊盒子。它有自己的锁和钥匙,只有特定的程序才能访问。当这些可信应用程序在TEE内部运行时,它们就受到其他程序甚至操作系统本身的保护。
这就像一个只有几个特殊朋友可以进入的秘密藏身处。TEE最常见的例子是安全隔离区,它们存在于我们使用的设备上,例如苹果的T1芯片和英特尔的SGX,用于在设备内部运行关键操作,如FaceID。
由于TEE是隔离的系统,认证过程无法被破坏,因为认证中存在信任假设。可以将其想象为存在一个安全门,你相信它是安全的,因为Intel或Apple建造了它,但世界上有足够多的安全破坏者,可以破坏这扇安全门。TEE不是“后量子安全”的,这意味着拥有无限资源的量子计算机可以破解TEE的安全性。随着计算机迅速变得更加强大,我们必须在构建长期计算系统和密码学方案时牢记后量子安全性。
公告 | Cosmos上首个DeFi项目Kava将于2月5日启动首个CDP测试网:Cosmos 上首个 DeFi 项目 Kava 宣布首个 CDP 测试网将于世界标准时间 2 月 5 日 14:00 正式启动,该测试网的目标是测试端到端的 CDP 功能,包括对即将到来的部署进行 bug 和其他功能测试,以及对治理功能(例如添加和删除资产)和调整参数(例如稳定费和清算罚款)进行测试。团队也将使用该测试网来完善、记录和改进治理流程,Kava Labs 鼓励验证者参与此次治理,从而熟悉运作模式。此外,对构建 Cosmos/DeFi 界面的专业人士可以申请 Kava Grants 计划。值得注意的是,此次测试将不支持外部资产的锚定测试。团队表示,未来的测试网将支持锚定资产功能,以及提供针对系统攻击的漏洞赏金和奖励计划。[2020/1/31]
安全多方计算(SMPC)
SMPC也是区块链技术从业熟知的一种计算方案,在SMPC网络中大致的工作流程会有如下3部分组成:
步骤1:将计算的输入转换为份额,并分布在SMPC节点之间。
步骤2:进行实际的计算,通常涉及SMPC节点之间的消息交换。在此步骤结束时,每个节点将拥有计算输出值的一个份额。
步骤3:将结果份额发送到一个或多个结果节点,这些节点运行LSS以重构输出结果。
想象一个汽车生产线,汽车的构建和制造组件被外包给原始设备制造商,然后有一个装配线,将所有组件组装在一起制造汽车。
秘密分享(Secretsharing)对于保护隐私的去中心化计算模型非常重要。这可以防止单个参与方获得完整的"秘密",并恶意产生错误的输出。SMPC可能是最容易和最安全的去中心化系统之一。虽然目前不存在一个完全去中心化的模型,但从逻辑上讲这是有可能的。
声音 | V神:Casper/分片规范大致完成 Plasma部署进行中:V神近期在推特上回复“你认为过去15个月(以太坊)最大的改变是什么”的问题时给出以下答案:
1.Casper/分片规范大致完成,现在正在细化阶段;
2.4项以上的规范已经在实施中;
3.扩容方案Plasma的很多部署都在进行中;
4.基于ZK-SNARK的第二层扩展和隐私正在进行中。
这一切与2017年相比变化显著。[2018/10/9]
像Sharemind这样的MPC提供商为计算提供MPC基础设施,但提供商仍然是集中的。如何确保隐私,如何确保网络(或Sharemind)没有恶意行为?这就是zk证明和zk可验证计算的由来。
NilMessageCompute
NMC是由Nillion团队开发的一种新的分布式计算方法。它是MPC的升级版,其中节点无需通过通过结果交互来进行通信。为此,他们使用了一种称为一次掩码的密码原语,利用一系列称为遮蔽因子的随机数来掩盖一个Secret,类似于一次性填充。OTM旨在以高效的方式提供正确性,这意味着NMC节点不需要交换任何消息来执行计算。这意味着NMC不会有SMPC的可扩展性问题。
零知识可验证计算
ZK可验证计算是对一组输入和一个函数生成零知识证明,并证明任何系统执行的计算都会是正确执行的。尽管ZK验证计算是新生事物,但它已经是以太坊网络扩展路线图中一个非常关键的部分,
ZK证明有各种各样的实现形式:
上面我们对zk证明的实现方式有了基本的了解,那么使用ZK证明验证计算需要什么条件呢?
首先,我们需要选择一个证明原语,理想的证明原语生成证明的成本低,对内存的要求不高,并且要易于验证
其次,选择一种zk电路,设计用于通过计算生成上述原语的证明
最后,在某个计算系统/网络中通过提供的输入对给定的函数进行计算并给出输出。
开发者的难题-证明效率困境
另外一个不得不说的事情就是构建电路的门槛还是很高,让开发者学习Solidity已经不是一件容易的事情,现在要求开发者学习Circom等来构建电路,或者学习一门特定的编程语言(如Cairo)来构建zk-apps,这似乎是一个遥不可及的事情。
如上面的统计数据显示,将Web3的环境改造得更适于开发,似乎比将开发人员引入新的Web3开发环境更具可持续性。
如果ZK是Web3的未来,Web3应用程序需要使用现有的开发人员技能来构建,那么ZK电路就需要这样设计:支持由JavaScript或Rust等语言编写的算法执行的计算生成证明。
这样的解决方案确实存在,笔者想到的是两个团队:RiscZero和LurkLabs。两个团队都有一个非常相似的愿景,即他们允许开发人员无需经历陡峭的学习曲线即可构建zk-app。
LurkLabs还处于早期阶段,但该团队已经在这个项目上工作了很长时间。他们专注于通过通用电路生成Nova证明(NovaProof)。Nova证明是由卡耐基梅隆大学的AbhiramKothapalli和微软研究院的SrinathSetty以及纽约大学的IoannaTziallae提出的。与其他SNARK系统相比,Nova证明在进行增量可验证计算(IVC)方面具有特殊优势。增量可验证计算(IVC)是计算机科学和密码学中的一个概念,旨在实现计算的验证,而无需从头开始重新计算整个计算。当计算时间长且复杂时,需要针对IVC对证明进行优化。
Bonsai网络设计的美妙之处在于计算可以初始化,验证,输出全部做到链上。所有这些听起来都像是乌托邦,但STARK证明也带来了问题——验证成本太高。
Nova证明似乎非常适合重复计算(它的折叠方案经济高效)和小型计算,这可能使Lurk成为ML推理验证的一个很好的解决方案。
谁是赢家?
一些zk-SNARK系统在初始设置阶段需要一个可信的设置过程,生成一组初始参数。这里的信任假设是,可信的设置是诚实执行的,没有任何恶意行为或篡改。如果受到攻击,可能会导致创建无效的证明。
STARK证明假设低阶测试的安全性,用于验证多项式的低阶性质。它们还假设哈希函数表现得像随机预言机一样。
两个系统的正确实施也是一个安全假设。
SMPC网络依赖于以下几点:
SMPC参与者可以包括“诚实但好奇“的参与者,他们可以通过与其他节点通信来尝试访问任何底层信息。
SMPC网络的安全性依赖于参与者正确执行协议并不故意引入错误或恶意行为的假设。
某些SMPC协议可能需要一个可信的设置阶段来生成加密参数或初始值。这里的信任假设是可信设置被诚实执行。
与SMPC网络相同,安全假设保持不变,但由于OTM的存在,不存在“诚实但好奇“的参与者。
OTM是一种多方计算协议,旨在保护参与者的隐私。它通过使参与者在计算中不公开其输入数据来实现隐私保护。因此,“诚实但好奇“的参与者不会存在,因为他们无法通过与其他节点通信来试图访问底层信息。
有明确的赢家吗?我们不知道。但每种方法都有自己的优点。虽然NMC看起来像是SMPC的明显升级,但该网络还没有上线,也没有经过实战测试。
使用ZK可验证计算的好处是它是安全和隐私保护的,但它没有内置的秘密共享功能。证明生成和验证之间的不对称使它成为可验证外包计算的理想模型。如果系统使用纯粹的zk验证计算,则计算机(或单个节点)必须非常强大才能执行大量计算。为了在保护隐私的同时启用负载共享和平衡,必须有秘密共享。在这种情况下,像SMPC或NMC这样的系统可以与像Lurk或RiscZero这样的zk生成器相结合,以创建强大的分布式可验证外包计算基础设施。
当今的MPC/SMPC网络是中心化的,这一点变得尤为重要。目前最大的MPC提供商是Sharemind,它上面的ZK验证层可以证明是有用的。去中心化MPC网络的经济模型尚未跑通。理论上,NMC模式是MPC系统的升级,但我们还没有看到其成功。
在ZK证明方案的竞赛中,可能不会出现赢家通吃的情况。每种证明方法都针对特定类型的计算进行了优化,并且没有一个适合所有类型的模型。计算任务的类型有很多种,也取决于开发人员在每个证明系统上做出的权衡。笔者认为基于STARK的系统和基于SNARK的系统以及它们未来的优化在ZK的未来都有一席之地。
各位对此有什么看法呢?欢迎在评论区留言哦!
单人行不如多人行,欢迎加入我的大家庭,一起抱团取暖吧,等你的加入哦!
好了本期就到这里了,大家点个赞点个关注支持一下小探呗,有什么问题评论区讨论或者私信小探哦,感谢大家的支持,我们下期见!
郑重声明: 本文版权归原作者所有, 转载文章仅为传播更多信息之目的, 如作者信息标记有误, 请第一时间联系我们修改或删除, 多谢。