木星链 木星链
Ctrl+D收藏木星链
首页 > XRP > 正文

ITA:Vitalik:如何权衡协议设计中的「封装复杂性」和「系统复杂性」?

作者:

时间:1900/1/1 0:00:00

原文作者:VitalikButerin,以太坊联合创始人

原文编译:南风

以太坊协议设计的主要目标之一是最小化复杂性:使协议尽可能简单,同时仍然使区块链能够做好一个有效的区块链网络需要做到的事情。以太坊协议在这方面还远远不够完美,特别是因为它的很多部分都是在2014-16年设计的,当时我们对它的理解要少得多,但我们仍然在尽可能地积极努力降低复杂性。

然而,这个目标的挑战之一是复杂性很难定义,且有时,你必须在两个引入不同种类复杂性和具有不同代价的选择之间进行权衡。我们如何比较?

有一个强大的智能工具可以让我们对复杂性进行更细致的思考,那就是区分我们所谓的封装复杂性(encapsulatedcomplexity)和系统复杂性(systemiccomplexity)。

当一个系统的子系统内部复杂,但向外部呈现一个简单的“接口”(interface)时,就是出现了「封装复杂性」。当系统的不同部分甚至不能被清晰地分开,并且相互之间有复杂的交互时,「系统复杂性」就出现了。

Illuvium: Beyond游戏将于3月8日6时发布,同时开启NFT集合Illuvitar铸造:3月6日消息,RPG链游Illuvium在推特上表示,首轮Illuvitar及其配件,将于北京时间3月8日06:00(UTC时间2023年3月7日22:00)与新收藏游戏Illuvium: Beyond一起发布。

根据此前消息,Illuvitar是一个可定制的NFT集合,其中包含拥有各种配件、背景和表情的Illuvial插图。Illuvitars将以两种类型的打包出售,即Illuvitar D1SK和Mega D1SK。Illuvitar D1SK包括1件奖励等级Illuvitar、1件随机Illuvitar、3个配件,Mega D1SK包括1件稀有物、1件随机Illuvitar、3个配件。用户可以在销售窗口期间铸造无限数量的Illuvitar。一旦销售结束,这些Illuvitar将永远不会再铸造。[2023/3/6 12:44:31]

以下是几个例子。

区块链健康数据平台DEVITA与Polygon达成合作:金色财经消息,区块链健康数据平台DEVITA与Polygon达成合作,通过Polygon的网络,DEVITA可以利用快速数据传输和超低的交易成本,为其用户提供更公平的医疗保健和个人数据管理机会。

据悉,DEVITA 是一个基于区块链的健康数据平台,旨在通过去中心化识别 (DID) 和不可替代令牌 (NFT) 技术的最新创新来优化传统医疗流程和运营,该平台即将Polygon上线。(blog.polygon.technology)[2022/4/14 14:24:17]

BLS签名vs.Schnorr?签名

BLS签名和Schnorr签名是两种常用的可由椭圆曲线构成的加密签名方案。

BLS签名在数学上看起来非常简单:

H是一个哈希函数,m是消息,k和K是私钥和公钥。到目前为止,很简单。然而,真正的复杂性隐藏在e函数的定义中:椭圆曲线配对(ellipticcurvepairings),这是所有密码学中最难以理解的数学部分之一。

链游Civitas完成2000万美元融资,Delphi Digital和三箭资本领投:4月12日消息,链游Civitas宣布完成2000万美元融资,Delphi Digital和三箭资本领投,Framework Ventures、BITKRAFT、DeFiance Capital、Sfermion、CCP Games、Yield Guild Games、Merit Circle和YGG SEA等参投。

据了解,本轮融资将用于将Civitas构建为一款社区驱动的协作类城市建设游戏,拟在2023年第一季度推出测试版,并在2023年晚些时候正式推出。(Venturebeat)[2022/4/13 14:20:44]

现在,我们来看看Schnorr签名。Schnorr签名只依赖于基本的椭圆曲线。但是签名和验证逻辑有点复杂:

所以…哪种类型的签名“更简单”?这取决于你在乎什么!BLS签名具有巨大的技术复杂性,但复杂性都隐藏在e函数的定义中。如果你把e函数看作一个黑盒,BLS签名实际上是非常简单的。另一方面,Schnorr签名的总体复杂性较低,但有更多的部分,能以一种微妙的方式与外部世界互动。

Vitalik:未来2到3年,以太坊将更便宜、生态系统更有趣:7月24日,“2021世界区块链大会·杭州”在杭州未来科技城学术交流中心开幕。

