Open Access

ARTICLE

A Computational Modeling Framework for Verifiable Computation Offloading in Resource-Constrained IoT Smart Contract Systems Using Zero-Knowledge and Fuzzy Logic

Hong Min^1,*, Yousef Ibrahim Daradkeh², Jung Taek Seo^3,*, Mohd Anjum⁴, Sana Shahab⁵

1 Department of Computing, Gachon University, Seongnam, Republic of Korea
2 Department of Computer Engineering and Information, College of Engineering in Wadi Alddawasir, Prince Sattam bin Abdulaziz University, Al-Kharj, Saudi Arabia
3 Department of Information Security, Gachon University, Seongnam, Republic of Korea
4 Department of Computer Engineering, Aligarh Muslim University, Aligarh, India
5 Department of Business Administration, College of Business Administration, Princess Nourah bint Abdulrahman University, Riyadh, Saudi Arabia

* Corresponding Authors: Hong Min. Email: ; Jung Taek Seo. Email:

(This article belongs to the Special Issue: Emerging Technologies in Information Security: Modeling, Algorithms, and Applications)

Computer Modeling in Engineering & Sciences 2026, 147(3), 51 https://doi.org/10.32604/cmes.2026.080871

Received 01 March 2026; Accepted 15 April 2026; Issue published 30 June 2026

Abstract

This study presents a computational modeling framework for efficient and secure computation offloading in Internet of Things (IoT)-enabled smart contract systems. The integration of IoT, edge computing, and blockchain introduces significant challenges, including limited device capacity, high verification cost, and scalability constraints. Existing blockchain verification approaches depend on computationally intensive cryptographic operations that are inefficient for resource-constrained IoT devices, resulting in increased latency, energy consumption, and transaction costs. To address these issues, this study proposes the Zero-Knowledge Fuzzy Logic Offloading and Rollup (Z-FLOR) framework, an adaptive and energy-efficient model designed to enable secure and verifiable computation in IoT-based smart contract systems. The proposed framework integrates three key components. First, a zero-knowledge proof-based verification model using the Groth16 zkSNARK module generates compact and privacy-preserving proofs that enable fast and reliable verification. Second, a Fuzzy Logic–Driven Energy-Aware Offloading module dynamically allocates computational tasks between IoT devices, edge servers, and cloud platforms based on energy availability, network delay, and device reliability. Third, an Optimistic Rollup Verification module aggregates proofs off-chain and submits them in batches to reduce gas costs and enhance scalability. Extensive simulation and experimental evaluation across diverse IoT scenarios demonstrate the effectiveness of the proposed computational framework. Results indicate that Z-FLOR achieves 99.7% verification accuracy and 98.9% proof compression efficiency, while gas cost analysis indicates gas cost reductions in the range of 80%–98%. Z-FLOR additionally achieves a 44.0% reduction in latency, 51.0% savings in gas costs, and 38.0% energy consumption compared to baseline approaches. These findings highlight the capability of the proposed approach to serve as a scalable and energy-efficient modeling solution for secure IoT smart contract execution in decentralized environments.

---

Keywords

---