Zero-Knowledge Proof-Based Verification System Based on Environmental Sensing for Reliable Operation of AI-Driven Autonomous Robots. - Arata Nakajima; Hideaki Miyaji; Hiroshi Yamamoto (ICAIIC, 2026)