大多区块链应用最有价值的属性之一就是“免信任”(trustlessness),即应用能够以预期的方式保持运行而无需依赖特定参与者以特定形式行事,即使他们将来的相关利益可能产生变化并使其做出意料之外的举动。区块链应用从来都不是完全的免信任化,但是某些应用确实比其他应用的免信任程度更高。如果我们想要朝着信任最小化的目标前进,就需要首先具备辨别信任程度的高低。
首先,我个人对“信任”的简单定义是:信任就是对他人行为进行假设。在疫情爆发前,你走在街上不会因为防止有人突然捅你一刀而刻意跟他人保持两米的距离,这就是一种信任:一是信任人们很少会失心疯,二是法制系统的维护者有很强的动机约束这种行为。当你运行其他人写的一段代码时,你信任他们在编写代码时是诚实的(无论是出于他们自己的良知或是维持声誉的经济利益),或者至少存在足够多的人对代码进行检查以找到漏洞。不亲自种粮食也是另一种信任,相信会有足够多的人为了获取收益耕种粮食并出售给你。你可以信任不同规模的群体,信任的类型也不尽相同。
Vitalik:跨链证明是实现跨链社交恢复钱包的关键,ZK-SNARK等是可行选择:6月20日消息,以太坊联合创始人VitalikButerin在最新文章《更深入探讨钱包和其他用例的跨L2读取》中指出,实现跨链社交恢复钱包的一个可行方案是维护一个存放在特定位置的密钥库,以及多个不同位置的钱包,这些钱包可以读取密钥库来更新自身的验证密钥视图或在每次交易验证过程中。跨链证明是实现这个功能的关键,需要对其进行深度优化,可能的方案包括零知识证明(ZK-SNARK)、等待Verkle证明或自定义KZG解决方案。
从长远看,我们需要实现聚合协议,通过生成聚合证明来打包所有用户提交的操作,以此来降低成本。这可能需要将其集成到ERC-4337生态系统中,可能需要对ERC-4337进行一些修改。同时,为了减少从L2内部读取L1状态的延迟,L2应被优化。
钱包不只可以放在L2上,也可以放在与以太坊连接程度较低的系统上,如L3或只同意包含以太坊状态根的独立链。然而,密钥库应放在L1或高安全性的ZK-rollupL2上。尽管这样会增加复杂性,但从长期来看,可能在L2上设置密钥库才是成本更低的方案。在这个过程中,我们也需要致力于提供保护隐私的解决方案,并确保我们的方案可以与隐私保护方案兼容。[2023/6/21 21:50:47]
为了对区块链进行分析,我尝试将信任分解为以下几个维度:
Vitalik最推崇作家大为·格雷伯去世:Vitalik Buterin最推崇作家、《债:第一个5000年》作者大为·格雷伯于9月2日去世,大卫?格雷伯认为唯有全面历史地理解了债及其与暴力之间的关系,我们方能开始正确估量我们刚刚到来的新纪元。大为·格雷伯曾深入研究了虚拟货币的历史,认为虚拟信用货币早在农耕帝国时代就是主导货币形式,利息货币的习惯同时也起源于苏美尔,利息率固定为20%,2000年来一直保持稳定。在中世纪(公园600-1500年)虚拟信用货币回归,而当今时代(1971以后)则是债的帝国。值得一提的是,占领华尔街运动也是大为·格雷伯组织的。[2020/9/4]
你需要多少人按照你的预期行事?
人数总量多大?
人们需要什么动机?他们需要是利他主义者,还是唯利是图者?他们需要避免协作吗?
如果违反了这些假设,系统会受到多严重的影响?
OKEx将于5月26日19时暂停VITE充提:据官网公告,由于VITE主网升级 ,OKEx将于2020年5月26日19:00 暂停VITE的充提,待升级完成后开放。[2020/5/26]
现在,我们先关注前两点,下面有一个图表:
绿色越深,表示该模型越健康。让我们对这几个种类进行详细分析:
1of1:整个系统只有一个参与者。如果这名参与者按照你预期的那样行事,系统就会(才会)正常运行。这就是传统的“中心化”模型,也是我们要超越的模型。
GTX(GravitationX)即将上线TokenBetter:据TokenBetter官方公告,GTX(GravitationX)将于2020年5月3日15:00上线TokenBetter。
GTX(GravitationX)的目标是通过结合 CryptoNote 协议和智能合约等一些经过验证的最佳技术,创建一种独特的先进区块链技术,增强可靠性,隐私性,安全性,可用性和可移植性,从而实现创建私人智能合约。GTX(GravitationX)发行总量限定1亿,永不增发。GTX拥有首个POD毁灭证明机制,百分之九十六的GTX将被摧毁,最后只剩下 4,000,000枚GTX。[2020/5/2]
NofN:“反乌托邦”世界。系统中的所有参与者都要按照预期行事,系统才能正常运行,如果其中任何人失败,我们没有补救措施。
N/2ofN:这是区块链的运作方式,如果大部分矿工(或PoS验证者)是诚实的,区块链就能正常运作。要注意的是,N值越大,N/2就越有价值。相比只由少量矿工/验证者控制的区块链,矿工/验证者广泛分布的网络更有意义。尽管如此,由于51%攻击的可能性,我们还是想在这种程度的安全性上更进一步。
声音 | Kavita Gupta:风投在加密货币领域的投资方式发生了变化:ConsenSys Ventures创始执行合伙人Kavita Gupta在最近接受采访时表示,风投在加密货币领域的投资方式发生了变化。风投开始适应新的模式,加密货币投资比较独特,其流动性、持续性、风险特征、波动性等因素都与传统的长线投资基金有很大不同。区块链投资者的构成在不断变化,企业家画像也在变化。在这一领域担任CEO的人士从大部分是年期的技术专家变成了很多是经验丰富的工程师和连续创业者。产品的愿景、路线图,尤其是接纳的理由和友好的用户界面已成为了讨论主题之一。一些大型风投公司正在成立加密货币领域专用基金,使世界更加接近Web 2.0和Web 3.0,并验证这一领域的许多早期技术,而这些技术在一年前还看起来可能是不现实的。”[2019/1/30]
1ofN:有很多参与者,只要其中至少有一个按照预期行事,系统就能正常运作。任何基于欺诈证明的系统都属于这一类,信任设置也是如此,尽管在这种情况下N值通常较小。请注意,我们确实希望N值尽可能大!
极少数ofN:在众多参与者中,只要有固定数量的小部分参与者按照预期行事,系统就能正常运行。数据可用性检查就当属其中。
0ofN:系统无需依赖外部参与者即可正常运行。亲自验证区块就归为这一类。
尽管除“0ofN”之外的模型都有一定“信任”程度,但是这些模型之间存在巨大差异!相信特定的某个人(或组织)会按照预期行事,与相信随便一个人都会按照预期形式,是完全不同的情况。相比“N/2ofN”和“1of1”,“1ofN”与“0ofN”更相似。可能有人会觉得“1ofN”模型与“1of1”模型很像,因为这两种模型都依赖一名参与者,但实际上这两者十分迥异:在“1ofN”系统中,如果该名参与者突然消失或者黑化,大可以重新换一个参与者,但在“1of1”系统中我们别无他选。
尤其要注意即使是你所运行的软件,其正确性通常取决于“极少数ofN”信任模型,以确保代码出现漏洞时有人会进行纠查。明白这一点后,努力使应用中其他部分从“1ofN”模型切换到“0ofN”模型就像是为你家装上防盗门,但窗户是打开的。
另一个重要的区别在于,如果你的信任假设被打破,对系统的破坏有多大?在区块链上,最常见的两种故障类型是活性故障和安全性故障。活性故障就是你暂时无法进行操作。安全性故障就是出现了系统想要预防的情况。
以下列举了一些区块链layer2协议所采用的信任模型。我用“smallN”来指代layer2系统本身的参与者集合,“bigN”来指代区块链底层的参与者。我的假设是layer2的社区总是小于底层区块链。另外,我使用的“活性故障”一词特指代币长时间无法提出的情况。无法使用系统但是能够几乎即时提款的情况不算作活性故障。
“通道”方案(Channels,包括状态通道、闪电网络等):使用“1of1”信任模型来确保活性(你的对手方可以暂时冻结你的资金,不过你可以通过将资金分散在多个通道中减少风险),使用“N/2ofbigN”模型来确保安全性(有可能在51%攻击中失去资金)。
Plasma(中心化运营者):使用“1of1”信任模型来确保活性(运营者可以暂时冻结你的资金),“N/2ofbigN”模型来确保安全性(有可能在51%攻击中失去资金)。
Plasma:使用“N/2ofsmallN”信任模型来确保活性,“N/2ofbigN”模型来确保安全性。
Optimisticrollup:使用“1of1”或“N/2ofsmallN”信任模型来确保活性(取决于运营者的类型),“N/2ofbigN”模型来确保安全性。
ZKrollup:使用“1ofsmallN”信任模型来确保活性(如果运营者未能打包你的交易,你可以提款,如果运营者没有立即打包你的取款交易,就无法打包更多交易包,你可以在rollup系统中任何一个全节点的帮助下自行提款);不存在安全故障风险。
ZKrollup:不存在活性故障风险和安全故障风险。
最后就是“激励”的问题。要促使参与者遵循预期,你所信任的参与者需要非常利他主义、轻微利他主义,还是说足够理性?默认情况下,“欺诈证明”(fraudproofs)需要参与者具有轻微利他主义倾向,但其程度取决于计算的复杂性(详见“验证者困境”),并且存在很多方式改进过程,使其更加理性。
如果我们增加一种为服务支付费用的机制,那么帮助他人从ZKrollup中提款的行为就是理性的,因此几乎没必要担心无法退出rollup的问题。与此同时,如果社区都同意不接受51%攻击下的区块链(回滚很长的交易历史或是审查区块过久),那么其他系统所面临的风险可以被减轻。
结论:如果有人说某个系统“依赖于信任机制”,那我们可以刨根问底!他们的意思是“1of1”模型、“1ofN”模型还是“N/2ofN”模型?该系统需要参与者是利他主义还是理性主义?如果是利他主义,参与者的代价有多大?如果违反了假设,需要等待多久才能取回自己的资金?几个小时?几天?还是永远被冻结?明白这些问题后,我们可能对于是否采用该系统会有截然不同的答案。
来源|?vitalik.ca
作者|VitalikButerin
引言随着信息时代的到来,信息呈现出了爆发式的增长,同时信息数据也成为了具有重要价值的资源之一,信息存储的安全性也变得越来越重要.
1900/1/1 0:00:00比特币在过去24小时节节攀升,连下5城,收复了从32000至36000美元所有失地,截止发稿为止,比特币价格为36,169.49美元,日内涨幅12.81%。已经将周一的一波暴跌损失全部填平.
1900/1/1 0:00:00过去几个月来,以太坊核心开发者正在忙于“伦敦”升级,即4月上线的柏林升级之后的下一次升级。虽然激活的时间尚未确定,但是“伦敦”升级中包含的EIP已经确定.
1900/1/1 0:00:00头条▌Kusama首个平行链插槽拍卖已启动据Kusama官方表示,经投票通过,Kusama首个平行链插槽拍卖已启动.
1900/1/1 0:00:00在过去数月里,以太坊核心开发者一直在进行伦敦网络升级的工作。它是继柏林升级后的一次升级。尽管各个网络的升级区块高度目前还未定,但纳入伦敦升级的EIP已经确定了.
1900/1/1 0:00:00加密世界里的Staking是允许DeFi改变未来的一个特征,使数字代币持有者能够获得一些可观的被动收入.
1900/1/1 0:00:00