[智能合约安全分析项目Certora的形式验证服务已支持以太坊编程语言Vyper]8月15日消息，智能合约安全分析项目Certora的形式验证服务已支持以太坊编程语言Vyper，使智能合约开发人员能够在部署代码后审计之前检测错误。
报告：全球智能合约市场规模到2030年预计将增长至98.5亿美元左右:金色财经报道，根据 Zion Market Research 的研究，?2022 年全球智能合约市场规模约为17.5 亿美元，预计到 2030 年将增长至98.5 亿美元左右，年复合增长率2023 年至 2030 年之间的增长率 (CAGR) 约为 24%。加密货币在智能合约的使用中起着至关重要的作用。由以太坊开发的区块链是一种去中心化的开源区块链，被认为是与去中心化金融 (Defi) 相关的应用程序的最基本构建块。[2023/3/9 12:50:54]
Cardano创始人：人们可以部署智能合约作为建立跨国标准的前进方式:金色财经报道，Cardano创始人Charles Hoskinson在接受记者采访时抨击了世界上竞争对手所设定的 ESG 标准的差异。“如果你看看每个公司都在谈论的 ESG 评分的例子，我们如何更环保，我们如何可持续发展，我们如何拥有良好的治理？” 他问。霍斯金森认为，在不同的司法管辖区，谁来决定 ESG 的定义会有不同的标准。他提供了区块链技术作为解决方案。使用这项技术，人们可以部署智能合约作为建立跨国标准的前进方式，以促进信任和权威。在他看来，这将比现有系统更有可能“解决全球变暖和气候变化”。[2022/5/2 2:44:47]
OpenZeppelin智能合约开发库更新3.2版本:区块链开发工具提供商OpenZeppelin发布智能合约开发库OpenZeppelinContracts的3.2版本，此次最大的变更是将代理合约（proxycontract）从OpenZeppelinSDK迁移到了OpenZeppelinContracts项目中。另外对于智能合约编程语言Solidity0.7版本的用户而言，OpenZeppelin已经在npm上发布了较新的编译器版本支持，最新版本为3.2.0-solc-0.7。[2020/9/14]
郑重声明： 智能合约安全分析项目Certora的形式验证服务已支持以太坊编程语言Vyper版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。