在华沙聚会之后,卡尔达诺基金会的团队成员乘坐着火车前往克拉科夫。在克拉科夫,我们在当地社群成员Maciej的帮助之下,组织了卡尔达诺社群聚会。我们为这座城市的美丽与本次约80人参加聚会感到激动。
晚会从卡尔达诺基金会的Jon和Tom的介绍开始。他们谈到了加密货币以及卡尔达诺项目的竞争优势。他们还解释了项目参与的三个主要合作伙伴:卡尔达诺基金会,IOHK和Emurgo以及他们的角色。
卡尔达诺基金会的使命包括:
- 确保权益持有者的权责
- 塑造立法和商业标准
- 推动卡尔达诺的应用和意识
- 发展全球卡尔达诺社群
- 促进合作伙伴
最后,Tom和Jon向会议参与者分享了如何参与社群其中。了解卡尔达诺的最佳途径是网站:Cardano.org,而至于加入社群,我们有很多渠道:
电报群
微信群
微博
脸书
推特
Reddit
YouTube
当然,还有你现在观看的论坛!
根据规格进行测试
目前存在许多测试技术,但Duncan解释了IOHK为卡爾達諾開发所选择的方法,以及為什麼根据規格來测试实现是非常好的。这种方法为质量保证提供了極好的證據。首先,你的规格可以從論文上开始。而以这样的方式编写可以很容易地构造并转换成等效的和可计算的Haskell代码。这就是’可执行规格’。从这里,你得到一个抽象的功能。在这里,您可以摆脱无关紧要的细节,并专注于所做的事情。
在上图中,箭头表示着钱包状态的变化。 测试的方法将比较抽象状态和实际实现所给出的值,并且你希望看到是否出现相同的数字。 在大量数据(比如, 到达的区块,进入的交易)中,每个装态都应该达成一致。 如果状态对于所有操作序列都是等效的,那么这就是实现与规格匹配的证据。
Duncan还在此补充说,我们需要平衡质量和交付时间, 把事情做对和同时推出新的功能和更新,需要很多方向上的权衡。 我们不可能对所有内容进行重写,但在钱包的情况下,这很重要的。
卡尔达诺有什么
在解释了测试的方法之后,Duncan解释了该项目的进展情况。 卡尔达诺正在发展成为一种去中心化的Proof-of-Stake协议。 目前在其第一个版本中,它是联合的,这意味着它由3个实体运营,并未完全去中心。
卡尔达诺的去中心化涉及:
-
将权益委托给权益池的机制
-
运营权益池的激励措施
-
委托权益池的激励措施
-
以及强大的全球P2P网络
委托和激励
Ouroboros是设计为去中心化的,但在实践中,它需要新的研究和开发。 因此,IOHK已经或正在研究以下研究论文:委托机制,激励机制设计和两者的工程设计。 事实证明,这些研究领域非常棘手,因为它们需要许多设计迭代(特别是激励方面,因为有许多方面需要考虑,以确保它们能够正确出现)
委托摘要
在一个Proof-of-Stake协议中,任何拥有硬币的人,换言之,就拥有权益,都有权利和义务参与协议。就像比特币一样,有51%的用户需要诚实。这也意味着在PoS中,51%的权益持有者必须是诚实的,并且必须参与系统工作的协议。 Duncan在这里解释说,简单的PoS系统的一个难处,就是你需要每个人一直在线!这就是为什么Ouroboros引入了委托的关键特性,消除了这种需求。
通过委托机制,地址与链上注册的权益密钥相关联。这些权益密钥具有相关的奖励帐户,这些密钥允许您将您的权益委托给权益池。正是这些权益池参与了PoS协议。然后将奖励支付给奖励的账户:
-
这些在每个纪元结束时自动发生
-
给予权益池运营奖励
-
以及权益池成员
应该注意的是,“独自权益挖矿”也是可能的。通过建立私人权益池来实现独自权益挖矿。
此时人群中有一个问题,询问某人是否有可能不参与协议也不委托他们的权益。邓肯回应说,虽然原则上这是可能的,但这没有多大意义。如果你没有委托你的权益,那么你就会错过权益奖励,这违背了您的最佳利益。除了经济损失之外,它还意味着它减少了系统中诚实派的数量。因此,无论是参加还是委托,才符合你的利益。
值得注意的是,对于第3点,Duncan补充说,这个“合理”数量的游泳池仍然可供辩论,但他们确信它不会太少。例如,在比特币中,有5个主要的采矿池控制着系统的大量散列能力,许多人认为这太中心化了。对于卡尔达诺来说,他们目前正在将’100’赌注池作为起点。一般的想法是,在卡尔达诺中,权益池之间将存在竞争以吸引委托权益。委托权益的人也将有能力可以更改和移动委托的权益池,这对于确保池不会变得太大非常重要。
关于Sybil攻击是如何被阻止的,有观众提出了另一个问题?
Duncan首先解释了Sybil攻击是什么,当一个非善意的玩家通过创建大量的假名身份,来颠覆对等网络时,使用它们来获得不成比例的巨大影响。在特定情况下,对手会创建多个身份并创建许多不同的权益池,而实际上它只是单独一个行为者。为了抵消这种攻击,应该有一些会耗尽的稀缺资源。卡尔达诺通过要权益池也使用权益来考虑这个问题。当您注册一个权益池时,该池获得的奖励略有不同,具体取决于权益所有者贡献的权益数量。当权益池所有者承诺贡献大量自身权益时,可以为他们及其委托者们获得更好的回报。在竞争激烈的环境中,和一个不委托自身权益的所有者相比较,这将有助于吸引更多委托的权益。系统还限制了使用相同的权益来创立多个池。
P2P网络
最后,Duncan介绍了卡尔达诺去中心化的最后一个方面,卡尔达诺是一个强大的P2P网络。 通常,人们认为P2P网络很简单,但这是是错误的。 在加密货币的背景下,有很多原因导致强大的P2P网络难以实现。 例如,家庭用户处于防火墙之后,这也使得互联网几乎不像点对点。 它禁止某人向其他任何人发送信息。 截至目前为止,很少有关于这样设计的研究证明有用的,这在电脑科学领域还需要更多的研究!
在加密货币中,还有一个额外的困难,每个人在网络上都是匿名的。 在授权的系统上保护网络免受攻击更容易,你可以依赖身份并挑选任何不良行为者。 但在加密领域中,IOHK用了网络顾问,最好的论文和学者来帮助设计一个能够抵御攻击的网络。
扩展P2P网络也可能会限制性能。 Duncan向我们展示了一个使用真实世界测量,而非模拟的范例,使用TCP / IP协议从伦敦向世界各个城市发送一个2 MB的区块(目前平均区块的大小)。从上图可以看出,区块到达巴黎的时间相当快,但是当你看到传送到其他各地时,需要更长的时间。这不是因为带宽的限制。到澳大利亚的往返时间不是5秒,实际上应该是三分之一秒。这种延长的时间是因为TCP工作方式和其他物理限制所引起的。在IOHK,他们使用这些真实世界的测量来校准他们的模拟。这些模型还告诉我们,任何通过在点对点之间发送区块的区块链系统,在10秒的时隙中只能获得1,000-10,000个节点。因此,要小心那些令人难以置信的系统性能数字。
Duncan的演讲结束了,聚会的最后一小时我们让社群成员打招呼并相互了解。像华沙一样,我们对参加者的出席感到满意,并很高兴看到这样程度的参与。我们希望看到这个社群的成长,如果你是参加者,请随意在下面添加任何评论!
你可以在这里阅读有关华沙聚会和Duncan演讲的其他内容。
翻译: Mihori, 洪嘉隆