隐私基础设施Nym发布两个更新版本，优化混合节点和归属智能合约:5月7日消息，据官方推特，隐私基础设施Nym发布v1.0.0和v1.0.1版本。v1.0.0的主要更新包括：对混合节点和归属智能合约进行了大量优化；降低奖励系统的运行成本；重构validator-api二进制文件，即将推出API文档。v1.0.1涉及验证器客户端的一个小补丁以及向validator-api添加了一个API端点来查询平均混合节点正常运行时间。[2022/5/7 2:57:05]
StarkWare与智能合约钱包Argent达成战略合作:11月3日消息，StarkWare宣布与智能合约钱包Argent达成战略合作，双方将在建设以太坊Rollup扩容方案StarkNet上展开合作。[2021/11/3 6:30:01]
动态 | 微软公布新开源形式验证工具VeriSol，旨在优化智能合约质量:据Crypto Globe消息，6月3日，微软研究院（Microsoft Research）在博客中揭示了一个新的开源形式验证工具。该工具旨在提高使用Solity（为以太坊区块链构建的编程语言）子集编写的智能合约的质量。 新工具名为VeriSol（即Verifier for Solidity），曾出现在一篇概述微软Azure区块链智能合约验证的设计和应用的学术论文中。博客文章称，尽管VeriSol迄今仍然是一个主要由Azure智能合约驱动的原型，但研究人员对其期望很高，同时也在鼓励开放协作以促进形式验证发展并引入主流智能合约开发中。[2019/6/4]
郑重声明： 本文版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。