Me complace decirte que, después de 7 años como CEO, finalmente he convencido a Seth Hallem, el CEO original y cofundador de Coverity, para que dirija Certora en la seguridad del ecosistema DeFi en Web3.
¿Por qué ahora?
Ya tenemos un increíble equipo de 80 personas con 25 investigadores de seguridad internos y algunos de los mejores clientes (recurrentes) en este espacio, incluyendo a @aave, @LidoFinance, @Balancer, @ether_fi, @eigenlayer, @MakerDAO, @MorphoLabs, @safe, @SiloFinance y @ethstatus.
Ahora estamos ampliando nuestro equipo de gestión para alcanzar el próximo hito.
En los últimos años, hemos resuelto uno de los problemas más complejos en la ciencia de la computación: desarrollar una herramienta de verificación formal para programas ejecutables que los desarrolladores de software pueden usar sin problemas. Y la han estado utilizando.
Certora Prover es el producto líder para verificar programas complejos en Solidity y Rust, que están más allá del alcance de otras herramientas de verificación formal tanto en Web3 como en Web2.
Nos hemos establecido como los pioneros en la verificación formal. Ahora, estamos evolucionando hacia el centro de referencia para todas las soluciones de seguridad en Web3.
¿Por qué, entre las muchas grandes personas con las que he trabajado en mi carrera, fue Seth la elección perfecta?
Es porque Certora es una empresa única centrada en el cliente que combina una sólida experiencia en ingeniería y seguridad, y que requiere un CEO que sea: (1) técnico, que pueda entender especificaciones, errores complejos y ingeniería de software, (2) un experto en movimientos de ventas y desarrollo de negocios, (3) con una profunda experiencia en gestión, (4) dedicado y que se preocupa por las personas, y (5) un líder con un historial comprobado de éxito.
Puede que te preguntes cuál será mi nuevo rol. No me voy a ningún lado y no asumiré un cargo de presidente o presidente del consejo. Como siempre, sigo buscando nuevos desafíos que enfrentar, especialmente en la construcción de herramientas de seguridad.
Planeo avanzar Certora de tres maneras: (1) fortaleciendo las relaciones con los clientes y aumentando las ventas; (2) posicionando a Certora como una empresa de seguridad líder; y (3) gestionando un nuevo equipo de investigación que desarrollará rápidamente prototipos de nuevos productos de seguridad y los transferirá a nuestro sólido departamento de I+D.
También espero pasar más tiempo con nuestros clientes y comprender mejor sus necesidades, para que Certora pueda seguir permitiéndoles "Moverse Rápido y No Romper Nada" al lanzar protocolos innovadores y seguros.
Si tienes alguna pregunta o comentario, mis DMs están abiertos.
Estoy emocionado por lo que está por venir y espero seguir construyendo juntos el futuro del Web3 seguro.
19,56 mil
77
El contenido de esta página lo proporcionan terceros. A menos que se indique lo contrario, OKX no es el autor de los artículos citados y no reclama ningún derecho de autor sobre los materiales. El contenido se proporciona únicamente con fines informativos y no representa las opiniones de OKX. No pretende ser un respaldo de ningún tipo y no debe ser considerado como un consejo de inversión o una solicitud para comprar o vender activos digitales. En la medida en que la IA generativa se utiliza para proporcionar resúmenes u otra información, dicho contenido generado por IA puede ser inexacto o incoherente. Lee el artículo vinculado para obtener más detalles e información. OKX no es responsable del contenido alojado en sitios de terceros. El holding de activos digitales, incluyendo stablecoins y NFT, implican un alto grado de riesgo y pueden fluctuar en gran medida. Debes considerar cuidadosamente si el trading o holding de activos digitales es adecuado para ti a la luz de tu situación financiera.