Я рад сообщить вам, что после 7 лет в должности генерального директора мне наконец удалось убедить Сета Халлема, оригинального генерального директора и соучредителя Coverity, возглавить Certora в обеспечении безопасности экосистемы DeFi в Web3.
Почему сейчас?
У нас уже есть потрясающая команда из 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.
19,56 тыс.
77
Содержание этой страницы предоставляется третьими сторонами. OKX не является автором цитируемых статей и не имеет на них авторских прав, если не указано иное. Материалы предоставляются исключительно в информационных целях и не отражают мнения OKX. Материалы не являются инвестиционным советом и призывом к покупке или продаже цифровых активов. Раздел использует ИИ для создания обзоров и кратких содержаний предоставленных материалов. Обратите внимание, что информация, сгенерированная ИИ, может быть неточной и непоследовательной. Для получения полной информации изучите соответствующую оригинальную статью. OKX не несет ответственности за материалы, содержащиеся на сторонних сайтах. Цифровые активы, в том числе стейблкоины и NFT, подвержены высокому риску, а их стоимость может сильно колебаться. Перед торговлей и покупкой цифровых активов оцените ваше финансовое состояние и принимайте только взвешенные решения.