Zero-Knowledge Model Checking. - Pascal Berrang; Mirco Giacobbe; Jacob Swales; Xiao Yang (CoRR, 2026)