另一个问题就是事实的结束和意见的开始。有数百种编程语言、数十种开发模式和多种项目管理理念。学术界充满了自我挑战,源自于学术界与业务相关和实用性的距离。

对于卡尔达诺来说,我们首先试图捕捉明显的缺陷,从工程角度审视是普遍同意有用的。例如,密码学和分布式系统都是非常重要牵涉的主题,其中有太多的例子说明天真之手可以造成可怕的错误。因此,任何需要获得这些领域见解的协议,需要由公认的专家设计,并提交给其他专家进行审核。

乌洛波洛斯是我们这领域的第一个案例研究。它是由密码学家团队设计的,具有大量、多样和可公开验证的出版历史。它是根据标准密码学过程建立的,具有安全假设、对抗模型和证明。这些证明是通过提交会议进行审查,也独立地由剑桥大学的一个团队以Isabelle编写的计算机予以证明。

然而,这项工作本身并无法提供有用的保证 - 只是在一些假设情况下,通过严格检查的安全模型。为了确保其有用性,需要实施和测试协议。我们的开发人员在HaskellRust都进行了同样的过程。这项工作表明,需要更多的精力集中在同步模式上,这也引导了Ouroboros Praos的创立。

这个迭代的艺术造就了这伟大的协议,每一步引发了新的教训和必须重新验证先前步骤的正确性。它是昂贵的、耗时的、有时是非常繁琐的,但是需要确保协议设计的正确性。

议定书 - 特别是数十亿人使用的议定书 - 并不是短暂的、快速演化的。相反,它们将被追溯至数十年。似乎完全合理的是,在世界承载新的金融体系之前,我们都要在未来的一百年中生存下去,我们想向设计这些协议的设计师,要求一些乏味和严谨。

Did this answer your question?