CertiK：SCT部署者出售了最初铸币和早期购买的代币导致代币价格下滑90%:金色财经报道，据CertiK监测，SCT代币价格下滑了90%，部署者出售了最初铸币和早期购买的代币，共计约28万6千美元。[2023/6/7 21:21:49]
确保智能合约安全。
ADAMoracle预言机已通过Certik安全审计:11月16日消息，首个支持广域节点喂价的去中心化预言机ADAMoracle已通过CertiK的安全审计，CertiK是业内知名的专注于区块链安全审计的机构，使用严密且彻底的网络与软件安全技术识别安全漏洞，ADAMoracle预言机通过审计代表着在规避安全漏洞上更具技术能力，有效保障了交易的安全性。
ADAMoracle作为实现跨链并基于硬件服务器提供喂价服务的广域节点预言机网络，其核心功能是链接成千上万的硬件服务器作为喂价节点，构建一个安全、可信、精准、防止女巫攻击、可自我维护的去中心化预言机网络，以图灵智能化取代传统预言机，是业内首个采用“广域节点喂价”机制的去中心化预言机。[2021/11/16 21:55:37]
Certora 通过智能合约的全自动精确验证技术，使可信区块链成为现实。其验证方法易于使用且具有成本效益。
Cere Network获得3100万美元的融资 Polygon和Republic领投:金色财经报道，区块链管理系统开发商Cere Network表示，它在由投资平台Republic和Polygon领投的一轮融资中筹集了3100万美元，资金将用于新员工、开发者网络增长和应用程序开发。公司还将利用这笔资金加速将其去中心化数据云集成到Polygon的协议中，预计在与Polkadot整合的第三季度末完成。（Coindesk）[2021/9/9 23:13:11]
Certora 拥有称为 AEV 自动精确验证的独特技术，能够检查智能合约的所有执行是否满足一系列要求。AEV 技术可作为智能合约的现有编译器和调试器的补充工具。
Certora 为区块链生态系统中的所有参与者提供两种独特的解决方案：智能合约正式验证 CFV，适用于采用智能合约的企业，持续监控所有新发现的漏洞或可能暴露新问题的变更合约；开发者的质量开发环境 QDE 允许在开发期间检测问题，在合约部署时最大限度地提高安全性。
郑重声明： 本文版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。