2025年はまだ終わっていませんが、Certoraでの4つの大きな成果をすでに誇りに思っています。(1) トップのWeb3セキュリティ研究者の50%を採用したこと、(2) 会社を次のレベルに引き上げる新しいCEOを迎えたこと、(3) プロバーのオープンソース化、(4) LLMとFVの統合にさらに力を入れたこと。