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.
Website – https://www.hdactech.com
Medium(Global) – https://medium.com/hdac
Medium(Korean) – https://medium.com/hdackorea
Facebook – https://www.facebook.com/hdacrizon
Twitter – https://twitter.com/hdac_rizon
Youtube – https://www.youtube.com/channel/UCGQXVXTs7RllAirD3YjjZIQ
Newsroom(Global) – https://t.me/rizon_atolo_news_en
Community(Global) – https://t.me/rizon_atolo_en
Newsroom(Chinese) – https://t.me/rizon_atolo_news_cn
Community(Chinese) – https://t.me/rizon_atolo_cn
Newsroom(Korean) – https://t.me/rizon_atolo_news_kr
Community(Korean) – https://t.me/rizon_atolo_kr
For Developers and Validators
GitHub – https://github.com/hdac-io
Discord – https://discord.gg/K77bGc6