http://www.www.tnmanning.com

Zilliqa启用第一个基于分片的智能合约平台




· 易于形式验证:Scilla 在设计时就已经在表达性和可驾御性之间保持均衡,因此可以或许对合约行为举办形式推理。
· 静态阐明器套件:该语言附带一套静态阐明器,用于查抄合约中的潜在错误和问题。这些对付在合约生效前检测缺陷很是有用。
这个中包罗成立我们的全球开拓者网络,也包罗介入全球勾当和集会会议,以有意义的方法与不绝增长的社区打仗。本年,我们介入了巴黎大发3d周、马耳他大发3d峰会、纽约大发3d周、ETH Denver 和旧金山开拓人员周。增强相同交换的另一个方面是确保 Zilliqa 充实操作世界级的人才,并在教诲和宣传方面做出本身的孝敬。这涉及到与行业组织、大学和研究中心相助,活着界各地的开拓烧点区域举行研讨会。我们的团队会一连向您先容所有这些勾当的希望。

自六个月前主网上线以来,我们一直在不绝尽力,不绝成长,不绝进步。这一点不会改变,并且在引导阶段、正在举办的代币交流以及对我们的构建基本设施和开拓人员东西举办修订的进程中,我们已经看到了更大的远景。我们始终将社区服膺在心,尽力构建一小我私家人都能受益、人人都能兴旺成长的生态系统。

Zilliqa启用第一个基于分片的智能合约平台


· 安详尺度库:Scilla附带了一套尺度库,好比以安详方法执行算术运算的库,因此无需依赖外部库(如OpenZeppelin)。
要害词:


· 清洁的疏散:该语言在设计时,就致力于以很是清洁的方法处理惩罚合约的差异操纵组件,如计较和与其他合约的通讯,从而消除任何巨大的交织。这可以防备雷同 DAO 和 Parity 这样变乱重演。


让我藉此时机向您先容一下 Zilliqa 智能合约的焦点成果:
智能合约将有助于我们在一系列规模进一步拓展业务范畴,无论是金融处事、媒体和告白,抑或是游戏和娱乐。我热切地等候着亲目睹证这项技能的成长、颠覆和演进,等候在此基本上继承建树。

我很兴奋也很侥幸地公布在 Zilliqa 平台上推出智能合约。这不只符号着 Zilliqa 向前迈出了一大步,也符号着整个大发3d基本设施规模向前迈出了一大步。
此次宣布让开拓人员可以或许利用我们设计的安详智能合约语言Scilla,在 Zilliqa 大发3d上编写和陈设智能合约。我们的中枢是分片,而前线有一群有才能的工程师、企业家和远见高见者粉身碎骨,我们已经实现了关于更好、更易于利用、更安详的智能合约语言的愿景。

在我们的大发3d上启用智能合约成果是我们前进的要害一步。我们将继承尽力加强我们的平台,使其尽大概保持创新、安详和可用。

郑重声明:本文版权归原作者所有,转载文章仅为传播更多信息之目的,如作者信息标记有误,请第一时间联系我们修改或删除,多谢。