科学与工程

透明度

在讨论开发一个密码学的科学和工程时,最后一个问题是如何解决透明度问题。设计决策不是布尔数学体系和飘渺的,给予开发人员梦想,然后突然变成榴弹炮。它们源于早期错误的经验、辩论和教训。

面临的挑战是,一个完全透明的发展过程可能会影响讨论变得更加戏剧化而不是基于证据的。 Egos,企图夺取一个社区,害怕听起来很愚蠢,可能会使谈话变得无法适应,反而适得其反。

此外,外部人士也可以试图选择对话,努力强制其突变的话题成为唯一的相关话题。没有人会受到批评。

那么,如何平衡一个透明发展过程的需要,这个过程赋予一组核心开发者委托的社区,而无需担心言论自由呢?

于卡尔达诺中,我们决定采用标准化的过程,并进行指导监督。社区需要了解,科学和规范都是经过深思熟、检查并实际解决了开发人员声称的事宜。为此,同行审查应完全满足科学组成部分,因为它是为此而专门设计的,并给了我们现代世界。

对于代码,这个话题是更有争议的。对于卡尔达诺而言,我们委托卡尔达诺基金会担任IOHK执行工作的最终审核者。特别是被赋予以下职责:

  1. 定期检查卡尔达诺Github中包含的源代码,以检查质量、测试覆盖面、适当的评论和完整性

  2. 审查所有卡尔达诺文档的正确性和实用性

  3. 验证科学家制定的协议是否得到充分实施的声明

为了完成这项任务,IOHK将定期及时向基金会及其委托人提交报告以进行审查。该基金会将至少在每季向卡尔达诺社区发布一份发展监督报告。

第一项工作主旨是就分散化项目,如何实现问责制开展更广泛的对话。来自可信赖第三方的开发监督,是确保开发人员正常进行工作的强大工具,但要完全保证项目始终可以实现是不够的。

因此,在资金融入卡尔达诺结算层之后,基金会将鼓励其开发团队,根据与IOHK共同制定的正式规范予以构建替代客户。发展多样性一直是以太坊项目使用的一个伟大技术,以避免在单一想法或开发人员周围形成单一文化。

对于规格方面,WC3IETF所遵循的标准流程将有丰富的知识。最终,卡尔达诺集成的每个协议都需要独立于学术工作或源代码的规范。相反地​​,它需要使用合适的格式,如RFC

卡尔达诺基金会的核心原则之一是作为卡尔达诺协议专门的标准机构,并主持对话以更新、添加或更改与卡尔达诺相关的标准。如果通过IETF的互联网(标准的产物)能够对于使用什么核心协议达成共识,那么假设一个专门的机构可以促成相同的结果是完全合理的。

结语,有趣的是,将这些讨论转移到一个托管在一个区块链上的分散实体。这个概念被称为分散式自治组织(DAO; decentralized autonomous organization)初步工作正在该领域进行中。 IOHK将开发一个提供参考的分散式自治组织模型,用于与卡尔达诺接口的实体使用,若需要,卡尔达诺基金会拥有此特权,表决是否根据其标准授权进行采纳。

Last updated: Invalid date

Previous
形式规范和验证