zk-IoT: Securing the Internet of Things with Zero-Knowledge Proofs on Blockchain Platforms

TL;DR

The paper presents zk-IoT, a framework that enhances IoT security using Zero-Knowledge Proofs on blockchain platforms, ensuring data integrity and secure device communication even in untrusted environments.

Contribution

It introduces a novel zk-IoT framework combining ZKPs, blockchain, and functional commitments to secure IoT ecosystems, a significant advancement over existing security methods.

Findings

Proof generation takes approximately 694 ms

Proof reading takes approximately 5078 ms

Verification takes approximately 19 ms

Abstract

This paper introduces the zk-IoT framework, a novel approach to enhancing the security of Internet of Things (IoT) ecosystems through the use of Zero-Knowledge Proofs (ZKPs) on blockchain platforms. Our framework ensures the integrity of firmware execution and data processing in potentially compromised IoT devices. By leveraging the concept of ZKP, we establish a trust layer that facilitates secure, autonomous communication between IoT devices in environments where devices may not inherently trust each other. The framework includes zk-Devices, which utilize functional commitment to generate proofs for executed programs, and service contracts for encoding interaction logic among devices. It also utilizes a blockchain layer and a relayer as a ZKP storage and data communication protocol, respectively. Our experiments demonstrate that proof generation, reading, and verification take approximately 694, 5078, and 19 milliseconds in our system setup, respectively. These timings meet the practical requirements for IoT device communication, demonstrating the feasibility and efficiency of our solution. The zk-IoT framework represents a significant advancement in the realm of IoT security, paving the way for reliable and scalable IoT networks across various applications, such as smart city infrastructures, healthcare systems, and industrial automation.