大型区块链工程公司IOHK宣布将赞助新成立的Haskell基金会，该基金会致力于扩大Haskell编程语言的采用。IOHK表示将向11月4日在HaskelleXchange虚拟会议上启动的基金会捐赠125,000美元。根据今天与AMBCrypto分享的新闻稿，IOHK将通过这一举动成为Haskell基金会的最大捐助者。
Nervos宣布联合Cardano技术开发公司IOHK，以打造更安全的智能合约:据官方消息，公链项目Nervos宣布与全球区块链公司、Cardano区块链的技术开发公司IOHK达成长期合作关系，共同致力于降低智能合约给不断增长的DeFi 领域带来的安全风险。在合作的第一阶段，双方将围绕UTXO模型和智能合约进行联合研究，为其它基于UTXO模型的区块链开发改良版框架，使其成为比以太坊账户模型更安全、可扩展的替代方案。
为了进一步推动UTXO模型的发展，Nervos和IOHK将共同撰写有关该主题的研究论文，开源未来的UTXO进展，并探索UTXO模型通用标准的制定；并与其它基于UTXO的主流区块链组成全球UTXO联盟，以促进研究、开发、教育等领域的全行业协作。[2020/12/16 15:20:33]
Haskell基金会由Haskell社区的长期成员创建，是一个独立的组织，旨在提高Haskell语言在整个行业，开源社区和学术界的采用率。
IOHK引入两个新开发环境，将使Cardano智能合约兼容所有编程语言:Cardano区块链背后的开发公司IOHK昨天宣布引入两个新的开发环境，允许开发人员为Cardano编写智能合约。“KEVM”devnet将允许开发人员实现Cardano上现有或未来以Solidity编写的基于以太坊的应用程序。这意味着超过14万份智能合约将与Cardano区块链兼容。该devnet使用了一个版本的以太坊虚拟机，该虚拟机已经被一个用于创建正式验证软件的框架K验证。
另一个devnet为IELE，旨在使开发人员能够用任何编程语言编写代码，并将产生的功能移植到Cardano区块链上。据IOHK称，IELE将是“第一个大规模的beta测试”，使非区块链开发人员无需学习区块链特定的编程语言就可以在Cardano上创建智能合约。（Crypto News Flash）[2020/12/4 13:59:57]
该基金会表示，其编程语言为“开源”，可“快速开发”可修改和可维护的强大软件。该语言包括支持与其他语言集成，内置并发以及调试器，分析器和丰富的库。
动态 | IOHK通过Kudelski Security进行第三方审计Icarus项目:据ambcrypto消息，ADA创始人Charles Hoskinson最近宣布由第三方安全审计公司Kudelski Security为其Icarus项目进行审计。IOHK决定进行第三方审计，是因为认为内部审计可能会错过识别安全问题的关键方面。Icarus是IOHK开发的用于Cardano轻钱包的参考实现的代码。CoinMarketCap行情显示，ADA全球均价现为0.076美元，24小时涨幅1.50%。[2018/10/21]
该基金会声称，许多其他公司也向Haskell基金会提供了支持。但是，IOHK多年来一直支持Haskell的开发，甚至投资于扩展Haskell社区。从开发在线教程和教育计划到在巴巴多斯，乌干达，蒙古和埃塞俄比亚等国提供面对面的培训课程。但是，在技术方面，IOHK也直接参与了创建图书馆以消除空间泄漏的贡献。甚至为IOHK的Cardano区块链构建IOHK基于Haskell的智能合约语言Plutus。
该公司认为，捐赠将扩大Haskell编程社区，同时也支持Haskell基金会的“增强社区内部多样性”的目标。
关于IOHK首席执行官Haskell的赞助和持续支持，CharlesHoskinson在一份声明中说：
IOHK相信函数式编程，开源软件和开放治理的力量。我们很高兴能够与其他主要公司一起支持Haskell的未来增长和采用。
郑重声明： 本文版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。