How to Integrate ZKP-IoT into IoT Device Firmware (zk-Device)

In this page, we will review the solutions to integrate the FidesInnova ZKP tools with an existing IoT device.

C++ Library

The FidesInnova C++ Library offers a proof generation function specifically designed for IoT firmware developers. This function can be seamlessly integrated into IoT firmware to generate proofs whenever necessary.

After compiling the firmware, the developer should insert their ELF file into the FidesInnova Commitment Generator Application. This tool creates a new ELF file to be uploaded to the IoT devices and a Commitment to be uploaded to the blockchain.

Rust Crates

Similar to the C++ library, FidesInnova's Rust Crates offer a proof generation function for Rust programs. This functionality allows developers to seamlessly integrate proof generation into their Rust applications, ensuring robust and secure performance.

ZKP Mini Board

Using a JTAG connection, the ZKP Mini Board connects to the IoT board and extracts the register values of the device's processor during firmware execution. This process enables real-time monitoring and verification of firmware behavior.

The extracted register values are used to generate zero-knowledge proofs (ZKPs), providing verifiable evidence of the firmware's integrity without disclosing sensitive information. These ZKPs are then made available for the IoT device to use.