Hdac-CertiK Signs Partnership…Cofounder of CertiK Joins Hdac’s Advisory Board
Dear Hdac community members,
CertiK announced that it completed the audit on the design and implementation of the codebase for Hdac’s new mainnet ‘Friday (tentative name).’ The company proceeded with inspections for the functions and performance, security and recoverability and stated: “found to be well-implemented.”
CertiK is an industry-leading auditor recommended and trusted by top blockchain platforms, which provided audit to top exchanges including Binance, Huobi, and OKEx.
With the audit marking the beginning of the partnership between CertiK and Hdac, Ronghui Gu, CertiK’s co-founder, will join Hdac’s advisory board to provide insight for building more secure blockchain ecosystems.
Ronghui Gu is an Assistant Professor of Computer Science at Columbia University and a member of Columbia’s Data Science Institute. He obtained his Ph.D. degree from Yale University in 2016 and bachelor’s degree from Tsinghua University in 2011.
He is the primary designer and developer of the first verified concurrent OS kernel CertiKOS, and Gu also co-founded CertiK, a systems verification startup focusing on building trustworthy smart contracts and blockchain ecosystems.
The synergy created between Hdac and CertiK is expected to reinvent the standards of security and further develop trust between parties in the blockchain and IoT worlds.
For more information of CertiK,
Please refer to the following links and stay in the loop.
*Website : https://www.hdactech.com
*Medium : https://medium.com/hdac
*Facebook : https://www.facebook.com/hdactech
*Twitter : https://twitter.com/hdactech
*Youtube : https://www.youtube.com/channel/UCGQXVXTs7RllAirD3YjjZIQ
*Github: https://github.com/Hdactech
*Telegram(KR) : https://t.me/Hdac_Official_KR
*Telegram(EN) : https://t.me/Hdac_TGE
