 产品分类
站内搜索 友情链接
|
微软公布新开源形式验证工具VeriSol，旨在优化智能合约质量
详细内容
微软公布新开源形式验证工具VeriSol，旨在优化智能合约质量
据Crypto Globe消息，6月3日，微软研究院（Microsoft Research）在博客中揭示了一个新的开源形式验证工具。该工具旨在提高使用Solity（为以太坊区块链构建的编程语言）子集编写的智能合约的质量。 新工具名为VeriSol（即Verifier for Solidity），曾出现在一篇概述微软Azure区块链智能合约验证的设计和应用的学术论文中。博客文章称，尽管VeriSol迄今仍然是一个主要由Azure智能合约驱动的原型，但研究人员对其期望很高，同时也在鼓励开放协作以促进形式验证发展并引入主流智能合约开发中。  瑞士智库：瑞士央行应与大型行业机构合作开发瑞士法郎代币据cointelegraph消息，6月4日，瑞士智库Avenir Suisse发布一份报告称，瑞士央行应与大型行业机构合作，开发一种瑞士法郎代币。报告称，如果瑞士成为令牌证券外媒：Argo Blockchain最大股东2017年仅缴纳44美元税款，存在逃税可能据CCN报道，英国广播公司（BBC）的一篇报道披露了比特币挖矿投资者、亿万富翁Frank Timis 2017年的个人纳税申报单，申报单显示他只缴纳了35.20英
推荐相关信息：
|