Back to all stories
CertiK Named Recipient of Global Blockchain Excellence Award at Silicon Valley Entrepreneurs Festival
CertiK Named Recipient of Global Blockchain Excellence Award at Silicon Valley Entrepreneurs Festival

Santa Clara, CA, USA — May 2, 2018 — Cybersecurity blockchain startup CertiK was named recipient of the Global Blockchain Excellence Award at the 3rd Annual Silicon Valley Entrepreneurs Festival held at the Santa Clara Convention Center in the city of Santa Clara, California, USA.

Ronghui Gu, Assistant Professor of Computer Science at Columbia University and Co-Founder of CertiK, accepted the awards at the conference on the company’s behalf.

“It’s an honor to be recognized for our technology,” said Professor Gu, “In the blockchain world, the vulnerability of smart contracts is an obstacle for adoption of blockchain technology, as more skepticism rises everyday. Our Formal Verification solutions will build a bug-free and hacker-resistant ecosystem in order to bring the much needed level of trust.”

The award was given out during the Blockchain Summit portion of the conference, which featured four panel discussions about cross-border investments and boosting development of Silicon Valley startups, global development in blockchain technology, the future of blockchain from an investment perspective, and token economies.

About Silicon Valley Entrepreneurs Festival

With its inception in 2016, the festival is held every year and people from all around the world congregate to connect and speak about innovation and entrepreneurship. As a

The mission of the conference is to establish a platform to facilitate engagement between investors and entrepreneurs from all over the world and to showcase brand influence on a global stage.

You can learn more about SVEF on their website:

About CertiK

CertiK leads blockchain security by pioneering the use of cutting-edge Formal Verification technology on smart contracts and blockchains. Unlike traditional security audits, Formal Verification mathematically proves program correctness and hacker-resistance. CertiK was founded by Computer Science professors of Yale University and Columbia University, securing billions in assets, including many of the world’s top projects.

The research efforts of CertiK have received grants from IBM and the Ethereum Foundation, and notable investors include Binance Labs, Bitmain, Lightspeed Venture Partners, Matrix Partners, and NEO Global Capital, among others.

To request an audit or verification of your smart contracts, please email us at or visit

Follow us on social