Verifiable Actor Model Systems Through Relational-Model Multi-Agent System and Zero-Knowledge Proofs

Abstract

This work explores the integration of Relationalmodel Multi-Agent System (RMAS) with Zero-Knowledge Proofs (ZKP) to enable verifiable computations in distributed systems. RMAS, based on relational algebra, simplifies multi-agent computations using active databases. By combining RMAS with zkSNARKs (Zero-Knowledge Succinct Non-Interactive Arguments of Knowledge), we provide a framework for privacy-preserving and verifiable operations in Cyber-Physical Systems (CPS). We demonstrate how SQL (Structured Query Language) queries can be transformed into relational algebra and compiled into ZoKrates Domain-Specific Language (DSL) for ZKP generation. A case study in sustainable food supply chains highlights the approach's potential to enhance trust, scalability, and security in collaborative environments.