资金费率
资金费率热力图
多空比
大户多空比
币安/欧易/火币大户多空比
Bitfinex杠杆多空比
账号安全
资讯收藏
自选币种
微软推出VeriSol工具，强化智能合约安全性
6月3日，微软研究院团队宣布推出一款全新的验证工具VeriSol，用于提升基于Solidity编写的智能合约的安全性。Solidity是目前以太坊网络中最主要的编程语言。
VeriSol由微软研究院与微软Azure区块链团队联合开发。微软研究院作为该科技巨头的创新部门，而Azure区块链则是微软的云计算部门，致力于帮助企业机构轻松构建区块链应用程序。
VeriSol的重要性
值得注意的是，VeriSol不仅是对加密货币经济的善意贡献（尽管已经开源），Azure区块链还将利用这款Solidity分析工具来提升其机构客户产品的安全性。正如微软高级软件工程师Cody Born所说："VeriSol使我们能够通过自动和持续的检查来加快迭代速度，让我们能够更快地发现漏洞，而不用担心可能影响客户。"
智能合约一旦上线就无法实时修改，因此在部署到以太坊主网之前仔细审查其代码至关重要——否则漏洞可能会造成灾难性的经济后果。例如在今年4月，DAI稳定币的法币通道DAIHard在进行beta测试时，由于存在漏洞，一位白帽黑客在恶意攻击者之前及时清空了合约资金。VeriSol的目标正是要在这些问题造成实际影响之前，快速有效地发现Solidity代码中的潜在问题。
微软拥抱区块链技术
VeriSol的发布紧随微软生态系统近期在区块链领域的一系列重要举措。仅在本月，微软及其各部门就：将比特币Unicode符号加入广泛使用的Excel电子表格系统；在比特币基础上开发去中心化ID项目；宣布Azure区块链支持摩根大通的以太坊许可链Quorum。
微软在更广泛的区块链领域的影响力正在不断增强，而像VeriSol这样的开源工具也将帮助其直接管辖范围之外的项目发展。微软首席研究员Shuvendu Lahiri表示："我们不仅希望为Azure区块链开发者和客户赋能，更致力于为整个区块链生态系统做出贡献，使其更加安全，帮助人们充分实现这项技术的潜力，而不会受到智能合约中代价高昂的错误困扰。"
因此，围绕智能合约技术——尤其是迄今为止最大的智能合约平台以太坊——的活动和公共基础设施正在稳步发展。值得注意的是，微软并非唯一一家发布以太坊相关免费技术的行业巨头，四大会计师事务所之一的安永就在几天前发布了其Nightfall隐私工具。
Solidity入门
Solidity最初由以太坊联合创始人Gavin Wood于2014年提出，随后由Christian Reitwiessner领导的一群以太坊开发者开发完成。该语言在某种程度上受到JavaScript、Python和C++等主流编程语言的启发。因此，建议对学习Solidity感兴趣的编程新手可以先从这些语言入门。
根据Solidity文档，该语言从根本上按照以下方式构建合约："Solidity中的合约是代码（其函数）和数据（其状态）的集合，位于以太坊区块链上的特定地址。"因此，Solidity使开发者能够"管理以太坊状态中账户的行为"。
对进一步探索Solidity感兴趣的读者可以查阅Andreas Antonopoulos和Gavin Wood编写的《精通以太坊》，或注册CryptoZombies——一个帮助初学者使用该语言编写僵尸主题游戏的免费教育资源。
正如谚语所说，早起的鸟儿有虫吃。鉴于以太坊迄今为止已经获得的势头，Solidity很可能会在未来几十年继续存在。
