ZK-V: Zero-Knowledge Verification for Trustworthy Autonomous Driving Simulation. - Giwoong Kim; Youjeong Son; Shiho Kim (WWW (Companion Volume), 2026)