在今天上午的开幕式上,以太坊创始人Vitalik Buterin受邀出席并发表主题演讲《以太坊进入2.0之后,会发生什么?》。他讲到,以太坊的基本技术愿景是试图在短期内快速改进,并在长期内稳定下来。因为从长远来看,我认为区块链确实需要安定下来,变得更加稳定,确实需要向用户做出更多的保证,保证事情不会发生变化,这样用户才能感到安全并在此基础上做出发展。但在短期内,这些技术都已经被开发出来了。我认为在未来的2到3年里,我们会看到使用以太坊会变得更加便宜,我们将会看到更多不同种类的应用使用以太坊,以太坊生态系统将变得更加有趣。[2021/7/24 1:12:54]

例如:

进行BLS多签(两个密钥k1和k2的组合签名)很简单:只需σ1σ2。但是Schnorr多签名需要两轮交互,并且需要处理一些棘手的KeyCancellation攻击。

非营利组织“机器情报研究所”接受加密货币捐赠 收到Vitalik Buterin763,970美元的捐赠:非营利组织“机器情报研究所”(Machine Intelligence Research Institute)最近发布了一份筹款统计数据,显示了对加密货币社区的大力支持。该机构是一家非盈利组织,负责调查与人类高级人工智能(AI)相关的安全问题。他们在2017年的年度募款活动筹集了250多万美元,是125万美元目标的两倍多。非营利组织透露,在这次筹款活动中捐赠的资金有66%(大约166万美元)是用加密货币(主要是比特币和以太坊)进行的。事实上,最大的捐赠是在筹款活动结束的时候,从Vitalik Buterin那里获得了价值763,970美元的捐赠。Vitalik的捐赠是迄今为止研究机构在所有筹款活动中所收到的第三大捐款。[2018/2/22]

Schnorr签名需要生成随机数,BLS签名不需要。

椭圆曲线配对通常是一个强大的“复杂性海绵”,因为它们包含大量封装复杂性,但使解决方案具有更少的系统复杂性。这也适用于多项式承诺领域:将KZG承诺(需要配对)的简单性与更复杂的内积证明(innerproductarguments,不需要配对)的内部逻辑进行比较。

密码学vs.加密经济学

在许多区块链设计中出现的一个重要设计选择是密码学(cryptography)与加密经济学(cryptoeconomics)的比较。这(比如在Rollups中)常常是在有效性证明(即ZK-SNARKs)和欺诈证明之间做出选择。

ZK-SNARKs是复杂的技术。虽然ZK-SNARKs工作原理背后的基本思路可以在一篇文章中解释清楚,但实际上实现一个ZK-SNARK来验证一些计算涉及到比计算本身多很多倍的复杂性(因此,这就是为什么用于EVM的ZK-SNARKs证明仍在开发中,而用于EVM的欺诈证明已经在测试阶段)。有效地实现一个ZK-SNARK证明涉及到了对特殊目的进行优化的电路设计、使用不熟悉的编程语言以及许多其他挑战。另一方面,欺诈证明本身就很简单:如果有人提出挑战,你只需直接在链上运行计算。为了提高效率,有时会添加一个二进制搜索方案,但即使这样也不会增加太多的复杂性。

虽然ZK-SNARKs很复杂,但它们的复杂性是封装复杂性。另一方面,欺诈证明的相对较低的复杂性,是系统复杂性。以下是欺诈证明引入的一些系统复杂性的例子:

它们需要谨慎的激励工程来避免验证者的困境。

如果在达成共识的情况下完成,它们需要为欺诈证明提供额外的交易类型,同时还要考虑到如果许多参与者同时竞相提交欺诈证明会发生什么。

它们依赖于一个同步网络。

它们允许审查攻击(censorshipattacks)也被用来进行盗窃。

基于欺诈证明的Rollups要求流动性提供者支持即时提款。

由于这些原因,即使从复杂性的角度来看,基于ZK-SNARKs的纯加密解决方案也可能是长期安全的:ZK-SNARKs有着更复杂的部分,这是一些人在选择ZK-SNARKs时必须考虑到的;但ZK-SNARKs有着更少的悬空警告,这是每个人都必须考虑到的。

PoW(中本聪共识):较低的封装复杂性,因为该机制非常简单和容易理解,但有着更高的系统复杂性(如自私挖矿攻击)。

哈希函数:较高的封装复杂性,但有着非常容易理解的属性,因此系统复杂性很低。

随机洗牌算法:洗牌算法既可以是内部复杂(比如Whisk),但却能够确保强大的随机性,且易于理解;也可以是内部简单,但却能够产生较弱且难以分析的随机性属性(比如系统复杂性)。

