[智能合约安全分析项目Certora的形式验证服务已支持以太坊编程语言Vyper]8月15日消息，智能合约安全分析项目Certora的形式验证服务已支持以太坊编程语言Vyper，使智能合约开发人员能够在部署代码后审计之前检测错误。
其它快讯：
智能合约注册平台Cookbook完成200万美元融资:金色财经报道，智能合约注册平台Cookbook完成 200 万美元融资，MaC Venture Capital、Tagus Capital、Superscrypt 和 Alchemy 参投，该公司表示，新资金将用于继续推进 Cookbook 的使命，即简化开发人员构建 Web3 的工作并降低数百家公司的开发成本。
Cookbook表示，已服务超过 1500 名开发者，他们通过该平台访问了 3000 多个智能合约。该公司表示，随着越来越多质量参差不齐的智能合约涌入网络，其服务对开发人员的用处越来越大。[2023/5/12 14:58:20]
DFINITY创始人兼首席科学家：相信十年后会看到在互联网计算机上部署超过10亿个开放式应用及智能合约:10月26日消息，DFINITY创始人兼首席科学家Dominic Williams演讲表示，互联网计算机是基于ICP（互联网计算机协议）的，ICP协议使用了非常新的加密算法，所以能够使得互联网计算机实现世界计算机的功能。通过互联网计算机区块链，可以存储所有软件，包括分布式应用、DeFi、Web3游戏等等。在互联网计算机中，在许多方面都是去中心化的。首先，它的容器Canister上所有的去中心化应用、智能合约都是去中心化的。另外是没有主网，只有子网的区块链。相信十年后会看到在互联网计算机上部署超过10亿个开放式应用及智能合约，同时也相信未来十年在互联网计算机上会出现呈百万的节点计算机。[2021/10/26 20:57:11]
Bitfinex首席技术官：智能合约或社区不会使项目去中心化:金色财经报道，Bitfinex首席技术官Paolo Ardoino刚刚发推文称，一份智能合约或一个社区并不会使你的项目去中心化。粉丝评论称，但是一份智能合约和一个社区可以使一个项目具有抗审查性和非托管性。Ardoino回复称，同意非托管性。可抵抗审查，但也有其局限性。并不是说无法通过智能合约实现这些，但这不是我们在大多数项目中看到的那样。[2020/5/10]
郑重声明： 智能合约安全分析项目Certora的形式验证服务已支持以太坊编程语言Vyper版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。