imToken 是一款全球领先的区块链数字资产管理工具[ZB],帮助你安全管理BTC, ETH, ATOM, EOS, TRX, CKB, BCH, LTC, DOT, KSM, FIL, XTZ 资产,同时支持去中心化币币兑换功能 ...
和Zb:迈向可打包、无限的区块链苹果版下载网络
11 月 2 日, Loft 作为受邀嘉宾访问了 Zb,参加了一场非常技术性的研讨会。 ZB是一个全球交易地址,已运营8年,专注于保障客户资产安全。 Loft 讨论了区块链技术和 2019 年的当前问题,以及为什么有一天它将成为对用户和开发人员最友好的 Web 3.0 基础设施。
当前所有公共区块链都缺少什么
Attic 认为,目前还没有现有的公链能够解决这些对 Web 3.0 至关重要的问题:
] 目前对于可扩展性问题还没有真正的解决方案:第 2 层和 Eth 2.0 可扩展性是一种幻觉,因为各种第 2 层和分片子系统不能互操作——它们不能——;看起来和感觉上——就像一条逻辑链。
它们是为令牌处理应用程序设计的,而不是数据密集型 Web 3.0 应用程序。
合约无法安全地相互调用,缺乏“安全的可组合性”,无法从 Web 2.0 中更小、更简单的构建块构建大型、复杂的软件系统。
2015 年,他和创始人 Greg 解决了这些痛点,其他人正在共同努力扩大规模。 因此,他在设计过程之初就选择了并发、可用于生产的 rho 作为合同级计算模型。 图 1. 计算模型对比 这条技术路径有很多其他项目理论上不可能实现的特性: 用“并发”事务处理来解决。 所有路径:所有路径:直接大数据存储,将 Eth、IPF 和 GRT 的所有功能集成到一个平台中。 无缝碎片:碎片看起来和感觉起来就像一个散布着碎片的原子。 基于其OSLF行为系统的快速链形式化验证。
“问题的根本原因;” 及其治疗方案
在他看来imToken下载,“安全、性能和去中心化”,只适用于当前需要排队的区块链交易,而不适用于批量。 基本上,传统的区块链需要将交易处理到长队列中,并让网络中使用的所有节点一起工作来维护该队列。 然后他们注定会遇到一个不可能的安全、功能和对角三角形,需要涉及更多节点来保护这条线的安全。
关于性能(可扩展性),队列需要尽快推进。 [123关于去中心化,所有节点需要有相同的机会参与这个队列的管理和处理,并互相监督。
基本逻辑告诉我们,只能选择其中任意两个,而放弃第三个。 典型例子:选择安全、去中心化的超性能; 基于领导者的系统,通过去中心化选择安全性和功能; EOS 选择功能和去中心化的过度安全性,具有 21 个平等节点。 然而,当完成“分布式保护”业务流程时,它就是“根本原因”。 如果我们能像这样消除对翻译队列的需要,这个问题自然就解决了。 经过“区块合并”测试网络运行,添加更多节点后,网络实现了更高的TPS。 这有力地证明了三难困境已被解决:节点多,安全性更强; 主要方法是分散的; 更高的 TPS 意味着更好的性能。 从而到达“不可能三角形”的所有三个极点。 与 和两个“有缺陷的解决方案”一起,例如当记者询问他对其他钱包 tar 项目的看法时,他觉得 以信任模型为代价获得了高 TPS,这是没有意义的,因为任何中心化的系统可以有更高的TPS。 其设计背后的想法很简单:由于速度太慢,无法让多个节点一起管理队列,因此它只是让节点验证决策的历史记录并写入防篡改的治愈祈祷账本。 其他节点仅执行和验证该分类账上的交易。
揭示链图2对比
通过这样做,Howev管理队列的工作是集中的,节点可以决定交易的顺序,或者暂停交易。 这些恶意行为几乎不可能被检测和证明。 Loft 提到了一个具有类似目标的项目的流程,但使用委员会来决定订单,使其成为 的更公平版本,但由于其 TPS 而成本低得多。 这是“排队系统”如何不可避免地受到影响的教科书示例。
就其而言,它不需要排队交易,因此可以在保持去中心化无线架构的同时实现高TPS。
阁楼也被认为是不完整的跨界解决方案,缺乏基本的和谐能力。 它没有办法最终完成跨链交易。 它也不提供“可组合安全性”和#x201d; 保证当一个合约通过中继链调用另一个链接到另一个链接时,权限不会泄露给其他人。 跨链交易的原子最终性,加上行为类型系统,充当“链上防火墙”,使其成为卓越的跨链解决方案。
具有并发流程编排的全球计算机 最终目标是建立真正的全球计算机作为 Web 3.0 的基础。 从Web 2.0的经验来看,Web上最有价值的资产是大量的数据。 因此,所有现有的区块链都是通过错误的设计构建的,首先:它们作为支付网络进行了完全优化。 有必要为数据密集型应用程序规划真正的Web 3.0 基础设施。 图 3. 知识图 此外,我们可以看到现有的 Web 2.0 系统变得越来越复杂,但由于组件化和容器化,开发人员可以用更小的可重用组件快速构建大型系统。 然而,如果没有快速的形式化验证系统来确保合约之间的安全合作,现有的区块链网络就无法实现这一目标。 路线图的金星阶段试图通过引入行为类型系统支持来解决这个痛点。 的rho-是极少数拥有这种天赋的类型之一。 每个开发人员都应该开始学习 ,这是一种基于过程微积分的语言,长期以来一直被 IT 行业忽视,因为它拒绝离开当前编程规范的舒适区。 然而在区块链时代,它通过其设计具有一系列区块链优势。 图 4. 语言背后的 oslf 算法的杯子。 首先,它的不变性使交易成为可能。
中的所有资源都是不可变的dataA和按路径排列的代码。 Loft打了个比喻:用传统语言写成的合约是稳定的,就像一群孩子在黑板上画画:孩子们发出的指令会影响黑板的最终状态,所以他们必须形成队伍。 另一方面,罗兰更像是一群使用乐高积木的孩子:他们能够拿起并组装一些积木,然后将产品连接回公共项目。 由于没有人可以“变异”任何创作,因此订单必须处于良好状态,以便孩子们可以一起玩耍。 “”的另一个重要优势是大数据可以直接存储在链上。 任何数据密集型事务都必须处理网络和磁盘操作的高延迟。 这些交易的前提是在链上完成,并且可以与其他类型的交易一起处理。 在分片里程碑之后,将有另一个对开发人员友好的功能:编写跨分片合约和编写整体合约没有区别。 在金星里程碑之后,开发人员可以使用行为系统执行动态分析来回答以下问题:此代码是否会创建竞争条件、进入死锁或泄露授予第三方的任何权限? 这些分析可以在 Rogue 编译时在代码运行之前完成。 使用此功能,您现在可以在链中排列一组合约,并允许它们在并发设置中安全地相互调用。
这一优势完善了最终的杀手级功能:n-chain 合约的全部内容。 该社区已经建立了其他链,可以利用其链上数据存储功能和 #xff1a 的 Dappy 来构建:一种去中心化 DNS 服务 ER 和浏览器,将 NFT 和钱包集成在一个包中。 RSONG:音乐流媒体DAPP,音乐直接存储在链上。 RPI:照片NFT路径:直接存储照片数据链。 -19 护照:疫苗证书直接托管在链上。 Loft 预测,一旦实现所有里程碑, 的好处将足以让每个 DAPP 开发人员采用这种新的语言范式。 这个故事中的标签 这是一个受资助的帖子。 在这里了解如何吸引您的受众。 阅读免责声明。