事实和意见
另一个问题就是事实的结束和意见的开始。有数百种编程语言、数十种开发模式和多种项目管理理念。学术界充满了自我挑战，源自于学术界与业务相关和实用性的距离。
对于卡尔达诺来说，我们首先试图捕捉明显的缺陷，从工程角度审视是普遍同意有用的。例如，密码学和分布式系统都是非常重要牵涉的主题，其中有太多的例子说明天真之手可以造成可怕的错误。因此，任何需要获得这些领域见解的协议，需要由公认的专家设计，并提交给其他专家进行审核。
乌洛波洛斯是我们这领域的第一个案例研究。它是由密码学家团队设计的，具有大量、多样和可公开验证的出版历史。它是根据标准密码学过程建立的，具有安全假设、对抗模型和证明。这些证明是通过提交会议进行审查20，也独立地由剑桥大学的一个团队以Isabelle编写的计算机予以证明21。
然而，这项工作本身并无法提供有用的保证 - 只是在一些假设情况下，通过严格检查的安全模型。为了确保其有用性，需要实施和测试协议。我们的开发人员在Haskell和Rust都进行了同样的过程。这项工作表明，需要更多的精力集中在同步模式上，这也引导了Ouroboros Praos的创立。
这个迭代的艺术造就了这伟大的协议，每一步引发了新的教训和必须重新验证先前步骤的正确性22。它是昂贵的、耗时的、有时是非常繁琐的，但是需要确保协议设计的正确性。
议定书 - 特别是数十亿人使用的议定书 - 并不是短暂的、快速演化的。相反，它们将被追溯至数十年。似乎完全合理的是，在世界承载新的金融体系之前，我们都要在未来的一百年中生存下去，我们想向设计这些协议的设计师，要求一些乏味和严谨。
20: 加利福尼亚州IACR年度加密会议中受理的第71号文件
21: 由Lawrence Paulson教授监督下的Kawin Worrasangasilpa执行
22: 为了获得利益的一个切线，应该参考教授Halmo的讨论撰写的关于如何编写数学教科书的讨论