Zilliqa进度更新第3期
Zilliqa 2018-03-01发布

2018年3月1日

(Xinshu Dong发布于Zilliqa博客,Rita译)

3月已至,Zilliqa的开发进度也在加快。 我们正在为新一代区块链平台Zilliqa积极招聘新的开发、营销和运营人员。

在接下来的一段时间内,我们将重点讨论的一个话题是:安全性。 正如社区许多成员知道的那样,Zilliqa旨在解决公有区块链平台可扩展性的问题,与此同时也保证系统不出现安全漏洞。Zilliqa创始团队中的大多数人都既是区块链技术又是网络安全方面的专家,我们将尽快分享更多我们的想法并与大家一起讨论区块链的安全问题。

社区动态

我们的首席执行官Xinshu向新加坡旅游局就区块链技术和Zilliqa做了专题介绍,双方就将区块链技术应用到旅游行业进行了讨论。非常感谢新加坡旅游局的各位出席本次活动!

*Xinshu向新加坡旅游局介绍Zilliqa、区块链技术以及可在我们平台上构建的有趣的分布式应用。

Amrit与我们的合作伙伴Bluzelle在他们的电报直播秀上讨论了Zilliqa、区块链技术和其他话题。您可通过以下链接查看他们的对话记录:https://blog.bluzelle.com/2018–3–1-telegram-live-summary-ft-zilliqa-69663152c38a

我们还发布了Yaoqi在1月份举办的NEO开发者大会上演讲的视频,请点击查看 :https://www.youtube.com/watch?v=UTZJkKbNstg&t=643s

即将举行的见面会

3月3日,台北见面会

我们将于3月3日在台北BITZANTIN Crypto咖啡厅举办Zilliqa见面会。欢迎加入我们并与我们讨论与Zilliqa有关的任何话题,活动详情请查看:https://www.facebook.com/events/1671072562938496/

3月12日,上海见面会

我们将于3月12日在上海举办见面会。请扫描图片上的二维码报名。

3月14日,北京见面会

我们将于3月14日在北京举办见面会。请扫描图片上的二维码报名。

3月下旬,欧洲多地见面会

我们将于3月下旬在伦敦、柏林、阿姆斯特丹等欧洲城市举行一系列见面会,活动细节将尽快发布。

Zilliqa“社区大使”计划

我们有一个支持Zilliqa以及我们技术的强大社区,并且社区力量在日益发展壮大。我们将很快公布这项新的“社区大使”计划的细节。本计划旨在推动世界各地举办有关Zilliqa的具有教育意义的见面会和研讨会。

我们已经与我们的老朋友Ratul Saha博士就此计划开设了试点。他在过去一个月环游了印度,在IIT Madras大学、Chennai大学、PES大学以及即将抵达的IIT孟买大学介绍了区块链技术和Zilliqa,并举办了多场见面会和活动。通过他的宣介,我们与许多希望研究Zilliqa以及在Zilliqa上搭建应用的当地企业、组织以及学生群体建立了联系。我们的项目也得到了世界上一些非常有才华的年轻程序员的关注。

技术进展

我们正在为3月份发布Zilliqa的1.0版公开测试网络努力并取得了一系列积极进展。以下是已修复和已实现的功能:

  • 实现了在查找节点上JSON-RPC的服务器原型;

  • 在JSON-RPC服务器上将DS区块和Tx区块转换为其JSON格式;

  • 将收到的JSON格式的交易转换为C ++类的交易;

  • 修复了账户商店的反序列化漏洞;

  • 对查找本地脚本和AWS脚本稍作修改;

  • 通过更好的轮询修复新的节点同步;

  • 在引导过程中将DS信息同步到查找节点;

  • 通过钱包更简单的路径选择,使用户输入验证可行;

  • 钱包能够导入和导出带有密码的json密钥库文件;

  • 在Travis中启用单元测试;

  • 增强和修复了多种构建脚本;

  • 为Mac OS X构建实验版本。

接下来,让我们就第一条展开讨论。JSON-RPC服务器是查找节点上的关键部分,用于连接钱包和区块浏览器。JSON-RPC服务器接收来自钱包提交的执行新交易或查询账户余额的请求,对这些JSON格式的请求进行分析,再将信息传递到区块链网络。

