[Certora完成3600万美元B轮融资，Jump Crypto领投]5月17日消息，为区块链智能合约提供安全分析工具的以色列公司Certora完成3600万美元B轮融资，Jump Crypto领投，Tiger Global、Galaxy Digital、Electric Capital、ACapital、Framework Ventures、Coinfund、Lemniscap、Coinbase、VMware等参投。（The Block）
CertiK：加密项目DMC发生Rug Pull，代币价格下跌94%:6月25日消息，CertiK 监测显示，加密项目 DMC 发生 Rug Pull，代币价格下跌 94%，部署者在 17 天前铸造了代币，将它们送到另一个钱包，然后出售。[2022/6/25 1:31:13]
去中心化交易协议Balancer拟于3月发布V2版 目前正在进行内部审计:去中心化交易协议Balancer（BAL）宣布计划于今年3月份发布BalancerV2版本，目前正在进行内部审计。BalancerV2的升级内容或功能主要包括机池（Vault）将适用于所有Balancer池添加的所有资产、提升Gas效率、提高资本效率、较低的Gas成本和富有弹性的预言机、由社区管理的协议费用以及无需许可、可自定义的AMM逻辑等。其中，协议费用包括交易费用、资产撤回费用以及短期贷款费用，将由治理决定。[2021/2/3 18:45:39]
动态 | 本体将与形式化验证公司CertiK共筑可信区块链生态:今日，本体宣布与美国形式化验证公司CertiK展开战略合作，双方将通过深度规范技术及时检测到开源代码的安全漏洞，在智能合约发布前确保安全性与可靠性。CertiK的自动化形式化验证能够避免人为检测的思维局限，最大限度上降低智能合约的验证成本，实现低成本与高安全。[2018/7/17]
郑重声明： Certora完成3600万美元B轮融资，Jump Crypto领投版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。