焦点技能
对 zkSNARKS 的支持：我们一直致力于向 Scilla 添加隐私特性，出格是对 zkSNARKs 的支持。为此，我们添加了所需的加密原语，如下所示：
支持配对操纵。
Scilla 解说质料：为了筹备即将在英国伦敦进行的 Scilla 研讨会，我们正在成立一个关于 Scilla 的解说质料库，包罗幻灯片和操练等。
在已往的两周里，我们一直在致力于 Scilla-to-Coq 的开拓以及将 Scilla 重构为一个库。与此同时，我们在不绝添加根基的原语来支持 zkSNARKS。以下为更多细节：
如您想要相识 Zilliqa 的更多信息或与我们接头项目技能，请随时通过以下官方渠道与我们接洽：
作为库的 Scilla：我们一直致力于作为库的 Scilla 项目。由于我们规划将它用于涉及 Coq 定理验证器、SMT 办理措施、静态阐明和测试框架的多个项目，所以我们正在设计一个基于 scilla 的包，它具有界说精采的接口，我们将在接口上宣布诸如 opam 包揽理器等中心软件库。这是一个正在举办的事情，我们正在重构民众接口，以确保我们可构建一个稳健和靠得住的包。到今朝为止，我们已经将一些单片 Scilla 代码解析到一个实用措施库中，并为之前完全果真的 OCaml 模块添加了受限制的接口文件。
支持配对友好曲线，即 Barreto-Naehrig 曲线 alt_bn128。
SocialPay 合约重构
另一方面，我们还变动了目次处事 (DS) 委员会在未形身分片的环境下的行为。今朝，这会导致 DS 委员会 — — 实际上是整个网络 — — 遏制前进。而通过答允委员会继承利用零分片，，新节点可以在网络进入下一个事情验证阶段后继承实验从头插手网络。
ZRC
最后，当前版本无法在一个或多个视图产生变动时存储 DS leader。这就导致了网络规复进程较慢，因为查找节点必需从最近期的 DS leader 错误视图开始。查找节点通过从 DS leader 吸收到的信号，认真公布下一个事情证明阶段开始。由于它们对 DS leader 的视图是错误的，在网络规复操纵后的第一个 DS 纪元，除了来自现有分片节点的事情证明提交外，最后没有新的事情证明提交。
修复了一个构建问题
Scilla 更新
首先，知道我们正在修改分片分派算法，以最小化未分片节点的数量，矿工们听到这个动静必然会很兴奋。现有的算法需要由完整的 600 个节点分片构成，然后由剩余的节点（至少 500 个节点）构成一个较小的分片。假如剩余的节点无法满意分片的最低 500 个节点要求（譬喻，假如只剩下 499 个节点），则较小分片无法建设。5.1.0 版中的替代算法将转而回收新的分片设置，以使损耗量 — — 即非分片节点 — — 到达最小。
大部门实现已经完成，我们正在办理一些特定于平台的构建问题。
Scilla-to-Coq 编译器：之前的更新中我们提到编译器此刻可以翻译 Scilla 范例和表达式的子集：我们此刻还可以编译 ListUtil 和 BoolUtil 尺度 Scilla 库的大大都函数。我们还摸索了在 OCaml API 或 MetaCoq API 级别将 Scilla 与 Coq 定理验证措施集成的大概性。
各人好，改造了 Scilla 文档中的字符串内建描写
关于 Bug 修复、重构和其他的概述：
我们即将完成 Zilliqa 5.1.0 版，它为我们的焦点协议带来了另一套实质性的改造和 bug 修复。我们将很快提供该版本更完整的描写。与此同时，我们先在这里扼要先容个中的一些改造和修复，以及我们一直在举办的新 Scilla 更新：
郑重声明：本文版权归原作者所有，转载文章仅为传播更多信息之目的，如作者信息标记有误，请第一时间联系我们修改或删除，多谢。
