CertiK, the formal verification platform for smart contracts and blockchain audits, has added two new executives to its team. Daryl Hok will be the new Executive Vice President and Chief Operating Officer, and Yvan Nasr steps in as Head of Business Development and Partnerships.
CertiK has recently expanded its headquarters in New York City.
Commenting on the hires, Professor Zhong Shao, Co-founder of CertiK and Department Chair of Computer Science at Yale University, said:
With a proven history overseeing multi-million-dollar business acquisitions and significant expertise in smart contract auditing, Daryl and Yvan bring a wealth of experience to the CertiK team. In the context of the current market, it is more important than ever to focus on development and to follow a sensible business plan. Daryl and Yvan’s leadership will enable us to continue to scale and raise the standards as a world leader in blockchain security.
Daryl Hok, Executive Vice President and Chief Operating Officer at CertiK, added:
Blockchain has seen monumental growth in the last few years, but security and reliability concerns remain at the forefront of adoption discussions. Because most projects are open-sourced with publicly viewable source code, it is vital for security to be proven in a definitive, transparent and objective manner. CertiK solves this challenge by leveraging mathematical proofs not only to identify critical bugs and vulnerabilities but also to demonstrate that it is impossible for them to exist upon correction. This enables CertiK to take a leading role in the global blockchain ecosystem, and I look forward to contributing to the organization as it continues to secure projects in every corner of the world.