Я радий повідомити вам, що після 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) є експертом у русі продажів та BD, (3) має глибокий досвід управління, (4) відданий та піклується про людей, а також (5) лідер із підтвердженим досвідом успіху.
Ви можете задатися питанням, якою буде моя нова роль. Я нікуди не збираюся йти і не займаю посаду голови чи президента. Як завжди, я все ще шукаю нові виклики, особливо в побудові інструментів безпеки.
Я планую просувати Certora трьома шляхами: (1) шляхом зміцнення відносин з клієнтами та збільшення продажів; (2) позиціонуючи Certora як провідну охоронну компанію; і (3) керуючи новою дослідницькою групою, яка швидко розробить прототипи нових продуктів безпеки та передасть їх нашому потужному відділу досліджень і розробок.
Я також з нетерпінням чекаю можливості проводити більше часу з нашими клієнтами та краще розуміти їхні потреби, щоб Certora могла продовжувати надавати їм можливість «рухатися швидко та нічого не порушувати», доставляючи інноваційні, безпечні протоколи.
Якщо у вас виникнуть питання або відгуки, мої DM відкриті.
Я в захваті від того, що нас чекає попереду, і з нетерпінням чекаю на продовження спільної побудови майбутнього безпечного Web3.
19,55 тис.
77
Вміст на цій сторінці надається третіми сторонами. Якщо не вказано інше, OKX не є автором цитованих статей і не претендує на авторські права на матеріали. Вміст надається виключно з інформаційною метою і не відображає поглядів OKX. Він не є схваленням жодних дій і не має розглядатися як інвестиційна порада або заохочення купувати чи продавати цифрові активи. Короткий виклад вмісту чи інша інформація, створена генеративним ШІ, можуть бути неточними або суперечливими. Прочитайте статтю за посиланням, щоб дізнатися більше. OKX не несе відповідальності за вміст, розміщений на сторонніх сайтах. Утримування цифрових активів, зокрема стейблкоїнів і NFT, пов’язане з високим ризиком, а вартість таких активів може сильно коливатися. Перш ніж торгувати цифровими активами або утримувати їх, ретельно оцініть свій фінансовий стан.