IOHK 项目经理 Liz Bancfroft-Turner 为我们解读了 6 月雪莱项目的最新进展。以下便是最新上传视频的摘要。
目标
- 雪莱项目发布的首要目标便是升级网络，以去中心化方式运行
- 项目包括以下工作流：
- 激励：关于为权益持有者提供金钱激励以遵守协议并确保系统平稳运行
- 委托：允许权益持有者将其验证区块的权利与义务委托于第三方
- 网络系统：关于提供网络基础设施以支持去中心化
项目进展
委托：
- 在研究论文中，他们已确立好如何来实现委托以满足所有条件
- 这些要求也在研究论文中被详细介绍，例如权益矿池要求、当密钥丢失时权益池如何恢复、如何便捷地保证安全性，奖励考虑以及确保委托时如何让资产的安全性不受影响
- 关于委托设计文档，他们正在进行说明并详细解释研究论文中的方案该如何在卡尔达诺上实现
- 他们必须确保委托设计与设想的激励方案一致
- 设计文档中的设计要素包括停转权益（若是权益矿池或是权益持有者停止生产区块，系统如何处理？）或是如何与委托至权益矿池的持有者共享奖励，同时系统不被交易充斥
- 设计文档还将说明领导选举如何在委托下实现
- 另有纸钱包恢复的更新章节
激励
- 在激励研究论文中，他们已证明，使用效用公式，每个纳什均衡都能够得到 k 个同样量级的权益矿池的理想状态
- 纳什均衡是博弈论中的核心概念：在一个博弈中，参与者可选择策略，根据每个参与者选择的策略，每个参与者得到收益
- 对于每个参与者来说，任何参与人单独改变策略都不会得到好处。
- 换句话说，当所有其他人都不改变策略时，没有人会没有理由改变自己的策略，则该策略组合就是一个纳什均衡
- 在卡尔达诺中，策略组合如下：以一定成本创建矿池并且设置一定金额的边际收益，或是将一部分权益委托给一个矿池，同时将余下的另一部分权益委托给另一个矿池
- 运用博弈论解决实际问题的基本理念就是，我们相信，在现实情况下，一切事物都会以纳什均衡告终
- 在我们的案例中，若是出现了例如少于 k 个矿池或是不均衡的矿池规模这样特征的纳什均衡，那就很糟糕了。Liz 与雪莱团队证明了劣均衡是不存在的，这一事实意味着我们希望在实践中，这一系统将真正实现 k 个同样量级的权益矿池
- 这是研究层面的主要进展
- 关于设计文档：在确立了激励方案的一般形式后，研究团队上个月都在进行微调、验证与重新设定
- 我们做出了一些对矿池可行性公式之一的简化改动，这一改动已通过实际验证
- 在理论与试验的来回讨论后，最终结果完美一致
- 研究团队已证明这一改进后的博弈论模型的正确性，后续实验证明了数学理论
- 这为团队提供了更多信心，他们的数学分析是正确
- 自此，团队将重心转为分析层面，他们研究了一些案例，例如参与者与鲸鱼之间的联盟，并且研究了在这一密谋下，系统将如何表现
- 在工程层面，团队研究了这一问题，即如何确保矿池领导者将提供必备的中继设施
- 目前，他们已决定依靠社会压力而非技术手段来解决
- 通过要求矿池领导者公布中继地址作为矿池登记的一部分，使得这一信息公开可见且可验证
网络系统
- 网络系统工作流包括了点对点发现
- 这一方面，团队招募了新的成员来负责
- 他还处于入职报到阶段，正在熟悉前任同事负责的工作内容
- 网络系统的另一个工作流就是 Delta Q 指标
- 他们已发现一些现实使用案例，并在执行与测试阶段作为案例进一步研究
- 这为他们提供了网络使用量的权利，可控制实时网络资源使用的强弱情况
- Delta Q 指标方法正在帮助减少一些活动的网络延迟，同时对其他程序不造成负面网络性能影响
- 他们还在研究这些在网络通信协议上的使用案例
- 这是网络通信协议涉及的核心环节
- 他们已经研究了一个节点从其他节点下载区块链以及如何应对分叉的方式
- 目前，这一部分在卡尔达诺结算层的最新版本中并未顺利解决，我们有必要改变这一情况
- 雪莱团队已经达成解决方案的共识，他们正在分析这一方案，确保它与乌洛波洛斯论文一致
其他图表
- 在视频中，Liz 呈现了两幅图表，帮助大家理解他们开展研究的模拟与实验过程
- 以下两张图表展示了权益池的在不同参数下的进化
- 为了理解这些图表，你还需要了解：
- X 轴是时间
- 每个颜色块是矿池
- 颜色块高度是矿池规模
- 这些模拟过程都采用了 K 等于 10 这一假定，代表理想结果是 10 个同等规模的颜色块（备注：在现实中，K 可能是更高的数字，例如 100）
- 第一张图表展示了理想结果，你可以看到模拟的最终结果，有 10 个同等规模的矿池
- Liz 与团队能够在所有试验中达到这一结果
- 第二部分展现了权益池数量随时间的变化情况，在右手边的模拟过程最后，它也是 10 个
- 第二张图表展示了与第一张同样的参数设定，但是第一张图表只展示了矿池成本相对于奖励更低、矿池领导者对奖励并没有影响力的情形
- 在这一情形下，成本很高，领导者对奖励有很大的影响力
- 你能看到在两种参数设定下，他们还是能够达到理想结果
未来规划
- 在视频这一部分，Liz 与团队几乎完成了研究阶段
- 他们已经完成了委托研究论文
- 正在最终修改激励研究论文
- 从本质上看，推测研究并非科学，尽管团队未能达到研究阶段的项目里程碑要求，他们还是对未来实现整体业务目标充满了自信
- 关于设计极端，他们将于下周完成委托于激励设计文档
- 激励设计将与委托设计融合，形成一份最终文档
- 一旦设计文档完成（这是他们下周的目标），他们将详细开展技术实现计划
- 这包括了如何将设计拆解为用户故事并为开发者们实现创建开发任务
测试网络更新
- Liz 以雪莱测试网络的更新与项目管理方法作为总结
- 目前，这一部分处于定义目标、可交付任务与测试网络上线的工作目标的启动阶段
- Liz 紧接着介绍了「目标-交付-工作计划」（ODW）的方法
- 团队是这样进行测试网络开发的：他们将目标拆解为可交付任务，然后将这些任务放入工作计划中，这些工作计划拥有自己的工作流阶段与活动
- 目前为止，他们正在定义优先级最高的测试网络目标与结果，并且确认紧急的工作与时间表
- 他们还定义了项目进度风险、保证了规划资源，完成了对权益持有者的初步分析与参与
- 将这一框架按部就班完成就确保测试网络计划与用户需求保持一致与完整性，同时避免产生制定了有效计划却完成了毫无意义的任务这样的风险
- 在IOHK ，团队花了大量时间在完成启动阶段，但这是为了保证用户需求被合理满足，打造最好的结果与用户体验。
翻译：刘祯 校对：Mihori