Why now?
We already have an amazing 80-person team with 25 internal security researchers and some of the best (recurring) clients in this space, including @aave, @LidoFinance, @Balancer, @ether_fi, @eigenlayer, @MakerDAO, @MorphoLabs, @safe, @SiloFinance, and @ethstatus.
Now we’re expanding our management team to reach the next milestone.
In recent years, we’ve cracked one of the most complex problems in computer science: developing a formal verification tool for executable programs that software developers can use seamlessly. And they have been using it.
Certora Prover is the leading product for verifying complex Solidity and Rust programs, which are beyond the reach of other formal verification tools in both Web3 and Web2.
We’ve established ourselves as the pioneers in formal verification. Now, we’re evolving into the go-to hub for all Web3 security solutions.
Why, among the many great people I’ve worked with in my career, was Seth the perfect choice?
It’s because Certora is a unique customer-centric company that combines strong engineering and security expertise, and that requires a CEO who is: (1) technical, can understand specs, complex bugs, and software engineering, (2) an expert in sales movements and BD, (3) deeply experienced with management, (4) dedicated and cares about people, and (5) a leader with a proven record of success.
You may wonder what my new role will be. I am not going anywhere and am not taking a chairman or president position. As always, I’m still looking for new challenges to tackle, especially in building security tools.
I plan to advance Certora in three ways: (1) by strengthening customer relationships and increasing sales; (2) by positioning Certora as a leading security company; and (3) by managing a new research team that will quickly develop prototypes of new security products and transfer them to our strong R&D department.
I’m also looking forward to spending more time with our clients and better understanding their needs, so Certora can continue enabling them to “Move Fast and Break Nothing” by shipping innovative, safe protocols.
If you have any questions or feedback, my DMs are open.
I’m excited for what’s ahead and look forward to continuing to build the future of secure Web3 together.
19.55K
77
The content on this page is provided by third parties. Unless otherwise stated, OKX TR is not the author of the cited article(s) and does not claim any copyright in the materials. The content is provided for informational purposes only and does not represent the views of OKX TR. It is not intended to be an endorsement of any kind and should not be considered investment advice or a solicitation to buy or sell digital assets. To the extent generative AI is utilized to provide summaries or other information, such AI generated content may be inaccurate or inconsistent. Please read the linked article for more details and information. OKX TR is not responsible for content hosted on third party sites. Digital asset holdings, including stablecoins and NFTs, involve a high degree of risk and can fluctuate greatly. You should carefully consider whether trading or holding digital assets is suitable for you in light of your financial condition.