Shelley 雪莱最新版形式化规范说明书

huangwenwei · 2019年04月23日 · 171 次阅读

Formal specifications for delegation and incentives published

通过权益矿池把卡尔达诺主网的账本控制权下放到开放社区,卡尔达诺主网将从节点联盟阶段迭代到完全去中心化雪莱版本阶段。

形式化规范(formal specifications)是交付雪莱版本的重要一环,通过规范说明书可以验证代码在工程实现上是否遵循研究员最初发表的论文。通过独立于编码实现的规格说明,我们可以使用任意不同语言实现系统子模块,确保这些组建可以正确地各司其职实现整个系统完整性。

雪莱的研发过程中,关键规格说明书的完成表示我们已取得重要的里程碑,值得庆贺。这些规格说明书如下:

  • 权益委托和激励在卡尔达诺雪莱版本阶段的工程设计规范:对卡尔达诺主网在雪莱版本权益委托和激励机制必备条件和设计的具体描述。
  • 卡尔达诺账本规格说明:雪莱阶段的账本规格,包含委托和激励。
  • 账本非整型计算规格说明:该规格说明书为雪莱版本通过使用一个简单的数学计算函数定义账本中非整型计算的精确度计算方法。因为不同编程语言或系统架构在计算非整型是可能会得出不一致的结果,为避免出现计算结果差异,该规范提供明确的计算规范,不受节点所在的系统架构差异和不同编程语言的前提下计算出同一结果。

为确保拜伦阶段 (Byron era) 平滑过渡到雪莱阶段 (Shelley era) ,将来雪莱版本的代码必须要兼容拜伦版本规则。在已经完成的拜伦阶段,我们同样也给出了规格说明书:

生产环境代码正顺利地实现上述规范,随着数学、研究和研发(mathematics, research, and development)的反馈,这些规格会得到进一步的完善。

最新版规格说明请查阅:Formal Models for Ledger Rules GitHub repository.

翻译来源 New Shelley formal specifications complete

暂无回复。
需要 登录 后方可回复, 如果你还没有账号请点击这里 注册