IOHK最近发布了cardano 1.4的epic版本，即搭载cardano结算层2.0.0的代达罗斯0.12.0！cardano 1.4版本相比之前的版本有了明显的提升，解决了困扰很多用户的网络连接问题。存储区块链所需的硬盘空间大大增加：区块链历史上一年所需的文件数量从130万减少到4.4万，所有性能都得到了增强。
代达罗斯现在可以支持Linux了！这个版本已经在Ubuntu 18和Fedora 28上测试过，也可以在其他主流环境下运行。
更重要的是：钱包后端全面升级！新的钱包后端(代达罗斯和卡达诺结算层最重要的组件之一)是根据卡达诺钱包的正式规范开发和测试的，其性能和可靠性(特别是转账输入选项的创建)得到了显著提高。这些改进对于加密货币交易所和其他使用大钱包的用户来说非常重要。这个版本的cardano Settlement层还包含了一个完全重写的v1 API，这是目前默认的版本，v0 API的老版本会在以后的版本中去掉。
cardano钱包的正式规范在IOHK和cardano之外也是非常重要的。它描述了UTxO类型的加密货币钱包及其行为，以及所有使用数学技术的微妙的边缘情况。现在基于这种形式规范的UTxO钱包已经实现，我们可以用形式验证来证明它的设计和实现在形式规范的层面上是正确的，从而保证钱包的最佳性能。由于代达罗斯钱包是第一个基于形式规范的钱包，IOHK可以通过代达罗斯钱包的例子证明形式规范和形式验证的好处。
新的钱包后端实现改变了存储和管理钱包数据的方式。因此，所有钱包都需要一个修复过程，并与卡尔达诺区块链的历史保持同步。这是一个自动化的过程，不需要用户采取任何行动。