矿工提取价值(MEV):一个强大到足以支持复杂事务(complextransactions)的协议在内部可能相当简单,但那些复杂的事务可能会对协议的激励机制产生复杂的系统影响,因为它们会以非常不正常的方式提议区块。

Verkle树:Verkle树确实有一些封装复杂性,实际上比普通的Merkle哈希树要复杂得多。然而,从系统上讲,Verkle树提供了与键值(key-value)映射完全相同的相对干净和简单的界面。主要的系统复杂性“泄漏”(leak)是攻击者操纵Verkle树使一个特定值有一个非常长的分支(branch)的可能性;但Verkle树和Merkle树的风险是相同的。

我们如何权衡呢?

通常,封装复杂性较低的选择也是系统复杂性较低的选择,因此有一个选择显然更简单。但在其他时候,你必须在一种复杂性和另一种复杂性之间做出艰难的选择。在这一点上应该清楚的是,如果是封装复杂性,那么其危险性就会更低。一个系统复杂性带来的风险不是一个简单的规范长度的函数;规范中一个10行代码的小片段与其他部分相互作用会比100行代码的函数更复杂,否则就会被视为一个黑盒。

然而,这种偏好封装复杂性的方法存在局限性。任何一段代码中都可能出现软件bugs,当代码越来越大时,出现错误的概率接近1。有时,当你需要以意想不到的新方式与子系统交互时,最初的封装复杂性可能会变成系统复杂性。

后者的一个例子是以太坊当前的两级状态树(two-levelstatetree),其特征是帐户对象树,其中每个帐户对象依次有自己的存储树。

这个树结构是复杂的,但在一开始,这种复杂性似乎被很好地封装:协议的其余部分作为可读写的键/值存储与树交互,所以我们不必担心树是如何构造的。

然而,后来,这种复杂性被证明具有系统性影响:帐户拥有任意大的存储树的能力意味着没有办法可靠地期望某个特定的状态部分(例如。“所有以0x1234开头的帐户”)具有可预测的大小。这使得将状态分割成多个部分变得更加困难,使同步协议的设计和分布存储进程的尝试变得更加复杂。为什么封装复杂性会变成系统性的?因为interface改变了。解决方法是什么?目前转向Verkle树的提议还包括转向一个均衡的单层树设计。

最终,在任何给定的情况下,哪种类型的复杂性更受欢迎是一个没有简单答案的问题。我们所能做的最好的事情是适度地支持封装复杂性,但不要太多,并在每个具体的情况下演练我们的判断。有时候,牺牲一点系统复杂性来极大地降低封装复杂性确实是最好的做法。其他时候,你甚至会误判什么是封装的,什么不是。每种情况都是不同的。

标签:ITAVITAVIT以太坊saitama币会继续销毁吗vita币官网Huobi Vitamin Token以太坊最新价格行情平台

XRP热门资讯
区块链:区块链基础设施初创公司Tenderly完成4000万美元B轮融资,Spark Capital领投,Coinbase Ventures等参投

据TechCrunch3月2日报道,区块链基础设施初创公司Tenderly完成4000万美元B轮融资,SparkCapital领投.

1900/1/1 0:00:00
ETH:如何在 imToken 中使用 Optimistic Ethereum?

OptimisticEthereum是什么?OptimisticEthereum是Optimism推出的一款Layer2扩容方案,通过采用单轮交互型设计的OptimisticRollup技术.

1900/1/1 0:00:00
AVA:Avalanche基金会推出2.9亿美元的激励计划「Avalanche Multiverse」

本文来自?The?Block,原文作者:RyanWeeksOdaily星球日报译者?|念银思唐摘要:-游戏项目DeFiKingdoms是第一个在Multiverse计划中获得激励资金的项目.

1900/1/1 0:00:00
FOR:To Potential Gate.io Copy Trading Partners

DearGate.ioUsers,Wearethrilledtoannouncethattheregistrationfor"StarsofGate.ioCopyTradingEducation.

1900/1/1 0:00:00
KEX:BKEX 关于下架部分币种交易对的公告

尊敬的用户:?本着保护用户的宗旨,BKEX为保证交易币种的高标准,将定期对平台内的代币进行综合性审查;如项目方出现对投资者不利因素,我们将采取对应措施,并下架对应项目.

1900/1/1 0:00:00
SUP:SupraOracles与元宇宙游戏Hydraverse达成合作

SupraOracles很高兴地宣布与Hydraverse合作,Hydraverse是一款元宇宙PVP赛龙游戏,具有“即玩即赚”系统.

1900/1/1 0:00:00