智利合约将由Zilliqa区块链平台推出

Zilliqa总裁兼首席科学官Amrit Kumar报告说,区块链公司正在其平台上推出智能合约。此次发布将促进开发人员在Zilliqa区块链上使用其功能性智能合约语言Scilla编写和建立智能合约。

库马尔说:

“我很高兴地宣布在Zilliqa平台上推出智能合约。我们社区的许多成员期待已久,今天意味着在实现当今行业现有区块链基础设施创新方面向前迈出了关键一步。有了这个,我们就开始意识到我们对更好的智能合约语言的看法,这种语言在语言层面上具有更高的安全保障。“

Kumar进一步列出了Zilliqa智能合约的基本特征,其中包括对正式验证的适应性。他还对Scilla给出了一个要点:

它旨在同时实现表现力和易处理性,同时实现合同行为的正式推理。

该语言附带一套静态分析器,可检查合同中的潜在错误和问题。

Scilla清楚地处理不同的操作组件,如计算和通信(与其他合同),消除了复杂的交错。

该语言配备了一套标准库,可以安全地执行算术运算,而无需使用OpenZeppelin等外部库。

Zilliqa最近与WPP公司Mindshare,Mediamath,Rubicon,Integral Ad Science以及Project Proton的Underscore CLT建立了联系。该联盟成功举办了第一次由百事可乐公司Zilliqa智能合约实现的现场活动。该试验表明,在通过智能合约运营广告时,可见展示的成本效率提高了28%。

像HG Exchange这样的组织越来越多地使用Zilliqa的平台。 Kumar表示,数字娱乐平台Bolt将利用Zilliqa的智能合约功能来简化内容平台,视频分析和支付引擎。

“通过激励新的合作伙伴关系,Zilliqa将很快进入支付领域,以提高客户和最终用户的成本,透明度和安全性,”他补充说。

库马尔报告说,Zilliqa将继续深入研究诸如更高效的智能合约分割,正式验证和zk-SNARK等领域。

“当我们接近Zilliqa的第二个生日时,我们希望您能和我们一起庆祝过去两年来取得的许多成就。随着所有行业的发展,监管进展和令人兴奋的新企业合作关系的发生,我们期待成为未来的一部分,区块链将成为我们日常生活的重要方面,“他总结道。

☞了解更多数字货币资讯加微信:730730

本文地址:http://www.okabcd.com/news/201906/1237637.html
免责申明:本文是[ 雷电君 ]发布的稿件, 版权属[ 雷电君 ]所有,未经授权不得转载, 已经协议授权的媒体下载使用时须注明稿件来源: [ 雷電财經 ], 违者将依法追究法律责任。根据国家《关于防范代币发行融资风险的公告》,社会公众应当高度警惕代币发行融资与交易的风险隐患。如您对本文存在异议,或不巧侵犯了您的合法权益,请通过邮件联系我们!

下一篇:物流公司Panalpina在其供应链中推出区块链飞行员