去中心化网络存储协议Ceramic宣布主网正式上线:官方消息，去中心化网络存储协议Ceramic宣布主网正式上线，开发人员现在可以创建数据流并将其部署到生产就绪节点的p2p网络。[2021/6/30 0:16:23]
通过形式化验证，确保智能合约及区块链系统的安全性。
Cere Network与Bluzelle达成合作，为Cere提供去中心化数据库:官方消息，波卡生态去中心化数据云平台Cere Network与去中心化数据库服务平台Bluzelle达成合作。Bluzelle将改进Cere目前的数据存储系统，提高Cere的数据灵活性、可扩展性和安全性，并使企业能够以最优化的方式利用Cere生态系统应用程序生态系统。
作为合作伙伴关系的一部分，Bluzelle将加入SaaS-DeFi联盟，该联盟旨在为企业DeFi空间建立通用协议标准，并改善企业与DeFi生态系统之间的通信。SaaS-DeFi联盟的其他成员包括Binance Smart Chain，Elrond，Chainlink，Matic，Reef。[2021/3/31 19:33:02]
CertiK 致力于通过全球领先的形式化验证技术，提供最有竞争力的规模化智能合约验证服务来保证智能合约和区块链系统的安全性。
韩国区块链公司Certon.In参与日本虚拟货币'BaaSid’项目:今日（5日）韩国区块链公司Certon.In宣布为了加强其子公司‘X-Chain’的个人认证服务将参与日本安全公司PRO主导准备的基于去中心化认证的虚拟货币项目 ‘BaaSid’。根据Certon.In公司的描述， ‘BaaSid’是将用户敏感的个人身份验证信息进行拆分，并将这些被拆分的信息在单独的节点上进行分离·分散的储存, 进行登录、付款或使用网上银行时可以进行暂时合并。该网络平台没有在线服务提供商（OSP）提供的中心化数据库，是一个即时验证（即时访问）的去中心化数据库公共网络平台。[2018/2/5]
该公司是由三位计算机科学领域的自身教授创立的公司，团队核心成员包括耶鲁大学教授邵中、哥伦比亚大学教授顾荣辉，项目旨在解决帮助智能合约进行安全性验证的行业痛点。邵中是耶鲁大学计算机系系主任兼终身教授、中科大大师讲席教授，拥有 20 余年安全领域经验；顾荣辉是哥伦比亚大学教授、清华大学本科、耶鲁大学博士。
郑重声明： 本文版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。