Je suis ravi de vous annoncer qu’après 7 ans en tant que PDG, j’ai enfin persuadé Seth Hallem, le PDG original et cofondateur de Coverity, de diriger Certora dans la sécurisation de l’écosystème DeFi à travers le Web3.
Pourquoi maintenant ?
Nous avons déjà une équipe incroyable de 80 personnes avec 25 chercheurs en sécurité interne et certains des meilleurs clients (récurrents) dans ce domaine, notamment @aave, @LidoFinance, @Balancer, @ether_fi, @eigenlayer, @MakerDAO, @MorphoLabs, @safe, @SiloFinance et @ethstatus.
Aujourd’hui, nous élargissons notre équipe de direction pour franchir la prochaine étape.
Ces dernières années, nous avons résolu l’un des problèmes les plus complexes de l’informatique : le développement d’un outil de vérification formelle pour les programmes exécutables que les développeurs de logiciels peuvent utiliser de manière transparente. Et ils l’utilisent.
Certora Prover est le produit leader pour la vérification de programmes complexes Solidity et Rust, qui sont hors de portée d’autres outils de vérification formelle dans le Web3 et le Web2.
Nous nous sommes imposés comme les pionniers de la vérification formelle. Aujourd’hui, nous sommes en train de devenir le hub incontournable pour toutes les solutions de sécurité Web3.
Pourquoi, parmi les nombreuses personnes formidables avec lesquelles j’ai travaillé dans ma carrière, Seth était-il le choix parfait ?
C’est parce que Certora est une entreprise unique centrée sur le client qui combine une solide expertise en ingénierie et en sécurité, et qui nécessite un PDG qui est : (1) technique, capable de comprendre les spécifications, les bogues complexes et l’ingénierie logicielle, (2) un expert en mouvements de vente et BD, (3) profondément expérimenté avec la gestion, (4) dévoué et se soucie des gens, et (5) un leader ayant fait ses preuves.
Vous vous demandez peut-être quel sera mon nouveau rôle. Je ne vais nulle part et je ne prends pas un poste de président ou de président. Comme toujours, je suis toujours à la recherche de nouveaux défis à relever, en particulier dans la création d’outils de sécurité.
Je prévois de faire progresser Certora de trois manières : (1) en renforçant les relations avec les clients et en augmentant les ventes ; (2) en positionnant Certora comme une entreprise de sécurité de premier plan ; et (3) en gérant une nouvelle équipe de recherche qui développera rapidement des prototypes de nouveaux produits de sécurité et les transférera à notre solide département de R&D.
J’ai également hâte de passer plus de temps avec nos clients et de mieux comprendre leurs besoins, afin que Certora puisse continuer à leur permettre de « bouger vite et de ne rien briser » en livrant des protocoles innovants et sûrs.
Si vous avez des questions ou des commentaires, mes DM sont ouverts.
Je suis enthousiaste à l’idée de ce qui m’attend et j’ai hâte de continuer à construire ensemble l’avenir du Web3 sécurisé.
27,42 k
89
Le contenu de cette page est fourni par des tiers. Sauf indication contraire, OKX n’est pas l’auteur du ou des articles cités et ne revendique aucun droit d’auteur sur le contenu. Le contenu est fourni à titre d’information uniquement et ne représente pas les opinions d’OKX. Il ne s’agit pas d’une approbation de quelque nature que ce soit et ne doit pas être considéré comme un conseil en investissement ou une sollicitation d’achat ou de vente d’actifs numériques. Dans la mesure où l’IA générative est utilisée pour fournir des résumés ou d’autres informations, ce contenu généré par IA peut être inexact ou incohérent. Veuillez lire l’article associé pour obtenir davantage de détails et d’informations. OKX n’est pas responsable du contenu hébergé sur des sites tiers. La détention d’actifs numériques, y compris les stablecoins et les NFT, implique un niveau de risque élevé et leur valeur peut considérablement fluctuer. Examinez soigneusement votre situation financière pour déterminer si le trading ou la détention d’actifs numériques vous convient.