This paper presents a novel micro-payment verification scheme for offline, resource-constrained devices, enabling transaction validation on smart contracts in environments with limited resources and connectivity. Our scheme enhances blockchain technology for micro-payments through a token-based approach supporting features like double spend prevention, privacy preservation, and distributed validation, which allows any user to serve as a validator agent. The scheme also ensures transaction traceability and optimizes performance efficiency by employing online-offline encryption techniques. Crucially, we prove the security of our proposed scheme under the DBDH assumption within the random oracle model. This work paves the way for broader applications of blockchain in diverse scenarios, offering new possibilities in digital transactions where internet access and resources are constrained.