比如说,当用户使用钱包提交心的交易请求时,例如A将10个ZIL转给B时,钱包将以JSON格式表示的交易请求发送给在查找节点上托管的JSON-RPC服务器。由于服务器知道网络中DS节点和分片结构等基本信息,所以它在解析接收到的请求后,会根据发件人的地址将交易发送到相应分片中的多个节点(比如20个节点)。如果这些节点验证了交易,那么它们将把交易广播到该分片中的所有节点。我们已经实现了带有钱包和查找节点的多个接口的JSON-RPC服务器原型,并将很快添加更多功能。

与此同时,我们在本地运行中测试了新节点加入的功能,并且运行良好。我们还在AWS EC2上使用1800个节点进行多轮实验,以确保此新功能的稳定性。此外,我们还实现了钱包的几个新功能,例如导入和导出带有密码的密钥库文件等

团队近况

Yaoqi和Amrit分别担任技术负责人和研究负责人。 Yaoqi将领导开发团队,专注于提供可靠的代码库。Amrit将领导团队努力研究解决可扩展性、安全性和分片等区块链中一些最具挑战性的问题。在此恭喜他们二人!

招聘进展 — — Haichuan Liu加入了团队

Haichuan曾在南洋理工大学获得机械工程荣誉学士学位。他是新加坡企业奖学金的获得者和AWS认证解决方案架构师,目前正在南洋理工大学进修计算机控制与自动化硕士学位。在他上一份工作实践中,他参与了一个自动车辆项目,并且还使用C++开发了Mobility on Demand系统,他还领导了DevOps的接地工作。

Haichuan对实现大型分布式系统特别是区块链非常感兴趣。他的其他兴趣包括独立游戏开发和AI技术。Haichuan将于3月5日正式加入我们,成为核心开发人员。

欢迎加入我们的团队! Zilliqa正在积极招聘中,链接:https://www.zilliqa.com/careers.html

Scilla和智能合约安全性

两周前,来自新加坡国立大学的研究人员Ilya Sergey(Scilla论文作者之一)、Zilliqa顾问Aquinas Hobor以及Zilliqa首席科学顾问Prateek Saxena发表了一篇有关MAIAN的非常有见地的论文(论文链接:https://arxiv.org/pdf/1802.06038.pdf)。MAIAN是他们设计的一种新工具,用于扫描并分析智能合约以寻找“追踪漏洞”(trace vulnerabilities)之类的漏洞。粗略地说就是,如果智能合约在其生命周期中在多次执行合约的过程中显示出意外的行为,那么其就容易受到追踪。

本文特别关注三个具体的漏洞:合约无限期地锁定资金、不小心将资金泄露给任意用户、可能被任何人终止的合约。该报告指出,在扫描了近100万份公有智能合约后,共发现3.42万份合约易受攻击,这涉及数百万美元价值的以太。

在Zilliqa来看,这篇文章特别有趣。因为在Zilliqa中使用的新的中级智能合约语言Scilla在设计时就将“追踪漏洞”视为一个大问题。事实上,消除“追踪漏洞”是Scilla的设计考虑之一。

基于自动机的设计使得Scilla形式化验证更加友好,因此开发人员可以更简单地证明他们的合同没有“追踪漏洞”。例如,Scilla论文中以Kickstarter众筹合约为例,使用Coq证明助手证明了,合约在其整个生命周期中是无泄漏的。

媒体对MAIAN进行了大量报道,我们计划尽快地对这一问题以及安全问题进行详细讨论。以下链接为有关媒体报道:

http://www.zdnet.com/article/smart-contracts-leave-millions-of-dollars-in-ethereum-vulnerable/

https://motherboard.vice.com/en_us/article/8xddka/millions-of-dollars-in-ethereum-are-vulnerable-to-hackers-right-now-smart-contract-bugs?=fhf

近期对项目的一些点评

http://cryptoincome.io/zilliqa-review/

最近CryptoIncome上发表了对Zilliqa的综合评论,本文也是理解我们解决区块链可扩展性问题的一个很好的入门文章。

https://www.youtube.com/watch?v=2S5fMQevdWA

TechFrontier的视频用日文介绍了Zilliqa的团队和技术。

https://www.youtube.com/watch?v=ynPGLn5Ye4I

YouTuber大咖CryptoLark对Zilliqa进行了点评。

再次感谢!如果您对Zilliqa有任何疑问或意见,请随时联系我们。

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