前言:V神认为,虽然从长远看,layer1应保持简单和稳定,layer2聚焦更多创新,这种想法是好的。但是,从短期看,layer1还不够强大,要想达成这种layer1和layer2的完美分层关系,首先要让layer1足够强大,而这个足够强大就是要让layer1协议达到一定级别的功能。所谓的一定级别,就是实现layer1和layer2完美互补关系的最小功能级别。V神用“功能逃逸速度”进行比喻。那么,layer1必须要有那些最小功能呢?其中包括一种可以验证需要验证的任意内容的编程语言;丰富的有状态性;数据可扩展性和低延迟等。本文由“蓝狐笔记”社群的“SIEN”翻译。
区块链领域有一个普遍的思路:区块链应该最大程度上简单,因为它们是很难改变的基础架构,一旦破坏会造成巨大危害,而更复杂的功能应该在上层构建,以layer2协议的形式:状态通道、Plasma、Rollup等。layer2是进行持续创新的地方,而layer1应该保持稳定性和进行维护,只有在紧急情况下才进行大的更改。
这种分离层的想法是非常好的主意,从长期看,我强烈支持这种想法。然而,这种想法忽略了一个重要的观点:尽管layer1无法很强大,但是由于更大的能力意味着更大的复杂性并因此带来更大的脆弱性,因此layer1也必须足够强大,以使得构建其上的layer2协议首先是可能的。
V神:假设想放弃Eth 2.0会公开承认:今日,推特网友bitcoinpasada提问称,Vitalik,假设你实际上得出结论,PoS不可行,你想放弃Eth 2.0。你愿意公开承认吗?你认为以太坊社区会有什么样的反应?对此V神回复称,是的,我会公开承认,就像我曾经公开承认的那样:我认识到Plasma不能解决所有的可伸缩性问题;eth2设计中的各种枢轴(pivots);链上治理存在一些问题。[2020/10/13]
一旦layer1协议达到一定级别的功能,我将其称为“功能逃逸速度”,那么到了这个时候,你可以在这个基础上做其他所有事情,而无须改变基础层。但是,如果layer1功能不够强大,那么,你可以谈论填补与layer2系统的空隙,但现实是,如果不再次引入layer1试图摆脱的整套信任假设,实际上就没有办法构建这些系统。
本文会讨论构成“功能逃逸速度”的最小功能的一些含义。
一种编程语言
必须有可能在链上执行定制的用户生成的脚本。这种编程语言可以很简单,且实际上并不需要高性能,但它至少需要拥有这种级别的功能:能够验证可能需要验证的任意内容。这很重要,因为要构建于基础层之上的layer2协议需要某种验证逻辑,这种验证逻辑必须以某种方式由区块链执行。
V神:希望可以摆脱委员会 尽可能地消除固定阈值:有推特网友表示,以太坊分片执行可能不会发生,IMO Eth2应该认真考虑让1个委员会签署一个具有64个数据根的块,而不是由64个委员会签署64个数据根。内部分片提供了共识分片的大部分好处,而复杂性却大大降低了。V神发推回应称:“你认为委员会对于关注数据可用性的链是必要的吗?或者你认为数据可用性抽样可以完全依赖吗?如果可以的话,我绝对希望我们可以摆脱委员会,尽可能地消除固定阈值。[2020/10/5]
你可能听说过图灵完备性。对这个术语,“外行人的直觉”是如果一种编程语言是图灵完备的,那么它可以做计算机理论上可以做的任何事情。一种使用图灵完备语言编程的程序可以翻译成任何其他图灵完备语言的等效程序。但是,事实证明,我们只需要更轻一些的东西:可以将编程限制为无循环,或者可以保证程序在特定数量的步骤之后终止。
丰富的状态
不仅存在一种编程语言重要,而且该编程语言如何精确地集成到区块链中也很重要。在可集成语言的更受限的方法中,如果它用于纯粹交易验证:当你向某个地址发送代币,该地址代表了计算机程序P,P可用于验证从这个地址发送代币的交易。
V神:以太坊2.0团队或在4月推出多客户端测试网:金色财经报道,根据以太坊联合创始人V神(Vitalik Buterin)的说法,以太坊2.0团队可能会在4月推出多客户端测试网。据悉,技术安全公司Least Authority最近对ETH 2.0规范进行了审核,该审核强调协议的P2P消息传递系统和区块提议者系统存在潜在的安全漏洞。在回应该报告时,V神表示,ETH 2.0团队目前正在努力解决这些问题,尽管这可能需要长期的努力而不是立即进行修订。[2020/3/31]
也就是说,如果你发送的哈希值为h的交易,你提供的签名为S,那么区块链会运行P,如果输出为TRUE,那么交易是有效的。通常,P是用于加密签名方案的验证器,但它可以执行更加复杂的操作。尤其需要注意的是,在这一模型中,P并不能访问交易的目的地。
但是,这种“纯函数”的方法还不够。这是因为这种纯粹基于函数的方法并不足以执行人们实际想实现的多种类型的layer2协议。它可以处理通道,但它无法实现具有强大属性的其他扩展性技术,它也无法用于引导出具有更复杂状态概念的系统,等等。
金色晨讯 | V神:加密货币并不符合有效市场假说:1.跨境业务区块链服务平台首批试点在陕西落地
2.以太坊Reddit子版块版主因社区争议辞职
3.V神:加密货币并不符合有效市场假说
4.Reserve Protocol(RSR)将通过火币优选上币通道Huobi Prime上线火币全球站
5.比特币现金将在周三升级网络底层机制
6.ThunderCore 团队被曝分别向交易所 Upbit 和火币转出大量代币 引发社区恐慌
7.内部人士:吴忌寒已经建立了FinTech平台Matrix
8.Euro Pacific Capital首席执行官:加密货币只是“的投机工具”
9.币安或将在5月14日完全恢复存款和取款[2019/5/13]
为了简单说明纯函数范式无法做什么,可以考虑一下具有如下功能的储蓄账户:存在一个加密密钥k,k可以发起提款,且如果发起了提款,在接下来的24小时内使用相同的密钥k可以取消提款。如果提款在24小时内仍未取消,则任何人都可以“戳”该账户以完成提款。
这么做的目的是,如果密钥被盗,账户持有人可以防止偷窃者提取资金。偷窃者当然可以阻止合法持有人获得资金,但这种攻击对于偷窃者来说将是无利可图的,因此他们可能不会去干这种事。
声音 | V神:Casper/分片规范大致完成 Plasma部署进行中:V神近期在推特上回复“你认为过去15个月(以太坊)最大的改变是什么”的问题时给出以下答案:
1.Casper/分片规范大致完成,现在正在细化阶段;
2.4项以上的规范已经在实施中;
3.扩容方案Plasma的很多部署都在进行中;
4.基于ZK-SNARK的第二层扩展和隐私正在进行中。
这一切与2017年相比变化显著。[2018/10/9]
遗憾的是,如果仅用纯函数这种技术无法实现。问题是:需要用某种方式将代币从“正常”状态转变为“等待提款”状态。但程序P无法访问目标地。因此,任何可以授权将代币移至等待提款状态的交易也可以授权立即偷取这些代币;程序P无法分辨出其中差异。
这种改变代币状态而无须完全释放它们的能力,对很多应用来说都很重要,其中也包括layer2协议。Plasma自身就符合这种“授权,最终确定,取消”的范式:从Plasma退出必须被批准,然后有7天时间的挑战期,在这个挑战期内,如果能提供正确的证据,退出可能被取消。
Rollup也需要这种属性:在rollup内的代币必须由程序控制,该程序持续跟踪状态根R,并且如果某验证器P返回TURE,则将R更改为R',但在这种情况下,它仅仅将状态改变为R',它并不释放代币。
授权状态改变而无须完全释放一个账户中的所有代币,这种能力我称之为“丰富的有状态性”。它可以在很多方面实现,有些基于UTXO的,但如果没有它,区块链不足以实现大多数layer2协议,而无须包含信任假设。
请注意:是的,我知道如果P可以访问h,那么,你可以将目标地址包括进来作为S的一部分,然后对照h进行检查,并以此方式来限制状态改变。但是,可能有一种编程语言其资源太有限或受限于实际上的执行。让人吃惊的是,在区块链脚本语言中通常确实如此。
足够的数据可扩展性和低延迟
事实证明,Plasma和通道以及其他完全链下的layer2协议有一些根本性的弱点,使得它们无法完全复制layer1的能力。
我在这里详细探讨。总结来说,这些协议需要一种判断情形的方法,其中一些参与方恶意地不提供他们承诺提供的数据,且因为数据发布并非是全局可验证的,这些判断游戏在博弈论上看是不稳定的。
通道和Plasma巧妙地通过添加额外假设来解决这种不稳定性,特别是假定对于每个状态,都有一个参与者对该状态不被错误修改感兴趣,因此,为其自身利益可以被信任。但是,这远非通用。例如,像Uniswap这样的系统,有一个大型的“中央”合约,它不归任何人所有,因此,它们无法有效地受到这种范式的保护。
有一种方法可以解决这个问题,其中layer2协议在链上发布非常小量的数据,但完全在链下进行计算。如果数据可以确保可用,那么,链外进行计算是可行的,因为判断谁正确计算谁没有正确计算的游戏在博弈论上是稳定的。
这是ZKrollup和optimisticrollup背后的逻辑。如果区块链允许发布并确保合理的大量数据的可用性,即使其计算能力非常有限,那么,区块链也能支持这些layer2协议,并实现高水平的可扩展性和功能。
区块链需要处理和确保多少数据?好吧。这取决于你想要多少TPS。通过rollup,你可以将大多数活动压缩至每个交易大约10-20字节,因此,1kb/秒,大约可以有50-100的TPS,1MB/秒大约50,000-100,000的TPS,以此类推。
幸运的是,互联网带宽持续快速增长,并且在计算方面并没有看到摩尔定律的减速,因此,在不增加计算负载的情况下增加数据的可扩展性,这对于区块链来说,是非常可行的路径。
请注意,不仅数据容量很重要,数据延迟也重要,也就是具有低区块时间。Layer2协议,如rollup只是当数据实际发布到链上时才给予任何安全性保证。因此,数据被可靠地包含在链上所耗费的时间是指当Alice向Bob发送支付款项和Bob确信支付被包含进去之间所花费的时间。
基础层的区块时间设置了任何内容的延迟时间,这些内容的确认依赖于其被包含进基础层。可以用链上安全存款来解决此问题,其代价是资本效率低下,这种方式本质上不完善,因为恶意行为者可以通过牺牲一个存款质押无数人。
结论
“保持layer1简单,在layer2上弥补”并不是解决区块链可扩展性和功能性问题的通用答案。因为它没有考虑到layer1区块链自身必须要有足够的可扩展性和功能性,以使得构建其上实际上成为可能。
但是,在某个点之外,任何layer1功能确实可以在layer2上复制,且在很多情况下,通过这样做提高可升级性是个好想法。因此,在短期内,我们需要layer1跟layer2并行发展,从长远看,我们需要更多聚焦于layer2。
------
风险警示:蓝狐笔记所有文章都
不能作为投资建议或推荐,投资有风险,投资应该考虑个人风险承受能力,建议对项目进行深入考察,慎重做好自己的投资决策。
作者:LucyCheng文章来源:哈希派区块链成2019年度流行语,这里有你贡献的热度吗?12月2日下午,《咬文嚼字》编辑部发布2019年十大流行语。其中,“区块链”入选年度流行语榜单.
1900/1/1 0:00:00原创:SNC分析部?来源:标准共识??编者注:本文作了不改变作者原意的删减。 Overview概述本文将从电子发票行业出发,整体分析电子发票及区块链电子发票行业,以求完善行业图谱.
1900/1/1 0:00:00加拿大央行行长StephenPoloz近期谈到了他对2020年的展望和问题的看法。在12月12日的年终演讲中,Poloz提到了经济问题和影响加拿大全球经济的结构性力量.
1900/1/1 0:00:00文丨互链脉搏·金走车12月27日收盘,嘉楠科技股价为5.58美元,较发行价9美元,下跌了38%.
1900/1/1 0:00:00编译|严出品|白话区块链在10月25日“区块链技术”荣获行业顶级暖流之后,国家级巨头和传统巨头的进场会越来越迅速.
1900/1/1 0:00:00来源:链闻策划与编辑:李画坏消息:过去这一年,我们期待的区块链上的重大突破依然没有出现。好消息:很多新的探索依然在发生,其中不少?技术方面的尝试,?被证实适用于并且有助于区块链发展,它们被吸收进.
1900/1/1 0:00:00