Back to all stories
Case Study
CertiK Audits Hdac Platform, Signaling Beginning of Strategic Partnership
CertiK Audits Hdac Platform, Signaling Beginning of Strategic Partnership

CertiK is proud to announce a strategic partnership with Hdac Technology (“Hdac”), a blockchain company established by Dae Sun Chung, CEO of Hyundai BS&C and member of the Hyundai family, that ensures the efficiency and security of growth in the IoT industry.

As the world continues to shift to all-digital systems, society demands hyper connection and seamless user experiences, and in order to maintain that reliability, technology must be built to enable high security measures and garner trust from users. The Hdac blockchain platforms developed and provided by Hdac combine secure authentication, seamless mapping, and machine-to-machine transactions in a secure blockchain network with IoT devices to achieve previously unimaginable speed, security, and integrity in every process.

Similar to Hdac with their promise for trust and security, CertiK began with the mission to build trustworthy blockchain ecosystems. As the leader in blockchain cybersecurity with a wide range of expertise, CertiK has verified and audited hundreds of projects written in languages like Solidity, Go, and Rust, across a wide range of industries like DeFi, sports, gaming, and IoT.

CertiK’s team of veteran blockchain engineers worked closely with Hdac to audit the design and implementation of its soon-to-be released codebase, and the code implementation within the scope of the audit was found to be well-implemented.

With the security audit marking the beginning of the partnership between CertiK and Hdac, the synergy created between the two entities will reinvent the standards of security and further develop trust between parties in the blockchain and IoT worlds. As another exciting development with the partnership, CertiK’s co-founder, Ronghui Gu, will also be joining Hdac’s advisory board to provide insight for building more secure blockchain ecosystems.

CertiK looks forward to a fruitful partnership and future collaboration with the Hdac team.

About CertiK

CertiK was founded by Computer Science professors of Yale University and Columbia University, securing over $6B in assets, including many of the world’s top projects. Unlike traditional security audits, CertiK leads blockchain security by pioneering the use of cutting-edge Formal Verification technology on smart contracts and blockchains.

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.

For more information, please reach out [email protected]



About Hdac Technology AG

Headquartered in Zug, Switzerland, Hdac Technology AG is a blockchain technology company founded by Dae-sun Chung, CEO of Hyundai BS&C. The company’s blockchain project ‘Hdac’ is a hybrid blockchain platform integrating public and private blockchains, which is designed as an architecture for suitability for IoT ecosystem and other diverse industrial fields. Its blockchain-based solutions can be applied to smart factories, smart homes, smart buildings, and many other industries, allowing them to implement transaction innovation. For more information, please visit

Contact: [email protected]