微软

6月3日,Microsoft Research团队宣布了一项新的 验证工具 用于保护以Solidity(以太坊网络的主要编程语言)编写的智能合约.

该工具被称为 威瑞索尔, 是由科技巨头的创新部门Microsoft Research与Microsoft Azure区块链(该公司的云计算部门)共同合作开发的,该云计算部门旨在帮助企业和机构轻松构建自己的区块链应用程序.

微软

值得注意的是,该工具不仅仅是对加密经济的一种善意贡献(尽管它是开源的),因为Azure区块链将利用Solidity分析器来帮助其自己的机构客户的产品。正如该团队的高级软件工程师Cody Born在新闻中解释的那样:

“ VeriSol使我们能够自动连续进行检查,从而更快地进行迭代,它使我们能够更快地捕获错误,而不必担心潜在地影响客户。”

智能合约一旦启用就无法即时进行编辑,因此在以太坊主网上激活它们之前,仔细检查其代码是关键,否则,错误可能会给灾难性灾难带来明显的经济后果.

4月,Dai稳定币的法定加密货币DAIHard进行了Beta发布,但由于存在漏洞,白帽黑客在更恶意的代理之前就撤消了合同。因此,使用VeriSol的想法是在造成问题之前而不是之后迅速而有效地捕获这种Solidity差异。.

微软拥抱区块链

截至最近,VeriSol的宣布是在微软生态系统中几项备受瞩目的区块链拥抱之后的.

仅在本月,该公司或其各个部门就将比特币unicode符号添加到了广受欢迎的Microsoft Excel电子表格系统中;透露了一个建立在比特币之上的去中心化ID项目;并宣布对JP Morgan以太坊的允许分支Quorum的Azure区块链支持.

确实,微软在更广泛的区块链领域中的利益相关者地位正在提高,并且开源VeriSol之类的工具现在也将帮助超出其直接职权范围的项目发展。为此,Microsoft首席研究员Shuvendu Lahiri提到了验证程序:

“我们设想不仅要增强Azure区块链开发人员和客户的能力,而且要为一个更安全的完整区块链生态系统做出贡献,并帮助人们实现该技术的全部潜力,而不会受到智能合约中代价高昂的错误的困扰。”

因此,围绕智能合约技术(尤其是迄今为止最大的智能合约平台以太坊)的活动和公共基础设施继续稳步增长.

las,微软也不是唯一发布以太坊为中心的免费技术的行业巨头。 “四大”会计巨头安永几天前发布了其Nightfall隐私工具.

坚固性101

Solidity于2014年由以太坊联合创始人加文·伍德(Gavin Wood)概述,最终由以克里斯蒂安·赖特维斯纳(Christian Reitwiessner)为首的一群以太坊开发人员打造.

该语言受到其他流行和更主流的编程语言(例如JavaScript,Python和C ++)的启发。因此,建议有兴趣学习Solidity的编程新手深入研究其影响力之一。.

根据Solidity的文档,该语言从根本上建立合同的方式如下:

“从坚固性的意义上讲,合同是驻留在以太坊区块链上特定地址的代码(其功能)和数据(其状态)的集合。”

因此,Solidity使开发人员能够“管理以太坊状态内的帐户行为”,其文档解释道。.

那些对Solidity进一步感兴趣的人可以探索Andreas Antonopoulos和Gavin Wood的解释性文本Mastering Ethereum或注册CryptoZombies,这是一种免费的教育资源,可以帮助初学者学习用该语言编写基于僵尸的游戏的代码.

当然,早起的鸟儿有蠕虫。按照以太坊迄今为止已经获得的势头,似乎Solidity可能会持续数十年.

Mike Owergreen Administrator
Sorry! The Author has not filled his profile.
follow me