Zilliqa进度更新第1期
Zilliqa 2018-02-02发布

2018年2月2日

董心书发布于Zilliqa博客,Rita译

大家好!祝大家二月快乐!

感谢大家一直以来的支持,我们诚挚地欢迎大家加入Zilliqa社区!我们非常乐意与大家讨论Zilliqa的未来,并愿为您及时更新我们的进度。

回顾一月,Zilliqa取得了重要进展,我们愿借此机会向我们社区的每一位成员表示衷心的感谢,感谢您的热心支持和重要贡献。Zilliqa在区块链社区发出的声音正被越来越多的人听到,我们期待在2018年与你们一起完成更大的事!

社区动态

1月是个繁忙的月份。 Zilliqa成功发布临时代币,自1月25日起ZIL已在火币Huobi上可以交易。

我们致力于让Zilliqa成为区块链界的积极参与者,为此我们在过去的一个月中参与了许多活动。

1月20日,我们前往东京参加了有关智能合约未来的见面会,与OmiseGO、Quantstamp、NuCypher、Electrify.Asia一起举行了讨论会。

1月20日在东京举行的智能合约见面会.jpg

Xinshu出席1月20日在东京举行的智能合约见面会

过去一周,Xinshu和Yaoqi在旧金山湾区参加多场活动并发表演讲,与多个项目举行会谈。

计算扩展协议.jpg

在旧金山与令人兴奋的计算扩展协议(computational scaling protocol)项目Truebit举行会谈

1月26日,我们出席了BlockchainConnect全球区块链峰会,这场峰会证明,中国和美国在区块链领域有许多共鸣。让人十分兴奋的是,区块链领域一些最有影响力的项目也出席了峰会并就解决花费过高的问题、在全球大规模应用区块链等区块链当前面临的一些问题发表看法。

我们还在斯坦福大学和伯克利大学举行了见面会,并得到了积极的反馈。在这些见面会中,我们介绍了Zilliqa的关键概念和为实现愿景我们近期取得的重大飞跃,与此同时我们还深入探讨了底层技术。

伯克利大学区.jpg

Xinshu和Yaoqi在伯克利大学区块链协会主持的见面会上演讲

NEO开发者大会.jpg

Yaoqi本周在NEO开发者大会上的演讲

最后,我们很荣幸地参加了迄今为止举办的第一届NEO开发者大会NEO DevCon。大会的一个重要特点是区块链领域中一些顶尖人士出席,能参与这个重大的事件我们很高兴。

欢迎您在:

https://docs.zilliqa.com/zilliqa-slides-updated.pdf

查看我们最新的演示文稿,其中包含了智能合约部分的新章节。

技术进展

上个月,我们发布了我们的alpha源代码,代号Durian

链接:

https://blog.zilliqa.com/public-code-release-of-zilliqa-v0-1-alpha-source-code-codename-durian-7b5108254088

之后我们一直在忙着准备发布我们的公共测试网络平台。自从我们发布源代码以来,我们在DS委员会(DirectoryService committee,即目录服务委员会)层增加了大量功能,以帮助DS委员会即使在不利的网络场景下也能如预期表现,例如在数据包丢失、由于同步不佳造成的区块不可用等场景下。我们并对已实施的多种功能进行了多次大小规模的测试。

接下来,我们快速浏览下我们最新实现的一些技术:

  • 我们已将状态根添加到最后迷你周期(last mini epoch)的终块中,为目录服务(Directory Service,简称DS)储存不可用的区块增加了调用,并检查了DS备份的状态根。DS委员会为区块链上所有帐户的信息建立状态。每个DS节点计算根据状态生成的梅克尔树的根哈希(root hash of a Merkle tree)。领导者将状态根写入到终块,并将其广播给DS委员会。其他DS节点将验证状态根的字段并就终块达成一致;

  • 我们为微块共识建立了反馈机制来处理交易丢失的情况,以便节点可以高效地检测到交易池之间的差异;

  • 我们在DS层添加了对微块的验证检查;

  • 我们对当前的进展实施了大规模测试,在600个DS节点时运行稳定。未来我们将会进行更多的压力测试。与此同时,我们也已经就允许新节点加入网络进行了小规模测试。

在接下来的几周内,我们将对我们平台的下一次迭代进行最后的收尾工作,以期尽早推出我们的公共测试网。

Scilla语言

1月早些时候,Amrit和Zilliqa的顾问、新加坡国立大学和耶鲁新加坡国立大学学院(Yale-NUS College)的Aquinas Hobor教授以及伦敦大学学院(UniversityCollege London)的Ilya Sergey教授一起发表了一篇介绍Scilla语言的文章,Scilla是一种新的携带证明的、中级的、智能合约语言。

在编写智能合约时还有几种更高级别的语言,这些语言中最受欢迎的可以说是Solidity语言。与此不同的是,Scilla被设计成智能合约的“中级”语言,其基础计算模型基于通信自动机。像Solidity这样的高级语言可与Scilla兼容。

虽然Solidity可以说是最流行的语言,但是用Solidity编写的合约却很复杂,其原因是该语言在沟通(如给其他合约发送资金)和计算(更新合同状态)上划分不够清晰。这使开发人员很难在Solidity中编写安全的合同。Scilla带来的关键创新是,它为智能合约的通信和操作提供了多种分离层,使得合约能够进行形式验证。

在Scilla白皮书中,作者举了一个例子,如该语言支持类似于kickstarter中的众筹操作。Scilla的智能合约语言可以管理软顶(softcaps)等参数。例如,如果在特定时间段内筹集的资金未达到目标,投资者将被退款。通过使用COQ等证明助理,即可证明Scilla合同是安全的,并且不会发生类似合同冻结资金、投资者得不到正确退款等事件。

虽然Scilla是在Zilliqa的内容中设计的,但Scilla实际上可以用于以太坊等其他区块链平台,并允许开发人员构建更好的智能合约应用程序。

详情请阅读Scilla白皮书:https://arxiv.org/pdf/1801.00687.pdf

欢迎加入Zilliqa

我们真诚地希望并在积极面试高素质人才加入Zilliqa,从而帮助Zilliqa实现其最大潜力。我们在努力寻找有资深C++经验的程序员和编译器工程师,如果您觉得您可以为Zilliqa生态系统的日益扩大带来价值,请联系我们!

我们计划于2月10日与社区一起举办AMA(Ask Me Anything)问答活动。敬请关注有关公告。

展望未来,我们计划每两周发布一次这样的项目更新。

请随时通过我们的社交媒体渠道向我们反馈,告诉我们您喜欢这些更新的哪些内容以及您希望下期看到的内容。我们期待着与大家一起踏上这个旅程。

关注我们的推特:https://twitter.com/Zilliqa

通过邮箱订阅我们的新闻:

http://zilliqa.us16.list-manage.com/subscribe?u=52acaef93d75cf69065e355ff&id=11f0b30bdd

关注我们的博客:https://blog.zilliqa.com/

Reddit:https://www.reddit.com/r/zilliqa

Slack:https://invite.zilliqa.com/

Gitter:https://gitter.im/Zilliqa/

电报群:https://t.me/zilliqachat

Github:https://github.com/Zilliqa/zilliqa

公众号:ZilliqaCN

点击进入招聘详情>
微信扫一扫
关注区块链新金融
扫一扫
下载数链APP
内容合作/商务合作:
gxcj@gongxiangcj.com
联系电话:
021-31128751