网址：https://www.certora.com
确保智能合约安全。
Certora 通过智能合约的全自动精确验证技术，使可信区块链成为现实。其验证方法易于使用且具有成本效益。
CertiK：Zk Secure (ZK)遭遇闪电贷款攻击:金色财经报道，据CertiK监测，Zk Secure (ZK)遭遇闪电贷款攻击，目前共有7千美元被盗。请保持警惕。[2023/6/3 11:55:33]
Certora 拥有称为 AEV 自动精确验证的独特技术，能够检查智能合约的所有执行是否满足一系列要求。AEV 技术可作为智能合约的现有编译器和调试器的补充工具。
CertiK：ALG代币跌幅超过94%，需警惕风险:5月30日消息，CertiK Alert发推称，此前曾在5月17日提醒社区ALG代币暴跌超过99%。5月19日，新ALG代币被创建，今天的跌幅超过94%，CertiK提醒社区警惕风险。合约创建者地址为0xb428bf8b0b42d12f8ff38786ff6e226353709223。[2022/5/31 3:51:35]
Certora 为区块链生态系统中的所有参与者提供两种独特的解决方案：智能合约正式验证 CFV，适用于采用智能合约的企业，持续监控所有新发现的漏洞或可能暴露新问题的变更合约；开发者的质量开发环境 QDE 允许在开发期间检测问题，在合约部署时最大限度地提高安全性。
mStable：已为USDC和WETH Balancer池分配25万枚MTA奖励:基于以太坊的稳定币聚合协议mStable发推称，已经为USDC和WETH Balancer池分配25万枚MTA生态系统奖励。下周，新的MTA/mUSD Balancer池将在现有池的基础上获得7.5万枚MTA的奖励。[2020/7/20]
郑重声明： 本文版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。