上周，卡尔达诺基金会飞往波兰参加聚会并发表演讲。 我们的第一站是华沙，在那里我们为了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