详细内容
微软研究院在博客中提出开源形式验证工具 VeriSol （Verifier for Solidity），目的是提高使用 Solidity （为以太坊区块链构建的编程语言）子集编写的智能合约的质量。微软研究院表示，尽管 VeriSol 迄今仍然是一个主要由 Azure 智能合约驱动的原型，但研究人员对其期望很高，同时也在鼓励开放协作以促进形式验证发展并引入主流智能合约开发中。
来源链接
来源链接
区快洞察消息，数字资产管理服务公司 BEPAL 币派宣布加入 Wanchain 万维链星系共识 PoS 节点计划，WAN 用户可通过 BEPAL 钱包参与 WAN 的质押（Staking）服务。目前 BEPAL 已加入到星系共识的 Alpha 测试中，预计在
区快洞察消息，苹果公司在其 2019 年全球开发者大会（WWDC）上推出加密开发工具 CryptoKit。苹果表示 CryptoKit 采用新的 Swift 框架，将伴随 iOS 13 版本的更新首次亮相，主要面向开发人员，提升了计算哈希，以及实
该企业最新头条微商机