今天，我们很高兴地分享来自Certora管理团队的最新消息。 一个新时代开始了。