Apple和微软进行新的加密货币移动

资料来源：iStock / nixki

主要科技公司Apple和微软正在增强区块链开发人员的工具集。虽然Apple将宣布加密货币功能框架CryptoKit，但微软正在开发智能合约审计工具。

Apple CryptoKit将成为“安全高效”加密货币操作的新框架。它将允许开发人员在即将推出的iOS 13应用程序中执行常见的加密货币任务，如散列，密钥生成和加密货币。

CryptoKit旨在简化以下操作的过程：

• 计算并比较加密货币安全摘要。
• 使用公钥加密货币技术创建和评估数字签名，以及执行密钥交易所。
• 为加密货币和消息身份验证等操作生成对称密钥。

此类功能将使Apple用户能够在iPhone等iOS设备中存储和保存其私钥。

与此同时，微软宣布为以太坊提供Azure区块链驱动的智能合约审计工具，称为VeriSol，它是Solidity编程语言的验证者。该软件通过自动安全检查简化了代码审计流程。

“由于自动和连续检查，VeriSol允许我们更快地进行迭代，它使我们能够更快地捕获错误，而不必担心可能会影响客户，”Azure区块链工程师Cody Born在微软的博客文章中引述道。

在制作硬件和软件组件时，正式的智能合约验证通常是一个问题，并且需要高技能的个人来完成任务。

“对生产软件使用形式验证需要熟练掌握高度专业化的正式语言和工具的人员，这会给开发团队带来陡峭的学习成本，并且经常需要几个人年的投资才能将高度复杂的验证任务分解为可以由验证工具机械地解雇，“微软研究员Shuvendu Lahiri解释道。

该团队希望像VeriSol这样的工具能够帮助开发人员避免在智能合约中出现代价高昂的错误。虽然VeriSol仍然只是一个原型，但它完全是开源的，所以每个好奇的人都可以在GitHub上进行检查。

这样的举动只能证明不断增长的科技巨头对基于区块链的系统的热情。像Facebook和摩根大通这样的公司也在开发他们的本地区块链服务。虽然在5月，微软还宣布他们将推出ION（身份覆盖网络），这是一个去中心化的公共基础设施，在比特币区块链上运行，每秒可以进行数万次操作。

然而，研究人员Gartner最近的一份报告声称，90％已经实施的商业区块链平台解决方案“将需要在18个月内更换，以保持竞争力，安全并避免过时。”