VeriEdge: Verifying and Enforcing Service Level Agreements for Pervasive Edge Computing

Edge computing gained popularity for its promises of low latency and high-quality computing services to users. However, it has also introduced the challenge of mutual untrust between user and edge devices for service level agreement (SLA) compliance. This obstacle hampers wide adoption of edge computing, especially in pervasive edge computing (PEC) where edge devices can freely enter or exit the market, which makes verifying and enforcing SLAs significantly more challenging. In this paper, we propose a framework for verifying and enforcing SLAs in PEC, allowing a user to assess SLA compliance of an edge service and ensure correctness of the service results. Our solution, called VeriEdge, employs a verifiable delayed sampling approach to sample a small number of computation steps, and relies on randomly selected verifiers to verify correctness of the computation results. To make sure the verification process is non-manipulable, we employ verifiable random functions to postselect the verifier(s). A dispute protocol is designed to resolve disputes for potential misbehavior. Rigorous security analysis demonstrates that VeriEdge achieves a high probability of detecting SLA violation with a minimal overhead. Experimental results indicate that VeriEdge is lightweight, practical, and efficient.

• We propose the VeriEdge framework for SLA verification and enforcement in dynamic PEC environments with untrusted edge devices, which ensures SLA compliance, non-manipulable verification, and fair dispute resolution.

• We design a commit-then-sample procedure to perform lightweight sampling and verification of intermediate computation results with non-repudiability.

• We propose a verifier selection and computation verification procedure based on VRFs, which ensures verifiable fairness and a high probability for misbehavior detection.

• We perform rigorous security analysis to show that Ver-