Auditing firm CertiK is working with Hyundai subsidiary Hdac to record Internet of Things devices on a blockchain.