Je suis ravi de vous annoncer qu'après 7 ans en tant que PDG, j'ai enfin persuadé Seth Hallem, l'ancien PDG et co-fondateur de Coverity, de diriger Certora pour sécuriser l'écosystème DeFi à travers Web3.
Pourquoi maintenant ?
Nous avons déjà une équipe incroyable de 80 personnes avec 25 chercheurs en sécurité internes et certains des meilleurs clients (récurrents) dans ce domaine, y compris @aave, @LidoFinance, @Balancer, @ether_fi, @eigenlayer, @MakerDAO, @MorphoLabs, @safe, @SiloFinance et @ethstatus.
Nous élargissons maintenant notre équipe de direction pour atteindre le prochain jalon.
Ces dernières années, nous avons résolu l'un des problèmes les plus complexes en informatique : développer un outil de vérification formelle pour les programmes exécutables que les développeurs de logiciels peuvent utiliser sans effort. Et ils l'ont utilisé.
Certora Prover est le produit leader pour vérifier des programmes complexes en Solidity et Rust, qui sont hors de portée des autres outils de vérification formelle tant dans Web3 que dans Web2.
Nous nous sommes établis comme les pionniers de la vérification formelle. Maintenant, nous évoluons pour devenir le hub incontournable pour toutes les solutions de sécurité Web3.
Pourquoi, parmi les nombreuses personnes formidables avec lesquelles j'ai travaillé au cours de ma carrière, Seth était-il le choix parfait ?
C'est parce que Certora est une entreprise unique axée sur le client qui combine une forte expertise en ingénierie et en sécurité, et cela nécessite un PDG qui est : (1) technique, capable de comprendre les spécifications, les bugs complexes et l'ingénierie logicielle, (2) un expert en mouvements de vente et en développement commercial, (3) profondément expérimenté en gestion, (4) dévoué et soucieux des personnes, et (5) un leader avec un bilan de succès éprouvé.
Vous vous demandez peut-être quel sera mon nouveau rôle. Je ne vais nulle part et je ne prends pas de poste de président ou de président. Comme toujours, je suis toujours à la recherche de nouveaux défis à relever, en particulier dans la construction d'outils de sécurité.
Je prévois de faire avancer 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 R&D.
J'attends également avec impatience de passer plus de temps avec nos clients et de mieux comprendre leurs besoins, afin que Certora puisse continuer à leur permettre de "Avancer rapidement et ne rien casser" en expédiant des protocoles innovants et sûrs.
Si vous avez des questions ou des retours, mes DMs sont ouverts.
Je suis enthousiaste pour ce qui nous attend et j'ai hâte de continuer à construire ensemble l'avenir d'un Web3 sécurisé.
20,41 k
77
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.