为什么现在？
我们已经拥有一支出色的80人团队，其中包括25名内部安全研究人员，以及一些在这个领域中最优秀的（重复）客户，包括 @aave, @LidoFinance, @Balancer, @ether_fi, @eigenlayer, @MakerDAO, @MorphoLabs, @safe, @SiloFinance 和 @ethstatus。
现在我们正在扩展我们的管理团队，以达到下一个里程碑。
近年来，我们解决了计算机科学中最复杂的问题之一：开发一种可供软件开发人员无缝使用的可执行程序的形式验证工具。而他们确实在使用它。
Certora Prover 是验证复杂 Solidity 和 Rust 程序的领先产品，这些程序超出了其他形式验证工具在 Web3 和 Web2 中的能力。
我们已经确立了自己在形式验证领域的先锋地位。现在，我们正在发展成为所有Web3安全解决方案的首选中心。
为什么在我职业生涯中与许多优秀的人合作过之后，塞斯是完美的选择？
这是因为Certora是一家独特的以客户为中心的公司，结合了强大的工程和安全专业知识，这需要一位首席执行官具备以下条件：(1) 技术背景，能够理解规格、复杂的bug和软件工程，(2) 在销售动态和业务发展方面的专家，(3) 具有丰富的管理经验，(4) 专注并关心员工，(5) 拥有成功记录的领导者。
你可能会想知道我新的角色将是什么。我不会去任何地方，也不会担任董事长或总裁的职位。和往常一样，我仍在寻找新的挑战，特别是在构建安全工具方面。
我计划通过三种方式推进Certora： (1) 加强客户关系并增加销售； (2) 将Certora定位为领先的安全公司； (3) 管理一个新的研究团队，快速开发新安全产品的原型，并将其转移到我们强大的研发部门。
我也期待能与我们的客户花更多时间，更好地理解他们的需求，以便Certora能够继续帮助他们“快速行动，毫发无损”地推出创新、安全的协议。
如果您有任何问题或反馈，我的私信是开放的。
我对未来充满期待，并期待与大家一起继续构建安全的Web3未来。
2.05万
77
本页面内容由第三方提供。除非另有说明，欧易不是所引用文章的作者，也不对此类材料主张任何版权。该内容仅供参考，并不代表欧易观点，不作为任何形式的认可，也不应被视为投资建议或购买或出售数字资产的招揽。在使用生成式人工智能提供摘要或其他信息的情况下，此类人工智能生成的内容可能不准确或不一致。请阅读链接文章，了解更多详情和信息。欧易不对第三方网站上的内容负责。包含稳定币、NFTs 等在内的数字资产涉及较高程度的风险，其价值可能会产生较大波动。请根据自身财务状况，仔细考虑交易或持有数字资产是否适合您。