zk-IoT: Enabling Verifiable Computing for C++ Programs, IoT Devices, and Machine Learning Models

---

Embedded ZKP

Assisted Trigger

This guide will teach you how to:

• Step A: Create a commitment for a computation (e.g., C++ program, IoT firmware, or machine learning model) and submit it to the blockchain.
• Step B: Execute the computation, generate a ZK proof to demonstrate the correctness of the execution, and submit it to the blockchain.
• Step C: Verify the ZK proof using a blockchain explorer or a verifier program.

✅ Overview of the Process

1. Register the IOT2050 Device:

   • Add the Siemens IOT2050 to your account on an IoT server within the FidesInnova platform.

2. Generate and Submit a Commitment:

   • Create a cryptographic commitment for the IOT2050 program.
   • Submit the generated commitment to the FidesInnova network.

3. Generate and Submit a Proof:

   • Generate a zero-knowledge proof (ZKP) for the IOT2050 program.
   • Submit the proof to the FidesInnova network for verification.

4. Browse the Commitment and Verify the Proof:

   • Generate a zero-knowledge proof (ZKP) for the IOT2050 program.
   • Submit the proof to the FidesInnova network for verification.