Cartesi的论点:特定应用的模块化执行环境如何解决可编程性问题、扩展计算和推动创新。
概要
区块链技术正处于变革的边缘。现在越来越多的项目了解到模块性和专业化的需求。不少流行的Layer1正在将他们的重点转移到数据的可用性上,目标是支持比以前更大量级的数据。
同时,计划通过rollup来扩展计算能力的执行环境和计算层需要与增加的数据容量相匹配,并能提供足够强大的基础设施,开发真正的应用。
在计算扩展性方面收效最显著的设置是:有着交互争端解决方案的特定应用optimisticrollup。同时,计算扩展性方面的收效使其有可能大大增加可编程性和改善工具。
Cartesi选择了这条道路,给开发人员提供了更便宜的计算能力,并使用现有的开源库和组件,在现实世界的操作系统运行时间内创建强大的智能合约。
rollup系统的现状
当我们从软件工程的角度分析区块链DApp的代码库时,它们所面临的技术困难就很明显了。像Uniswap这样巧妙的项目,平衡了几个相互竞争的目标:对用户的货币价值,极低的gas费,以及安全性。未能满足这些标准的应用程序会影响对其的采用,使用户面临风险,或在激烈的竞争下走向失败。这种情况对应用程序是不利的,而且阻碍了创新。
Medici Ventures总裁:区块链投票应用程序Voatz可解决美国大选投票问题:金色财经报道,Overstock区块链投资子公司Medici Ventures的总裁Jonathan Johnson在Overstock的收益电话会议上对投资者表示,如果(总统大选投票)不能正常进行,下周请思考一下区块链移动投票应用程序Voatz如何本可以解决这一问题。据悉,美国大选由于计票问题而引起了法庭纠纷,并且党派指控存在泛滥的邮寄投票欺诈行为。[2020/10/31 11:16:50]
此外,与传统的Web2.0后端服务相比,编写智能合约的体验受到了极大的限制。区块链智能合约的技术能力与传统网络服务器还有相当大的差距。
以太坊和EVMrollup是去中心化的计算机,也是速度超慢的"奇怪的计算机",需要开发人员在小众的计算机语言上编程。
在这种奇怪的设置下,开发人员将他们的精力花在克服这些限制上,而不是优化解决方案的核心问题。其结果往往是非必要的,只是一些在简单和有限的功能上的过于复杂的代码。
可扩展性问题:为特定应用rollup辩护
一个人人都验证一切的网络对于大规模采用来说是不可持续的。在全球共识中,需求的增加不可避免地导致在区块空间上应用程序之间的残酷竞争。这种情况会演变成高额费用,对项目和用户都构成了越来越高的进入门槛。为了解决这种竞争,以太坊改变了方向,提出了一个以rollup为中心的路线图。
环球印务:公司将推进区块链技术在医药溯源等领域的开发和应用:金色财经报道,环球印务(002799.SZ)在2019年报中指出,公司顺应国家科技发展战略,探索“区块链”领域。目前区块链产业发展的政策体系逐步完善,各地政府积极从产业高度定位区块链技术,区块链技术已经上升到国家科技战略层面。随着药品溯源制度的全面深入推进,公司与北京爱斯瑞特合作成立新公司,旨在充分利用双方股东在专业制造和区块链技术的平台优势、资源优势、技术优势和经验优势,促成区块链技术在医药溯源、医药物流、消费者安全用药、医保控费、供应链平台等领域的开发和应用,共同培育和打造新一代区块链技术产品和服务。[2020/4/11]
新的计划显示,可扩展性问题包括两个主要方面:数据可用性扩展性和计算扩展性。人们经常忽视二者的区别,因为它们都面临同一个问题——gas费。然而,正是通过对它们的区分,以太坊才能制定目前的路线图。
合并后,随着EIP-4844和分片的发展,以太坊将把添加数据的成本降低了几个数量级。同时,计算扩展已被委托给rollup项目。
以太坊协议和rollup解决方案之间的关系之下,还有一个没有受到重视的问题。想达到计算扩展性,以匹配以太坊即将实现的数据可用性,与EVM兼容的rollup并不是最好的选择。
我们可以把基于EVM的rollup想象为计算分片。当越来越多的应用程序被逐渐上线并共享同一个虚拟机时,该设计的缺陷就会出现。争夺虚拟机的CPU容量的零和游戏导致了两极分化。每个分片上只有一小部分应用是可行的,其他的都被赶走了。网络迟早会变得拥挤和昂贵。
动态 | 纽约房地产公司将于明年推出区块链房地产应用程序:总部位于纽约的区块链房地产平台ShelterZoom即将推出基于区块链的房地产应用程序,让买家和卖家通过基于区块链的网络进行交易,房地产经纪人以及客户可以通过基于以太坊的区块链查阅房产权、抵押贷款和房屋文件,该应用程序将于2019年第一季度上线。[2018/12/10]
幸运的是,在理解和使用rollup上,有着不同的方式。放弃共享虚拟机,允许应用程序使用自己的CPU,这就能带来超高的计算能力。资产结算、应用程序之间的可组合性和争端解决方案都可以委托给一个通用的基础层。这种设计被称为特定应用rollup。
在特定应用rollup的专属共识与基础层挂钩下,验证节点可以保留其结算层的安全保证。换句话说,基础层使得1-of-N的安全模型成为可能,在基础层的帮助下,诚实的验证者可以独立地执行一个正确的结果。同时,特定应用的共识使得应用可以使用硬件的全部功能。这不仅避免了网络士两极分化的问题,而且在计算扩展性方面也有很大的提高。
从共享到特定应用的共识的转变也是有副作用的。虽然这种设计意味着应用程序之间的可组合性有更多的摩擦,但我们认为对大多数应用程序来说,问题不大。等待交易被验证或依赖软对象终止技术,以换取特定应用链带来的计算能力和可预测性的巨大改进,并不是很大的妥协。
特别是,具有交互式防欺诈的optimisticrollup给DApp带来了相当大的计算资源,且不需要特殊的硬件来达成共识。这能成功的原因在于,交互式防欺诈允许具有有限计算资源的评测工具,在有无限计算能力的证明者之间解决争端。特别是,我们的评测工具是一个资源有限的结算层,而我们的证明者是具有相对无限计算资源的rollup验证者。为了更好地理解这是如何做到的,请参考CartesiCore的技术论文的第5.2节。
欧链正式发布运行在EOS网络上的数字钱包应用PocketEOS:2018年6月3日,欧链产品发布会于北京召开。欧链CTO宋承根就产品的功能、技术代码、未来发展等方面进行介绍。PocketEOS将对接EOS上丰富的Dapp应用,让用户迈入区块链3.0时代。另外,欧链也呼吁用户在超级节点竞选中,为欧链投票。[2018/6/3]
在他们寻求最大的可扩展性和可定制性的过程中,应用程序和协议开发人员正在转向不同形式的特定应用链。其中几个例子是:AxieInfinity'sRonin侧链,dYdX的主权链,Starkware的分形扩容设计,Celestia的模块化执行层。
特定应用rollup链可以满足这一需求,优点是不会引起主权特定应用链的验证的分裂。相反,特定应用rollup链继承了底层基础层的强大安全保障,而不依赖于跨链桥,这已被证明是非常危险的。
rollup应用链的技术优势来自于它们只需要有一方是安全的,而不是大多数。总而言之,特定应用rollup和特定应用侧链一样优秀,都在安全方面没有让步。
通过上图,可以更直观地看到计算能力和数据能力同时扩展的效果。
该图被划分为几个主要的区域,代表了正在结合的扩展解决方案以及它们在计算和数据容量方面的表现。当我们从以太坊Layer1转移到EVMrollup,然后再到专用应用链时,计算能力在提升,而数据随着EIP-4844和分片的加入而得到改善。蓝色部分显示了随着两个维度的升高,应用的可能性也就更高。我们把蓝色区域称为web3的创新区域。
全球银行巨头桑坦德集团周五将推出One Pay FX链的跨境外支付应用程序:全球银行巨头桑坦德集团(Santander Group)周五将推出一项基于区块链的跨境外支付应用程序。据英国《金融时报》周四发布的报道,这款名为One Pay FX的应用经过两年的开发将在本周在西班牙、英国、巴西和波兰四个国家推出,银行还将产品性延伸到其他金融机构。该应用基于公司Ripple公司提供的分布式记账技术,桑坦德银行是首批向消费者提供基于区块链的外汇支付的银行之一。[2018/4/12]
灰色区域是由于解决方案缺乏计算能力,而无法充分享受数据可用性的好处,反之亦然。白色小方块是当我们达到这些里程碑时,相应的应用就成为可能——没有标记的方块提醒我们,一旦环境允许,我们会创造出多么酷的新应用。
创新区域不是精确的。它的方向和开放角度不能按字面意思理解。此外,在每个区域可能出现的应用也可能出现在其他区域。该图只是为了提供直观的前景,关于去中心化应用的创新前景的展望。
可编程性问题:为更好的抽象辩护
除了上述的计算限制外,DApp的开发人员还面临着另一个棘手的问问题:缺乏成熟的环境,即软件工具和软件库不足。
为了更好地说明这个问题,我们来聊聊最近最令人兴奋的去中心化游戏之一——Topology。这个雄心勃勃的项目将战略性基础设施建设与行星动力学混合在一起!太疯狂了。然而,看看他们的源代码,我们就知道这事难度太大了。举个例子,他们必须从头开始开发一个模拟行星动力学的经典算法。在Topology团队表现出的令人印象深刻的天赋背后,有一个令人担忧的问题:在如此不成熟的环境中,只有足够杰出的开发人员才能将他们的想法变成现实。
上面的例子远不止一个。很多的库是用Solidity编写的,为智能合约和DApp的开发提供协助。但该语言目前非常不成熟,一些基本的任务仍然需要人们求助于论坛,以寻求答案。
这与传统软件行业的现状相去甚远。例如,游戏"愤怒的小鸟"需要与Topology相同的库。然而,"愤怒的小鸟"开发团队并不需要从头开始编写每一行代码。基本上在每一种编程语言中都有现成的库!
让传统的开发者访问所有的库,是解决可编程性问题的黄金准则:一个完整的操作系统。工作在所有领域的开发者,从Web2到传统游戏,一直到卫星发射,都依靠操作系统来提供他们所需的技术支持。他们用来实现想法的语言和库,让他们能够把精力集中在真正想创造的东西上。
这就是为什么我们选择RISC-V架构来搭建rollup解决方案。我们有可能将Linux或其他操作系统移植到rollup中。这样,开发人员可以用他们喜欢的语言和库将他们的想法变成现实,同时不舍弃区块链的安全保障,我在以前的文章中已经详细介绍过了。
到目前为止,Linux一直是重点,但它也可以运行任何可以编译到RISC-V上的操作系统,比如一些非常安全的微内核。
CartesiRollup
一开始,我们讨论了一个模块化rollup执行层的重要性,它可以真正地扩展计算,并防止DApp在计算资源的零和游戏中相互竞争。然后我们阐述了开发人员依靠操作系统的抽象能力是多么重要,就像主流开发人员那样。
正是考虑到这两个需求,我们设计并建立了CartesiRollup,它是模块化的执行层,为DApp提供了以下的扩展优势:
1.每个DApp都有自己的高性能的rollup应用链,并有专用的CPU。
2.无需抢夺Cartesi生态系统中其他DApp的资源。
3.在零和游戏之外的计算可扩展性方面取得重大进展。
4.保留了底层区块链的强大安全保障。
5.一个成熟的操作系统,为开发人员提供行业级的工具。
CartesiRollup应用程序可以作为Layer2,作为Layer3或作为sovereignRollup使用。开发人员可以将他们的应用程序从一个平台复制到另一个平台,只需改动一点点代码。
结语
Cartesi使开发人员能够专注于他们正在创造的东西,而不是在哪里创造或有哪些不利的限制。
然后,在流行的应用不吞噬不太成熟应用的情况下,创新也可以迸发。去中心化应用可以拥有想要的计算能力,同时有效地预测成本。开发人员可以使用测试过的编程库,创造出真正有趣的去中心化大型多人在线角色扮演游戏,而且玩家在游戏中杀死一个精灵不需要花费3美元。
从可定制性的角度来看,使用CartesiRollup应用链,DApp可以对不同行为收取不同的价格。例如,他们可以在去中心化交易所免除做市商的gas费,或者在他们的海洋模拟器DApp上增加掠夺性捕鱼的成本。
Cartesi对去中心化技术即将发生的变革有非常清晰的认识。CartesiRollup正在开发中,它一定会是新环境下人们努力寻求的答案。
关于Cartesi
区块链操作系统,正在开发CartesiRollup,它是一个模块化的执行层,将简单的智能合约结合到去中心化的Linux中。开发人员可以启动高度可扩展的rollup链,并用他们最喜欢的语言和软件组件编码去中心化的操作规则。
1.每个DApp都有自己的高性能rollup链。
2.无需抢夺Cartesi生态系统中其他DApp的资源。
3.没有网络士绅化。
4.使目前无法在EVM链上运行的全新类别的DApp成为可能。
5.保留了底层区块链的强大安全保障
欢迎来到TheBlockchainOS。
责编:Lynn
最近,我花了很多时间思考,尽管该领域已经获得了大量的资金,为什么Web3游戏还没有起飞。我问自己,是什么让一个游戏变得有趣并让我不断回顾时,我脑海中都会出现我一直以来最喜欢的游戏:军团要塞2.
zkSync2.0主网将于10月28日上线,只剩下2天。据官方消息,zkSync2.0将引入新功能帐户抽象并对此概念进行解释。BlockBeats对其整理翻译如下.
搜索引擎是发达国家大多数人都熟悉的概念。搜索引擎公司有很多,其中一些非常有名。例如,有谷歌、雅虎和必应。还有一些鲜为人知的搜索引擎,例如Ask.com和Ecosia.org.
什么定义了价值 价值等于以下各项的组合:稀缺性这表示一个项目有多少份在流通。无论是自然稀缺还是人为稀缺,只要有市场,流通中的物品越少,就越有价值。流动性这是对该商品的需求,这会引发投机.
#01 Intro XENCrypto恐怕是上周讨论度最高的项目了,当全网都在热议到“XEN的铸造导致以太坊过GAS暴涨时“,作为营销人,我们更关心的是XEN是怎么火起来的.
基于比特币的L2扩容方案闪电网络最近出现一些新变化,闪电网络开发商LightningLabs发布Taro测试版,允许在其上构建更为丰富的DeFi生态,甚至会促进比特币的进一步主流化.