IOHK宣布将重新推出Mantis客户端

据悉，全球区块链研发公司IOHK宣布将重新推出Mantis客户端，该客户端最初由IOHK于2017年为EthereumClassic（ETC）开发。

在决定重新启动之前，最近ETC遭受51%的攻击，暴露了协议中的漏洞，这表明ETC需要加强安全性和创新。

Mantis客户端的目标是通过引入安全措施和去中心化资金库来为未来的项目提供资金。Mantis是以P2P方式连接到以太坊网络上的其他客户端的软件，也是唯一一个为ETC编写的客户端，使其能够提供高水平的保证、安全性和可用性。

为了解决安全问题，Mantis引入检查点，这是经过正式验证、可减轻51%攻击的解决方案。它还基于Scala编程语言。

它提议设立去中心化资金库，用于资助为ETC提供额外效用的项目开发，实现协议的更大采用，并为ETC生态系统注入新理念，从而有助于保障其长期的未来。Mantis还将使用RuntimeVerification的K框架，为智能合约验证提供更为复杂的技术和更可预测的Gas成本，从而使该平台更具吸引力。