IOTA基金会:2019年12月研发进度报告

img

每月的IOTA研发进度报告将包含关于我们主要项目的动态和更新。

本月的更新是关于我们的主要任务--Coordicide的状态。

我们的团队被分成几个小组,每个小组都专注于一个特定的Coordicide领域。每个小组的DRIs(直接责任人)定期开会,讨论整个小组的发展和影响。我们发现这个工作流程非常有效。

我们的主要目标是为Bee节点软件提供一个规范,它将产生我们的Coordicide实现。这会首先在测试网上运行,然后再在主网上运行。我们的团队目前从事三个任务:编写研究规范、白皮书修订和研究Coordicide组件。

研究规范

该规范类似于白皮书,但包含了足够的技术细节,可以将其转换为我们的下一个交付产品:工程规范。然后,工程规范将移交给我们的开发人员进行编码、测试和发布。


白皮书的修正

我们已经收到了来自公众和我们的学术合作者,包括IOTA研究委员会成员的良好反馈。根据我们的研究,我们正在撰写一份修改过的白皮书。这篇论文对我们来说非常重要,它形成了一个基础,通过这个基础,专家可以验证我们解决方案的关键要素。


Coordicide组件的研究

Coordicide由几个组件组成。虽然我们正在积极地研究许多主题,但在这篇文章中,我们的重点是完成研究规范所需的主要Coordicide组件。下面我们提供这些的状态更新。


Autopeering

我们有两个关于autopeering的方案:“salt-based(基于盐的)”方案和“箭头(arrow)”方案。“我们已经通过分析和在GoShimmer的模拟来分析这个基于盐的提案。特别是,我们一直在研究节点之间的连接将持续多长时间,并研究“可验证的随机性”测试的强度。我们还开始对节点图中连接数的波动进行建模。不久,我们将比较模拟和分析结果,并将它们汇编成一些科学出版物。一旦完成,我们将能够确定移交给工程团队的完成Autopeering的规范。


快速概率共识(FPC)

我们的FPC 模拟分析最近发表在arXiv上。我们也发布了博客文章FPC的模拟分析FPC模拟器,这完成了理解FPC的第一个里程碑。

我们在Berserk(狂乱攻击者)检测方面取得了重大进展,一篇博文即将发表。这篇博客文章是基于IOTA.cafa上的文章。我们将讨论一个安全机制,使狂乱攻击者在FPC中不可能产生。通过实现这些特性,我们将降低可能的攻击的效力,从而降低协议和终止失败的概率。这是由FPC论文和我们的仿真所证实的。

FPC的实际实现将取决于声誉系统和节点mana所定义的参数。考虑到mana在去协调器之后的精确分布是可变的和未知的,我们的方法是研究不同法力分布对FPC的鲁棒性和效率的影响。通过分析,我们可以确定FPC的最终参数,并完成规范。完成这个分析是FPC小组的主要关注点。


元胞自动机机制

我们设计了Autopeering网络协议,使元胞自动机机制能够实现快速的鲁棒性的收敛。然而,现有的理论并不能涵盖所有的实际情况。为了集成CA,我们首先确定相关的分析测试是否提供了所需的收敛性。这些最初的研究从一开始就强化了我们的预期——CA很难得到新的理论结果。

接下来的逻辑步骤是通过模拟来进行分析。为此,我们在GoShimmer中实现了CA: https://github.com/iotaledger/goshimmer/tree/ca 。我们将使用这个实现来运行测试和模拟。这将允许我们检查预期的健壮性是否成立。

作为一种投票协议,CA以其极快的收敛速度而著称,因此它适合于物联网应用,我们期待它在这一领域大放异辉。FPC提供了更强的收敛性。根据模拟的结果,我们将决定是否在Coordicide的第一个版本中包含CA。我们希望两者在未来的优化中共存。


速率控制

我们正在扩展我们的前期发布的论文,他用于工作量证明的自动调整机制。我们将提交给IEEE ICBC会议,作为去年的出版的后续。之后,我们计划将工作量证明的自动调整机制集成到GoShimmer中进行测试和调整参数。

与此同时,我们正在研究使用可验证延迟函数(VDF)作为反垃圾邮件机制。研究的重点是用分布式的方式生成一个公共RSA模量,它将用于类似wesolowski的VDF当中。11月,我们向斯坦福区块链会议提交了两篇正在进行中的论文。我们现在正在撰写第三篇关于如何将VDFs集成为IOTA中的速率控制机制的文章,我们计划将其提交给ACM MobiHoc

另外,我们正在为Tangle定义拥塞控制机制。主要的挑战是如何通过有效地使用网络带宽来保证节点在传入事务上能共享相同的视图(或者,同样地,防止网络分裂)。受到通常用于互联网的AIMD算法的启发,我们已经草拟了一个协议,我们目前正在建设一个模拟器来评估其效率。在这个验证阶段之后,下一个任务是完成Coordicide的完整规范。


GoShimmer

各种包已经集成在hive.go存储库中。GoShimmer和Hornet之间的通用包和功能在这个单一的库中组织在一起。新的基于盐的Autopeering模块已经集成到GoShimmer中,目前处于测试/调试阶段。账本状态已接近完成,目前处于测试/调试阶段。Gossip协议层也被重构了。

GoShimmer的这些更新非常重要,因为它们使整个实现更加健壮和可靠。这样,我们就可以专心处理于投票层的集成。


Coordicide的各个组件已经正在进行整合!请继续关注我们的最新消息,请随时联系我们的正式的沟通渠道。您可以通过我们的Discord服务器的#tanglemath频道了解IOTA研究团队的最新进展。我们最近还推出了我们的公共论坛:IOTA.cafe。请查看这些参考资料,以了解我们在上面列出的内容的更多细节。

原文来源

https://blog.iota.org/iota-research-status-update-december-2019-db1387d347f7
大熊

专栏作者:大熊

个人简介:我共发表了 45 篇文章,总计被阅读了19,751 次,共获得了 514 个赞。

作者邮箱 作者主页 Ta的文章

发表评论

电子邮件地址不会被公开。 必填项已用*标注