為什麼現在？
我們已經擁有一支80人的優秀團隊，其中包括25名內部安全研究人員，以及一些在這個領域中最好的（持續）客戶，包括 @aave、@LidoFinance、@Balancer、@ether_fi、@eigenlayer、@MakerDAO、@MorphoLabs、@safe、@SiloFinance 和 @ethstatus。
現在我們正在擴大管理團隊，以達到下一個里程碑。
近年來，我們破解了計算機科學中最複雜的問題之一：開發一種可供軟體開發人員無縫使用的可執行程序的形式驗證工具。而他們確實在使用它。
Certora Prover 是驗證複雜的 Solidity 和 Rust 程序的領先產品，這些程序超出了其他形式驗證工具在 Web3 和 Web2 中的範疇。
我們已經確立了自己在形式驗證方面的先驅地位。現在，我們正在演變成為所有 Web3 安全解決方案的首選中心。
為什麼在我職業生涯中與許多優秀的人合作過後，塞斯是完美的選擇？
這是因為 Certora 是一家獨特的以客戶為中心的公司，結合了強大的工程和安全專業知識，這需要一位首席執行官具備以下特質：(1) 技術背景，能理解規格、複雜的錯誤和軟體工程，(2) 銷售動向和商業發展的專家，(3) 具有豐富的管理經驗，(4) 對人員充滿關懷和奉獻精神，(5) 具有成功記錄的領導者。
你可能會想知道我新的角色會是什麼。我不會離開，也不會擔任董事長或總裁的職位。和往常一樣，我仍在尋找新的挑戰，特別是在構建安全工具方面。
我計劃以三種方式推進 Certora： (1) 加強客戶關係並增加銷售； (2) 將 Certora 定位為領先的安全公司； (3) 管理一個新的研究團隊，快速開發新安全產品的原型並將其轉移到我們強大的研發部門。
我也期待能花更多時間與我們的客戶相處，更好地了解他們的需求，這樣 Certora 就能繼續幫助他們「快速行動，毫無損壞」地推出創新且安全的協議。
如果您有任何問題或反饋，歡迎隨時私訊我。
我對未來充滿期待，並期待與大家一起繼續構建安全的 Web3 之未來。
2.15萬
88
本頁面內容由第三方提供。除非另有說明，OKX 不是所引用文章的作者，也不對此類材料主張任何版權。該內容僅供參考，並不代表 OKX 觀點，不作為任何形式的認可，也不應被視為投資建議或購買或出售數字資產的招攬。在使用生成式人工智能提供摘要或其他信息的情況下，此類人工智能生成的內容可能不準確或不一致。請閱讀鏈接文章，瞭解更多詳情和信息。OKX 不對第三方網站上的內容負責。包含穩定幣、NFTs 等在內的數字資產涉及較高程度的風險，其價值可能會產生較大波動。請根據自身財務狀況，仔細考慮交易或持有數字資產是否適合您。