Connect with us


Smart contract verification platform CertiK adds pair to executive ranks

Tony Zerucha



CertiK, a formal verification platform for smart contracts and blockchain audits, has hired Daryl Hok as executive vice president and COO, and Yvan Nasr as head of business development and partnerships. The announcement follows the launch of CertiK’s new headquarters in New York City as part of the organization’s global expansion plan.

“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,” cofounder and Yale’s Department Chair of Computer Science Prof. Zhong Shao said. “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

Founded in 2017 by a team of scientists from Yale and Columbia University, alongside engineers from Google and Facebook, CertiK leverages leading formal verification technology which can mathematically ensure the highest level of security in smart contracts and blockchain ecosystems. CertiK was the first to introduce DeepSpec technology (researched in collaboration with MIT, Yale, Princeton, and University of Pennsylvania), and has completed formal verification audits of smart contracts for a variety of top blockchain companies.

“Blockchain has seen monumental growth in the last few years, but security and reliability concerns remain at the forefront of adoption discussions,” Mr. Hok said. “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.”

Yvan Nasr

Prior to joining CertiK, Mr. Hok spearheaded corporate development at FiscalNote, a global software, data, and machine learning company based in Washington D.C., where he most recently completed the acquisition of CQ Roll Call from The Economist Group for USD $180 million. Mr. Nasr joins the executive team following a successful tenure at Hosho, another blockchain security company.

In their new roles, the pair will be responsible for exploring strategic partnerships, adding to a lineup including Binance, ICON, and The Boston Consulting Group (BCG). The executives will also work towards securing additional investment from top industry players, such as its funding from Binance Labs announced in October, to accelerate the impact of the project’s technology on the broader blockchain ecosystem.

Tony Zerucha

Tony Zerucha is an alternative finance journalist with more than seven years experience in the space. The author of more than 1,000 articles, Tony was named LendIt's 2018 Journalist of the Year.

Continue Reading