卡尔达诺华沙聚会 (14.08.2018)


#1

上周,卡尔达诺基金会飞往波兰参加聚会并发表演讲。 我们的第一站是华沙,在那里我们为了Wicked Crypto Meetup的聚会稍作停留。

聚会从介绍活动赞助商Luno开始,他们是钱包,交易所和企业集聚一身的公司,专门为商家提供API。 来自Luno公司的Magdalena并介绍了他们在波兰的加密市场上所进行的两项调研报告。

最后,Luno讲述了他们的第二项的调研,这项调研试图为加密爱好者创建客户档案。 接下来,卡尔达诺基金会登场了! 来自卡尔达诺基金会市场营销和社群团队的Tom和Jon,讲述了在卡尔达诺项目之前,加密货币的历史和每一代的开发。 他们也谈到了卡尔达诺的独特卖点,参与项目的三家实体的角色和职责,最后,讲述了与会者可以如何共同参与卡尔达诺社区!

华沙聚会的最后一位发言人是IOHK的卡尔达诺工程项目总监,Duncan Coutts。 他是一位具有长期经验的电脑科学家和程序员,也是Haskell咨询项目,Well-Typed的合伙人。 他的演讲围绕卡尔达诺的发展,包括发展的理念:

我们如何建造卡尔达诺

Duncan首先向群众询问:为什么最重要的是关心软件的质量?当然,这似乎是显而易见的,但实际上大多数软件都没有很好地构建,而目前软件质量的行业标准非常的低。在加密空间中,它尤其重要,因为我们都不希望它会失败,因为失败的代价是非常的昂贵的,因为它等于是金钱。

他接着解释了为什么某些软件有着安全更新,这是因为它们在一开始时构建时就是错误的。这些系统故障的机会将会无处不在,例如当协议设计有缺陷,错误的开发实现,业余加密的失败,负载的崩溃,无法扩展等等。如果还要加上去,错过性能截止日期也可能是加密系统失败的一种方式。例如,在比特币中,系统的截止日期为每10分钟发生一次,而在卡尔达诺,每隔20秒就会发生一次。如果发生导致错过性能截止日期的故障,它们可能会快速累积并产生致命错误。此外,社交或投票的崩溃也可能导致系统失败。 Duncan解释了比特币没有一种正式升级系统的过程。有可能的是,比特币的系统最终可能会导致失败,因为如果没有适当的投票系统,人们将无法达成和/或做出改变以向前迈进。

加密们的傲慢

加密货币是非常新的概念,Duncan将它们与伊卡洛斯相提并论,这是一个希腊的神话故事,讲述了一个飞离太阳太近的男孩(因为自信),融化了他身上由蜡和羽毛制成的翅膀,并将自己陷入了死亡之中。现在也有一些加密货币,用了同样的思维来打造,他们认为这些应有的规则并不适用于他们,而最终他们将不可避免的失败。

卡塔诺背后的IOHK开发团队认为,虽然加密货币非常新,但仍存在着无知与傲慢的危险,因为许多人相信它是新的而不需要老旧的想法。如果你认为,只要成为加密货币领域中的专家,就可以打造一个高质量的加密产品和协议,这想法是错误的。你还必须要有其他领域的知识投入使用,才能完整一种优秀的加密货币,例如:

  • 加密学
  • 电脑科学和形式化方法
  • 编程语言技术
  • 软件工程和系统设计
  • 安全的系统设计
  • 具有“硬”的实时期限的并发系统设计
  • 网络协议,控制理论
  • 激励,微观经济学和博弈论
  • 投票制度和治理
  • 宏观经济学,去中心货币和财政政策等…

卡尔达诺的发展哲学

这环节介绍了卡尔达诺项目背后的哲学,即是使用最好的学术知识和技能,并依靠着数学,密码学,电脑科学,经济学和其他提到的专业的专业知识。此外,哲学中包括在必要时做出原创的研究。

卡尔达诺发展简史

Duncan快速了介绍了卡尔达诺开发的历史,包括开发版本和更新以及交换:

  • 2016年9月:第一个git提交

  • 2017年4月:最后一个beta 测试网

  • 2017年8月:发布候选测试网

  • 2017年9月:主网发布

  • 2018年3月:开始定期滚动发布

  • 2018年6月:卡尔达诺 1.2发布

  • 2018年8月:卡尔达诺 1.3发布

而在交易所方面,历史如下:

  • 从一个交易所开始

  • 几个月后又增加了第二次交易所

  • 目前,有十几个具有一定程度ADA交易量的交易所

  • 期待更多的交易所来整合我们的钱包

  • 卡尔达诺 1.2中的新钱包API更适合交易所

  • 卡尔达诺1.4即将推出的钱包实现旨在让交易所更好地运作并扩展

启动主网的经验教训

在Duncan演讲的最后部分,他叙述了当时启动主网的好与坏。当然,有些事情执行地很顺利。核心系统非常的稳定,自推出以来,每周7天每天24小时的运行。系统在全球范围内分布着,而活过了许多本地故障,而这也是通过许多次,在IOHK的控制之外发生的中断所观察到的。尽管如此,由于这种全球式分布,系统始终稳定。他们还有良好的系统监控,提供了很好的深度分析。此外,有约95%的交易被观察着如何进入“下一个区块”(卡尔达诺为20秒),并且它们也为交易所实现了良好的交易吞吐量。

但在另一方面,有些事情做得并不好。 Duncan指出,性能要求需要更清楚地被理解,性能工程需要更早地完成,并且分布式的并发和网络是很困难的!由此产生的推论是,“困难问题需要更形式化的方法”。

举个例子,Duncan谈到了钱包的后端。每个系统都需要一个钱包,卡尔达诺首先部署一个足以满足桌面用户,但不适合交易所的钱包。而这也带来了大量的补救工作。 IOHK团队从头开始重写钱包后端,现在他们有40页的半形式化规格。

这个半形式化规格描述了加密货币钱包的真正的含义,以及它需要做什么。这是用数学逻辑和符号写的。而这种设计过程的行为,可以迫使人们尽可能清晰地思考并简化。不幸的是,最初的钱包设计已经累积了不必要的复杂性,这种偶然的复杂性对软件设计来说是最糟糕的。

而是什么让它成为半形式化? 这过程包括陈述属性和测试它们,以确保它们符合规格的任务。 黄金标准或形式化方法将能证明这规格的每个细项,但在质量和实现之间存在必要的权衡,以便能够继续向前发展。 因此,他们能够消除在原始设计中出现的大量意外复杂性,并为加密货币创建一个单页的基本钱包模型。

经过Duncan的一小部分演讲和讨论,此次的聚会也告一段落了,这聚会让与会者之间能够相互联系和交流。 总的来说,这是一个美好的夜晚,充满了关于加密和卡尔达诺之间的有趣对话,我们很高兴看到波兰社群的成长。

关于我们在波兰克拉科夫的第二次聚,会以及Duncan演讲中的下半部分的回顾,请点击这里

翻译: Mihori


卡尔达诺基金会通讯 - 2018年8月24日
unlisted #2

listed #3