20.500.12556/RUL-181032 Model procurement for industrial cyber-physical systems using cryptographic performance attestation Integrating third-party Machine Learning (ML) models into industrial Operational Technology (OT) creates a procurement deadlock: operators cannot verify vendor performance claims without sharing representative evaluation data with vendors, while vendors refuse to reveal proprietary model weights before purchase, rendering traditional safeguards such as Non-Disclosure Agreements technically unenforceable. This paper introduces a framework combining Zero-Knowledge Proofs (ZKPs) with smart contracts to enable trust-minimized, cryptographically verifiable competitive model procurement in Industrial Cyber-Physical Systems (ICPS). Vendors cryptographically prove that their model outperforms a legacy baseline without disclosing proprietary weights, a process we term cryptographic performance attestation, while the on-chain workflow automates escrow, proof verification, and best-vendor selection with arbiter-based dispute resolution. ZKP privacy is scoped to vendor model weights; operator-side evaluation-data confidentiality is managed separately via synthetic, de-identified, or public benchmark data. We analyze three ZKP workflow variations and evaluate them on consumer-grade hardware, achieving proving times of approximately three seconds and sub-dollar on-chain verification costs under Layer-2 fee assumptions for the recommended single-proof variation, while identifying computational trade-offs of recursive proof aggregation. The entire verification phase operates offline with no impact on real-time OT control paths, bridging the IT/OT pre-transaction trust gap while deferring artifact deployment to existing OT tooling. zero knowledge proofs smart contracts cyber-physical systems industrial IoT IT/OT convergence privacy-preserving dokazi z ničelnim znanjem pametne pogodbe kibernetsko-fizični sistemi industrijski internet stvari konvergenca IT/OT varovanje zasebnosti true false true Angleški jezik Slovenski jezik Članek v reviji 2026-03-23 13:49:35 2026-03-23 13:49:45 2026-03-24 08:18:36 0000-00-00 00:00:00 2026 0 0 31 str. issue 3,[art. 146 Vol. 18 2026 0000-00-00 Zaloznikova Objavljeno apc 0000-00-00 0000-00-00 0000-00-00 004 1999-5903 10.3390/fi18030146 272668675 Modeling_Multimedia_Ad_Exposure_The_Role_of_Low-Level_Audiovisual_Features.pdf Modeling_Multimedia_Ad_Exposure_The_Role_of_Low-Level_Audiovisual_Features.pdf 1 55370201834A4D866B0782E1BE89F7C1 dc37c63a30b0598a21f98206a5499bb942be9ec7e325918239e06916e831e4df 01e25cd4-26b7-11f1-b0ab-0050569b8976 https://repozitorij.uni-lj.si/Dokument.php?lang=slv&id=231120 https://www.mdpi.com/1999-5903/18/3/146 1 a857856d-26b6-11f1-b0ab-0050569b8976 https://repozitorij.uni-lj.si/Dokument.php?lang=slv&id=231119 Fakulteta za elektrotehniko 0 0 0