The Complete Product Suite

The FidesInnova Mobile App is the easiest way to get started with verifiable IoT. Connect your devices, manage them from anywhere, browse the Service Market for ready-made automations, and watch ZK proofs being generated and verified in real time — all from your phone.

• Device Management — pair any MQTT-based IoT device and control it remotely
• Service Market Access — install pre-built Service Contracts to extend device functionality
• Live ZKP Monitor — see proof generation status for each device in real time
• On-chain Verification — verify any proof directly from the app, no technical knowledge needed
• Multi-node Support — connect to multiple FidesInnova nodes across your infrastructure
• User & Role Management — invite team members with granular permissions

The FidesInnova Node is the backbone of your deployment. It runs a ZKP-enabled JavaScript runtime that executes Service Contracts, integrates a full MQTT broker for direct device communication, and connects to the FidesInnova blockchain to store and retrieve proofs. You retain full ownership of your data — FidesInnova has zero access to your server.

• ZKP-Enabled JavaScript Runtime — execute Service Contracts with on-chain proof generation
• Integrated MQTT Broker — native IoT messaging protocol, no external broker needed
• Service Market Gateway — deploy contracts from the marketplace with one click
• Blockly Programming Environment — visual, no-code interface to write Service Contracts
• Device Fleet Registry — track firmware versions, uptime, and proof history
• Data Sovereignty — 100% self-hosted, your data never leaves your infrastructure
• Web Dashboard — full management panel for users, devices, and analytics

The FidesInnova Explorer is the public window into the verifiable computing network. Every ZK proof ever submitted — by any device on the network — is searchable, readable, and independently verifiable by anyone. No login required. Built for full transparency.

• Proof Browser — search every on-chain proof by device ID, block number, or timestamp
• IoT Device Proofs — verify firmware execution integrity for any registered device
• ML Model Verification — inspect TrustLearn inference proofs to confirm AI model integrity
• Real-time Feed — watch new proofs land on-chain as they are submitted
• Public REST API — query proof data programmatically for your own applications
• Device History — full audit trail: every proof ever generated by a device

The zk-IoT SDK lets you embed zero-knowledge proof generation directly into any IoT firmware — including devices you already own. Built in C++ and Rust, it is optimized for resource-constrained MCUs. The AI ZKP Integration Agent can automatically add the ZKP library to your existing codebase with no manual setup required.

• C++17 & Rust Libraries — production-grade, battle-tested on ESP32, ARM Cortex-M, and RISC-V
• Edge-Optimized — proof generation in ~694ms on typical IoT MCUs (per IEEE paper benchmarks)
• ZKP Integration Agent — AI agent that reads your codebase and adds ZKP automatically
• Security Verification Agent — real-time proof-based check if your device has been compromised
• Groth16 Proof System — industry-standard zk-SNARK, compact proofs (~200 bytes)
• Full Open Source — MIT licensed, auditable, community-driven on GitHub