网址：https://certik.org
通过形式化验证，确保智能合约及区块链系统的安全性。
Polygon 和 Cere Network 推出 Web3 媒体平台 DaVinci:金色财经报道，Polygon 和去中心化数据云平台Cere Network 宣布推出一个 Web3 媒体平台 DaVinci，该平台的使命是更安全地存储 NFT 支持的资产，并确保可验证和真正去中心化的数据。
DaVinci 是一个直接的内容货币化平台，用于 NFT 支持的体验，旨在促进去中心化数据传输和 NFT 价值转移。该平台由 Cere 的 DDC 提供支持，可通过智能合约向 NFT 持有者提供个性化内容流。它利用部署在 Polygon 上的 NFT 挖矿平台 Cere Freeport 来铸造和销售功能性 NFT，以提供对独家内容的访问。[2022/2/15 9:51:48]
CertiK 致力于通过全球领先的形式化验证技术，提供最有竞争力的规模化智能合约验证服务来保证智能合约和区块链系统的安全性。
Balancer 社区发起提案激活v2协议费用，目前获98%支持率:12月10日消息，Balancer 社区现已在Snapshot发起提案激活v2协议费用，具体费用可以设置在矿池费用的 0-50% 之间。在初始阶段，协议费用将累积在金库中，此后可用于创建 DAO 金库指数基金、回购 BAL 等用途。目前，该提案已经获得98%的支持率，并将在UTC时间12月12日上午6时结束。[2021/12/10 7:30:32]
该公司是由三位计算机科学领域的自身教授创立的公司，团队核心成员包括耶鲁大学教授邵中、哥伦比亚大学教授顾荣辉，项目旨在解决帮助智能合约进行安全性验证的行业痛点。邵中是耶鲁大学计算机系系主任兼终身教授、中科大大师讲席教授，拥有 20 余年安全领域经验；顾荣辉是哥伦比亚大学教授、清华大学本科、耶鲁大学博士。
Ceramic宣布集成Chainlink VRF，用于构建更多动态NFT的工具集:去中心化网络存储协议Ceramic宣布集成Chainlink VRF，用于构建更多动态NFT的工具集。Ceramic是一个主权数据网络，可让开发人员在区块链和IPFS上构建丰富的应用程序。Ceramic的免许可数据流网络直接在去中心化的网络上存储信息流和不断变化的文件，而无需后端。由于所有数据均由跨链身份直接管理，因此很容易跨应用程序边界发现和共享内容。[2021/8/22 22:29:36]
郑重声明： 本文版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。