是一个基于分片技术的新型、高速、安全的区块链平台,宣布该公司已将智能合约技术专家 Ilya Sergey 博士和 Evan Cheng 加入其顾问委员会。Zilliqa 自成立以来一直专注于“可扩展性和安全性”,并将利用新顾问的专业知识,因为该公司正在积极发展其开发团队,为公开发布其技术做好准备。首席执行官 Xinshu Dong 表示:“我们正在壮大开发和营销团队,为公共测试网的发布和平台的最终主网启动做好准备。” “在我们开发的早期阶段,拥有像 Ilya 和 Evan 这样才华横溢、知识渊博的顾问将成为我们的巨大资源,有助于确保 Zilliqa 真正解决构建快速、安全的智能合约基础设施方面的关键挑战。
” Ilya Sergey 博士从事编程语言、程序分析和形式验证领域的研究,目前是伦敦大学学院的助理教授。近年来,Ilya 主要致力于开发可扩展的方法来构建值得信赖的并发 WhatsApp 号码数据 和分布式软件,而他早期的工作是推进高阶语言静态分析和编程语言设计的最新技术。Ilya 的研究成果影响了编程语言、程序分析、逻辑和验证等广泛的主题。他的研究成果发表在领先的学术期刊和顶级国际会议的论文集上。 在加入学术界之前,Ilya 的部分职业生涯是在工业界度过的,曾在 JetBrains Inc. 工作,该公司是一家为软件开发人员创建集成开发环境的领先公司。

还将由 Evan Cheng 加入 Zilliqa 顾问委员会,Evan Cheng 因其对 LLVM 的贡献而获得 ACM 软件系统奖(2012 年)。目前,Evan 是 Facebook 的工程总监,负责监督编程语言、运行时和编译器的开发。Evan 是编程语言广泛领域的资深人士,在为不同编程语言构建基础设施、工具链和应用程序方面拥有丰富的实践经验,这将为 Zilliqa 团队增添重要的力量。 Ilya 和 Evan 将与 Zilliqa 团队的其他成员一起,推进构建可扩展且可证明正确的分布式系统以及用于在其上构建应用程序的编程框架的最先进技术。他与 Zilliqa 团队成员的共同研究工作已经促成了 Scilla 的诞生,这是一种用于机械验证智能合约的编程语言。